Skip to content

Commit

Permalink
Implement hex specifier
Browse files Browse the repository at this point in the history
  • Loading branch information
vitaut committed Jan 1, 2024
1 parent 96d106a commit 95485a2
Show file tree
Hide file tree
Showing 2 changed files with 63 additions and 19 deletions.
6 changes: 6 additions & 0 deletions test/scan-test.cc
Original file line number Diff line number Diff line change
Expand Up @@ -59,6 +59,12 @@ TEST(scan_test, read_ulonglong) {
"invalid input");
}

TEST(scan_test, read_hex) {
unsigned n = 0;
fmt::scan("2a", "{:x}", n);
EXPECT_EQ(n, 42);
}

TEST(scan_test, read_string) {
std::string s;
fmt::scan("foo", "{}", s);
Expand Down
76 changes: 57 additions & 19 deletions test/scan.h
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,15 @@
FMT_BEGIN_NAMESPACE
namespace detail {

inline bool is_whitespace(char c) { return c == ' ' || c == '\n'; }
inline auto is_whitespace(char c) -> bool { return c == ' ' || c == '\n'; }

// If c is a hex digit returns its numeric value, othewise -1.
inline auto to_hex_digit(char c) -> int {
if (c >= '0' && c <= '9') return c - '0';
if (c >= 'a' && c <= 'f') return c - 'a' + 10;
if (c >= 'A' && c <= 'F') return c - 'A' + 10;
return -1;
}

struct maybe_contiguous_range {
const char* begin;
Expand Down Expand Up @@ -297,8 +305,7 @@ enum class scan_type {
custom_type
};

template <typename Context>
struct custom_scan_arg {
template <typename Context> struct custom_scan_arg {
void* value;
void (*scan)(void* arg, scan_parse_context& parse_ctx, Context& ctx);
};
Expand Down Expand Up @@ -379,8 +386,7 @@ template <typename Context> class basic_scan_arg {
return vis(monostate());
}

auto scan_custom(const char* parse_begin,
scan_parse_context& parse_ctx,
auto scan_custom(const char* parse_begin, scan_parse_context& parse_ctx,
Context& ctx) const -> bool {
if (type_ != scan_type::custom_type) return false;
parse_ctx.advance_to(parse_begin);
Expand Down Expand Up @@ -434,6 +440,7 @@ const char* parse_scan_specs(const char* begin, const char* end,
// TODO: parse more scan format specifiers
case 'x':
specs.type = presentation_type::hex_lower;
++begin;
break;
case '}':
return begin;
Expand All @@ -443,7 +450,8 @@ const char* parse_scan_specs(const char* begin, const char* end,
}

template <typename T, FMT_ENABLE_IF(std::is_unsigned<T>::value)>
auto read(scan_iterator it, T& value) -> scan_iterator {
auto read(scan_iterator it, T& value)
-> scan_iterator {
if (it == scan_sentinel()) return it;
char c = *it;
if (c < '0' || c > '9') throw_format_error("invalid input");
Expand Down Expand Up @@ -475,8 +483,40 @@ auto read(scan_iterator it, T& value) -> scan_iterator {
return it;
}

template <typename T, FMT_ENABLE_IF(std::is_unsigned<T>::value)>
auto read_hex(scan_iterator it, T& value)
-> scan_iterator {
if (it == scan_sentinel()) return it;
int digit = to_hex_digit(*it);
if (digit < 0) throw_format_error("invalid input");

int num_digits = 0;
T n = 0;
do {
n = (n << 4) + static_cast<unsigned>(digit);
++num_digits;
digit = to_hex_digit(*++it);
if (digit < 0) break;
} while (it != scan_sentinel());

// TODO: Check overflow.
(void)num_digits;
value = n;
return it;
}

template <typename T, FMT_ENABLE_IF(std::is_unsigned<T>::value)>
auto read(scan_iterator it, T& value, const format_specs<>& specs)
-> scan_iterator {
if (specs.type == presentation_type::hex_lower) {
return read_hex(it, value);
}
return read(it, value);
}

template <typename T, FMT_ENABLE_IF(std::is_signed<T>::value)>
auto read(scan_iterator it, T& value) -> scan_iterator {
auto read(scan_iterator it, T& value, const format_specs<>& = {})
-> scan_iterator {
bool negative = it != scan_sentinel() && *it == '-';
if (negative) {
++it;
Expand All @@ -490,12 +530,14 @@ auto read(scan_iterator it, T& value) -> scan_iterator {
return it;
}

auto read(scan_iterator it, std::string& value) -> scan_iterator {
auto read(scan_iterator it, std::string& value, const format_specs<>& = {})
-> scan_iterator {
while (it != scan_sentinel() && *it != ' ') value.push_back(*it++);
return it;
}

auto read(scan_iterator it, string_view& value) -> scan_iterator {
auto read(scan_iterator it, string_view& value, const format_specs<>& = {})
-> scan_iterator {
auto range = to_contiguous(it);
// This could also be checked at compile time in scan.
if (!range) throw_format_error("string_view requires contiguous input");
Expand All @@ -506,16 +548,16 @@ auto read(scan_iterator it, string_view& value) -> scan_iterator {
return advance(it, size);
}

auto read(scan_iterator it, monostate) -> scan_iterator {
auto read(scan_iterator it, monostate, const format_specs<>& = {})
-> scan_iterator {
return it;
}

// An argument scanner that uses the default format, e.g. decimal for integers.
struct default_arg_scanner {
scan_iterator it;

template <typename T>
FMT_INLINE auto operator()(T&& value) -> scan_iterator {
template <typename T> FMT_INLINE auto operator()(T&& value) -> scan_iterator {
return read(it, value);
}
};
Expand All @@ -525,10 +567,8 @@ struct arg_scanner {
scan_iterator it;
const format_specs<>& specs;

template <typename T>
auto operator()(T&& value) -> scan_iterator {
// TODO: handle specs
return read(it, value);
template <typename T> auto operator()(T&& value) -> scan_iterator {
return read(it, value, specs);
}
};

Expand Down Expand Up @@ -585,9 +625,7 @@ struct scan_handler : error_handler {
return begin;
}

void on_error(const char* message) {
error_handler::on_error(message);
}
void on_error(const char* message) { error_handler::on_error(message); }
};
} // namespace detail

Expand Down

0 comments on commit 95485a2

Please sign in to comment.