Mercurial > minori
comparison dep/fmt/test/scan.h @ 343:1faa72660932
*: transfer back to cmake from autotools
autotools just made lots of things more complicated than
they should have and many things broke (i.e. translations)
author | Paper <paper@paper.us.eu.org> |
---|---|
date | Thu, 20 Jun 2024 05:56:06 -0400 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
342:adb79bdde329 | 343:1faa72660932 |
---|---|
1 // Formatting library for C++ - scanning API proof of concept | |
2 // | |
3 // Copyright (c) 2019 - present, Victor Zverovich | |
4 // All rights reserved. | |
5 // | |
6 // For the license information refer to format.h. | |
7 | |
8 #include <array> | |
9 #include <cassert> | |
10 #include <climits> | |
11 | |
12 #include "fmt/format.h" | |
13 | |
14 FMT_BEGIN_NAMESPACE | |
15 namespace detail { | |
16 | |
17 inline auto is_whitespace(char c) -> bool { return c == ' ' || c == '\n'; } | |
18 | |
19 // If c is a hex digit returns its numeric value, othewise -1. | |
20 inline auto to_hex_digit(char c) -> int { | |
21 if (c >= '0' && c <= '9') return c - '0'; | |
22 if (c >= 'a' && c <= 'f') return c - 'a' + 10; | |
23 if (c >= 'A' && c <= 'F') return c - 'A' + 10; | |
24 return -1; | |
25 } | |
26 | |
27 struct maybe_contiguous_range { | |
28 const char* begin; | |
29 const char* end; | |
30 | |
31 explicit operator bool() const { return begin != nullptr; } | |
32 }; | |
33 | |
34 class scan_buffer { | |
35 private: | |
36 const char* ptr_; | |
37 const char* end_; | |
38 bool contiguous_; | |
39 | |
40 protected: | |
41 scan_buffer(const char* ptr, const char* end, bool contiguous) | |
42 : ptr_(ptr), end_(end), contiguous_(contiguous) {} | |
43 ~scan_buffer() = default; | |
44 | |
45 void set(string_view buf) { | |
46 ptr_ = buf.begin(); | |
47 end_ = buf.end(); | |
48 } | |
49 | |
50 auto ptr() const -> const char* { return ptr_; } | |
51 | |
52 public: | |
53 scan_buffer(const scan_buffer&) = delete; | |
54 void operator=(const scan_buffer&) = delete; | |
55 | |
56 // Fills the buffer with more input if available. | |
57 virtual void consume() = 0; | |
58 | |
59 class sentinel {}; | |
60 | |
61 class iterator { | |
62 private: | |
63 const char** ptr_; | |
64 scan_buffer* buf_; // This could be merged with ptr_. | |
65 char value_; | |
66 | |
67 static auto get_sentinel() -> const char** { | |
68 static const char* ptr = nullptr; | |
69 return &ptr; | |
70 } | |
71 | |
72 friend class scan_buffer; | |
73 | |
74 friend auto operator==(iterator lhs, sentinel) -> bool { | |
75 return *lhs.ptr_ == nullptr; | |
76 } | |
77 friend auto operator!=(iterator lhs, sentinel) -> bool { | |
78 return *lhs.ptr_ != nullptr; | |
79 } | |
80 | |
81 iterator(scan_buffer* buf) : buf_(buf) { | |
82 if (buf->ptr_ == buf->end_) { | |
83 ptr_ = get_sentinel(); | |
84 return; | |
85 } | |
86 ptr_ = &buf->ptr_; | |
87 value_ = *buf->ptr_; | |
88 } | |
89 | |
90 friend scan_buffer& get_buffer(iterator it) { return *it.buf_; } | |
91 | |
92 public: | |
93 iterator() : ptr_(get_sentinel()), buf_(nullptr) {} | |
94 | |
95 auto operator++() -> iterator& { | |
96 if (!buf_->try_consume()) ptr_ = get_sentinel(); | |
97 value_ = *buf_->ptr_; | |
98 return *this; | |
99 } | |
100 auto operator++(int) -> iterator { | |
101 iterator copy = *this; | |
102 ++*this; | |
103 return copy; | |
104 } | |
105 auto operator*() const -> char { return value_; } | |
106 | |
107 auto base() const -> const char* { return buf_->ptr_; } | |
108 | |
109 friend auto to_contiguous(iterator it) -> maybe_contiguous_range; | |
110 friend auto advance(iterator it, size_t n) -> iterator; | |
111 }; | |
112 | |
113 friend auto to_contiguous(iterator it) -> maybe_contiguous_range { | |
114 if (it.buf_->is_contiguous()) return {it.buf_->ptr_, it.buf_->end_}; | |
115 return {nullptr, nullptr}; | |
116 } | |
117 friend auto advance(iterator it, size_t n) -> iterator { | |
118 FMT_ASSERT(it.buf_->is_contiguous(), ""); | |
119 const char*& ptr = it.buf_->ptr_; | |
120 ptr += n; | |
121 it.value_ = *ptr; | |
122 if (ptr == it.buf_->end_) it.ptr_ = iterator::get_sentinel(); | |
123 return it; | |
124 } | |
125 | |
126 auto begin() -> iterator { return this; } | |
127 auto end() -> sentinel { return {}; } | |
128 | |
129 auto is_contiguous() const -> bool { return contiguous_; } | |
130 | |
131 // Tries consuming a single code unit. Returns true iff there is more input. | |
132 auto try_consume() -> bool { | |
133 FMT_ASSERT(ptr_ != end_, ""); | |
134 ++ptr_; | |
135 if (ptr_ != end_) return true; | |
136 consume(); | |
137 return ptr_ != end_; | |
138 } | |
139 }; | |
140 | |
141 using scan_iterator = scan_buffer::iterator; | |
142 using scan_sentinel = scan_buffer::sentinel; | |
143 | |
144 class string_scan_buffer : public scan_buffer { | |
145 private: | |
146 void consume() override {} | |
147 | |
148 public: | |
149 explicit string_scan_buffer(string_view s) | |
150 : scan_buffer(s.begin(), s.end(), true) {} | |
151 }; | |
152 | |
153 #ifdef _WIN32 | |
154 void flockfile(FILE* f) { _lock_file(f); } | |
155 void funlockfile(FILE* f) { _unlock_file(f); } | |
156 int getc_unlocked(FILE* f) { return _fgetc_nolock(f); } | |
157 #endif | |
158 | |
159 // A FILE wrapper. F is FILE defined as a template parameter to make | |
160 // system-specific API detection work. | |
161 template <typename F> class file_base { | |
162 protected: | |
163 F* file_; | |
164 | |
165 public: | |
166 file_base(F* file) : file_(file) {} | |
167 operator F*() const { return file_; } | |
168 | |
169 // Reads a code unit from the stream. | |
170 auto get() -> int { | |
171 int result = getc_unlocked(file_); | |
172 if (result == EOF && ferror(file_) != 0) | |
173 FMT_THROW(system_error(errno, FMT_STRING("getc failed"))); | |
174 return result; | |
175 } | |
176 | |
177 // Puts the code unit back into the stream buffer. | |
178 void unget(char c) { | |
179 if (ungetc(c, file_) == EOF) | |
180 FMT_THROW(system_error(errno, FMT_STRING("ungetc failed"))); | |
181 } | |
182 }; | |
183 | |
184 // A FILE wrapper for glibc. | |
185 template <typename F> class glibc_file : public file_base<F> { | |
186 public: | |
187 using file_base<F>::file_base; | |
188 | |
189 // Returns the file's read buffer as a string_view. | |
190 auto buffer() const -> string_view { | |
191 return {this->file_->_IO_read_ptr, | |
192 to_unsigned(this->file_->_IO_read_end - this->file_->_IO_read_ptr)}; | |
193 } | |
194 }; | |
195 | |
196 // A FILE wrapper for Apple's libc. | |
197 template <typename F> class apple_file : public file_base<F> { | |
198 public: | |
199 using file_base<F>::file_base; | |
200 | |
201 auto buffer() const -> string_view { | |
202 return {reinterpret_cast<char*>(this->file_->_p), | |
203 to_unsigned(this->file_->_r)}; | |
204 } | |
205 }; | |
206 | |
207 // A fallback FILE wrapper. | |
208 template <typename F> class fallback_file : public file_base<F> { | |
209 private: | |
210 char next_; // The next unconsumed character in the buffer. | |
211 bool has_next_ = false; | |
212 | |
213 public: | |
214 using file_base<F>::file_base; | |
215 | |
216 auto buffer() const -> string_view { return {&next_, has_next_ ? 1u : 0u}; } | |
217 | |
218 auto get() -> int { | |
219 has_next_ = false; | |
220 return file_base<F>::get(); | |
221 } | |
222 | |
223 void unget(char c) { | |
224 file_base<F>::unget(c); | |
225 next_ = c; | |
226 has_next_ = true; | |
227 } | |
228 }; | |
229 | |
230 class file_scan_buffer : public scan_buffer { | |
231 private: | |
232 template <typename F, FMT_ENABLE_IF(sizeof(F::_IO_read_ptr) != 0)> | |
233 static auto get_file(F* f, int) -> glibc_file<F> { | |
234 return f; | |
235 } | |
236 template <typename F, FMT_ENABLE_IF(sizeof(F::_p) != 0)> | |
237 static auto get_file(F* f, int) -> apple_file<F> { | |
238 return f; | |
239 } | |
240 static auto get_file(FILE* f, ...) -> fallback_file<FILE> { return f; } | |
241 | |
242 decltype(get_file(static_cast<FILE*>(nullptr), 0)) file_; | |
243 | |
244 // Fills the buffer if it is empty. | |
245 void fill() { | |
246 string_view buf = file_.buffer(); | |
247 if (buf.size() == 0) { | |
248 int c = file_.get(); | |
249 // Put the character back since we are only filling the buffer. | |
250 if (c != EOF) file_.unget(static_cast<char>(c)); | |
251 buf = file_.buffer(); | |
252 } | |
253 set(buf); | |
254 } | |
255 | |
256 void consume() override { | |
257 // Consume the current buffer content. | |
258 size_t n = to_unsigned(ptr() - file_.buffer().begin()); | |
259 for (size_t i = 0; i != n; ++i) file_.get(); | |
260 fill(); | |
261 } | |
262 | |
263 public: | |
264 explicit file_scan_buffer(FILE* f) | |
265 : scan_buffer(nullptr, nullptr, false), file_(f) { | |
266 flockfile(f); | |
267 fill(); | |
268 } | |
269 ~file_scan_buffer() { funlockfile(file_); } | |
270 }; | |
271 } // namespace detail | |
272 | |
273 template <typename T, typename Char = char> struct scanner { | |
274 // A deleted default constructor indicates a disabled scanner. | |
275 scanner() = delete; | |
276 }; | |
277 | |
278 class scan_parse_context { | |
279 private: | |
280 string_view format_; | |
281 | |
282 public: | |
283 using iterator = string_view::iterator; | |
284 | |
285 explicit FMT_CONSTEXPR scan_parse_context(string_view format) | |
286 : format_(format) {} | |
287 | |
288 FMT_CONSTEXPR auto begin() const -> iterator { return format_.begin(); } | |
289 FMT_CONSTEXPR auto end() const -> iterator { return format_.end(); } | |
290 | |
291 void advance_to(iterator it) { | |
292 format_.remove_prefix(detail::to_unsigned(it - begin())); | |
293 } | |
294 }; | |
295 | |
296 namespace detail { | |
297 enum class scan_type { | |
298 none_type, | |
299 int_type, | |
300 uint_type, | |
301 long_long_type, | |
302 ulong_long_type, | |
303 string_type, | |
304 string_view_type, | |
305 custom_type | |
306 }; | |
307 | |
308 template <typename Context> struct custom_scan_arg { | |
309 void* value; | |
310 void (*scan)(void* arg, scan_parse_context& parse_ctx, Context& ctx); | |
311 }; | |
312 } // namespace detail | |
313 | |
314 // A scan argument. Context is a template parameter for the compiled API where | |
315 // output can be unbuffered. | |
316 template <typename Context> class basic_scan_arg { | |
317 private: | |
318 using scan_type = detail::scan_type; | |
319 scan_type type_; | |
320 union { | |
321 int* int_value_; | |
322 unsigned* uint_value_; | |
323 long long* long_long_value_; | |
324 unsigned long long* ulong_long_value_; | |
325 std::string* string_; | |
326 string_view* string_view_; | |
327 detail::custom_scan_arg<Context> custom_; | |
328 // TODO: more types | |
329 }; | |
330 | |
331 template <typename T> | |
332 static void scan_custom_arg(void* arg, scan_parse_context& parse_ctx, | |
333 Context& ctx) { | |
334 auto s = scanner<T>(); | |
335 parse_ctx.advance_to(s.parse(parse_ctx)); | |
336 ctx.advance_to(s.scan(*static_cast<T*>(arg), ctx)); | |
337 } | |
338 | |
339 public: | |
340 FMT_CONSTEXPR basic_scan_arg() | |
341 : type_(scan_type::none_type), int_value_(nullptr) {} | |
342 FMT_CONSTEXPR basic_scan_arg(int& value) | |
343 : type_(scan_type::int_type), int_value_(&value) {} | |
344 FMT_CONSTEXPR basic_scan_arg(unsigned& value) | |
345 : type_(scan_type::uint_type), uint_value_(&value) {} | |
346 FMT_CONSTEXPR basic_scan_arg(long long& value) | |
347 : type_(scan_type::long_long_type), long_long_value_(&value) {} | |
348 FMT_CONSTEXPR basic_scan_arg(unsigned long long& value) | |
349 : type_(scan_type::ulong_long_type), ulong_long_value_(&value) {} | |
350 FMT_CONSTEXPR basic_scan_arg(std::string& value) | |
351 : type_(scan_type::string_type), string_(&value) {} | |
352 FMT_CONSTEXPR basic_scan_arg(string_view& value) | |
353 : type_(scan_type::string_view_type), string_view_(&value) {} | |
354 template <typename T> | |
355 FMT_CONSTEXPR basic_scan_arg(T& value) : type_(scan_type::custom_type) { | |
356 custom_.value = &value; | |
357 custom_.scan = scan_custom_arg<T>; | |
358 } | |
359 | |
360 constexpr explicit operator bool() const noexcept { | |
361 return type_ != scan_type::none_type; | |
362 } | |
363 | |
364 auto type() const -> detail::scan_type { return type_; } | |
365 | |
366 template <typename Visitor> | |
367 auto visit(Visitor&& vis) -> decltype(vis(monostate())) { | |
368 switch (type_) { | |
369 case scan_type::none_type: | |
370 break; | |
371 case scan_type::int_type: | |
372 return vis(*int_value_); | |
373 case scan_type::uint_type: | |
374 return vis(*uint_value_); | |
375 case scan_type::long_long_type: | |
376 return vis(*long_long_value_); | |
377 case scan_type::ulong_long_type: | |
378 return vis(*ulong_long_value_); | |
379 case scan_type::string_type: | |
380 return vis(*string_); | |
381 case scan_type::string_view_type: | |
382 return vis(*string_view_); | |
383 case scan_type::custom_type: | |
384 break; | |
385 } | |
386 return vis(monostate()); | |
387 } | |
388 | |
389 auto scan_custom(const char* parse_begin, scan_parse_context& parse_ctx, | |
390 Context& ctx) const -> bool { | |
391 if (type_ != scan_type::custom_type) return false; | |
392 parse_ctx.advance_to(parse_begin); | |
393 custom_.scan(custom_.value, parse_ctx, ctx); | |
394 return true; | |
395 } | |
396 }; | |
397 | |
398 class scan_context; | |
399 using scan_arg = basic_scan_arg<scan_context>; | |
400 | |
401 struct scan_args { | |
402 int size; | |
403 const scan_arg* data; | |
404 | |
405 template <size_t N> | |
406 FMT_CONSTEXPR scan_args(const std::array<scan_arg, N>& store) | |
407 : size(N), data(store.data()) { | |
408 static_assert(N < INT_MAX, "too many arguments"); | |
409 } | |
410 }; | |
411 | |
412 class scan_context { | |
413 private: | |
414 detail::scan_buffer& buf_; | |
415 scan_args args_; | |
416 | |
417 public: | |
418 using iterator = detail::scan_iterator; | |
419 using sentinel = detail::scan_sentinel; | |
420 | |
421 explicit FMT_CONSTEXPR scan_context(detail::scan_buffer& buf, scan_args args) | |
422 : buf_(buf), args_(args) {} | |
423 | |
424 FMT_CONSTEXPR auto arg(int id) const -> scan_arg { | |
425 return id < args_.size ? args_.data[id] : scan_arg(); | |
426 } | |
427 | |
428 auto begin() const -> iterator { return buf_.begin(); } | |
429 auto end() const -> sentinel { return {}; } | |
430 | |
431 void advance_to(iterator) { buf_.consume(); } | |
432 }; | |
433 | |
434 namespace detail { | |
435 | |
436 const char* parse_scan_specs(const char* begin, const char* end, | |
437 format_specs<>& specs, scan_type) { | |
438 while (begin != end) { | |
439 switch (to_ascii(*begin)) { | |
440 // TODO: parse more scan format specifiers | |
441 case 'x': | |
442 specs.type = presentation_type::hex_lower; | |
443 ++begin; | |
444 break; | |
445 case '}': | |
446 return begin; | |
447 } | |
448 } | |
449 return begin; | |
450 } | |
451 | |
452 template <typename T, FMT_ENABLE_IF(std::is_unsigned<T>::value)> | |
453 auto read(scan_iterator it, T& value) | |
454 -> scan_iterator { | |
455 if (it == scan_sentinel()) return it; | |
456 char c = *it; | |
457 if (c < '0' || c > '9') throw_format_error("invalid input"); | |
458 | |
459 int num_digits = 0; | |
460 T n = 0, prev = 0; | |
461 char prev_digit = c; | |
462 do { | |
463 prev = n; | |
464 n = n * 10 + static_cast<unsigned>(c - '0'); | |
465 prev_digit = c; | |
466 c = *++it; | |
467 ++num_digits; | |
468 if (c < '0' || c > '9') break; | |
469 } while (it != scan_sentinel()); | |
470 | |
471 // Check overflow. | |
472 if (num_digits <= std::numeric_limits<int>::digits10) { | |
473 value = n; | |
474 return it; | |
475 } | |
476 unsigned max = to_unsigned((std::numeric_limits<int>::max)()); | |
477 if (num_digits == std::numeric_limits<int>::digits10 + 1 && | |
478 prev * 10ull + unsigned(prev_digit - '0') <= max) { | |
479 value = n; | |
480 } else { | |
481 throw_format_error("number is too big"); | |
482 } | |
483 return it; | |
484 } | |
485 | |
486 template <typename T, FMT_ENABLE_IF(std::is_unsigned<T>::value)> | |
487 auto read_hex(scan_iterator it, T& value) | |
488 -> scan_iterator { | |
489 if (it == scan_sentinel()) return it; | |
490 int digit = to_hex_digit(*it); | |
491 if (digit < 0) throw_format_error("invalid input"); | |
492 | |
493 int num_digits = 0; | |
494 T n = 0; | |
495 do { | |
496 n = (n << 4) + static_cast<unsigned>(digit); | |
497 ++num_digits; | |
498 digit = to_hex_digit(*++it); | |
499 if (digit < 0) break; | |
500 } while (it != scan_sentinel()); | |
501 | |
502 // Check overflow. | |
503 if (num_digits <= (std::numeric_limits<T>::digits >> 2)) | |
504 value = n; | |
505 else | |
506 throw_format_error("number is too big"); | |
507 return it; | |
508 } | |
509 | |
510 template <typename T, FMT_ENABLE_IF(std::is_unsigned<T>::value)> | |
511 auto read(scan_iterator it, T& value, const format_specs<>& specs) | |
512 -> scan_iterator { | |
513 if (specs.type == presentation_type::hex_lower) | |
514 return read_hex(it, value); | |
515 return read(it, value); | |
516 } | |
517 | |
518 template <typename T, FMT_ENABLE_IF(std::is_signed<T>::value)> | |
519 auto read(scan_iterator it, T& value, const format_specs<>& = {}) | |
520 -> scan_iterator { | |
521 bool negative = it != scan_sentinel() && *it == '-'; | |
522 if (negative) { | |
523 ++it; | |
524 if (it == scan_sentinel()) throw_format_error("invalid input"); | |
525 } | |
526 using unsigned_type = typename std::make_unsigned<T>::type; | |
527 unsigned_type abs_value = 0; | |
528 it = read(it, abs_value); | |
529 auto n = static_cast<T>(abs_value); | |
530 value = negative ? -n : n; | |
531 return it; | |
532 } | |
533 | |
534 auto read(scan_iterator it, std::string& value, const format_specs<>& = {}) | |
535 -> scan_iterator { | |
536 while (it != scan_sentinel() && *it != ' ') value.push_back(*it++); | |
537 return it; | |
538 } | |
539 | |
540 auto read(scan_iterator it, string_view& value, const format_specs<>& = {}) | |
541 -> scan_iterator { | |
542 auto range = to_contiguous(it); | |
543 // This could also be checked at compile time in scan. | |
544 if (!range) throw_format_error("string_view requires contiguous input"); | |
545 auto p = range.begin; | |
546 while (p != range.end && *p != ' ') ++p; | |
547 size_t size = to_unsigned(p - range.begin); | |
548 value = {range.begin, size}; | |
549 return advance(it, size); | |
550 } | |
551 | |
552 auto read(scan_iterator it, monostate, const format_specs<>& = {}) | |
553 -> scan_iterator { | |
554 return it; | |
555 } | |
556 | |
557 // An argument scanner that uses the default format, e.g. decimal for integers. | |
558 struct default_arg_scanner { | |
559 scan_iterator it; | |
560 | |
561 template <typename T> FMT_INLINE auto operator()(T&& value) -> scan_iterator { | |
562 return read(it, value); | |
563 } | |
564 }; | |
565 | |
566 // An argument scanner with format specifiers. | |
567 struct arg_scanner { | |
568 scan_iterator it; | |
569 const format_specs<>& specs; | |
570 | |
571 template <typename T> auto operator()(T&& value) -> scan_iterator { | |
572 return read(it, value, specs); | |
573 } | |
574 }; | |
575 | |
576 struct scan_handler : error_handler { | |
577 private: | |
578 scan_parse_context parse_ctx_; | |
579 scan_context scan_ctx_; | |
580 int next_arg_id_; | |
581 | |
582 using sentinel = scan_buffer::sentinel; | |
583 | |
584 public: | |
585 FMT_CONSTEXPR scan_handler(string_view format, scan_buffer& buf, | |
586 scan_args args) | |
587 : parse_ctx_(format), scan_ctx_(buf, args), next_arg_id_(0) {} | |
588 | |
589 auto pos() const -> scan_buffer::iterator { return scan_ctx_.begin(); } | |
590 | |
591 void on_text(const char* begin, const char* end) { | |
592 if (begin == end) return; | |
593 auto it = scan_ctx_.begin(); | |
594 for (; begin != end; ++begin, ++it) { | |
595 if (it == sentinel() || *begin != *it) on_error("invalid input"); | |
596 } | |
597 scan_ctx_.advance_to(it); | |
598 } | |
599 | |
600 FMT_CONSTEXPR auto on_arg_id() -> int { return on_arg_id(next_arg_id_++); } | |
601 FMT_CONSTEXPR auto on_arg_id(int id) -> int { | |
602 if (!scan_ctx_.arg(id)) on_error("argument index out of range"); | |
603 return id; | |
604 } | |
605 FMT_CONSTEXPR auto on_arg_id(string_view id) -> int { | |
606 if (id.data()) on_error("invalid format"); | |
607 return 0; | |
608 } | |
609 | |
610 void on_replacement_field(int arg_id, const char*) { | |
611 scan_arg arg = scan_ctx_.arg(arg_id); | |
612 auto it = scan_ctx_.begin(); | |
613 while (it != sentinel() && is_whitespace(*it)) ++it; | |
614 scan_ctx_.advance_to(arg.visit(default_arg_scanner{it})); | |
615 } | |
616 | |
617 auto on_format_specs(int arg_id, const char* begin, const char* end) -> const | |
618 char* { | |
619 scan_arg arg = scan_ctx_.arg(arg_id); | |
620 if (arg.scan_custom(begin, parse_ctx_, scan_ctx_)) | |
621 return parse_ctx_.begin(); | |
622 auto specs = format_specs<>(); | |
623 begin = parse_scan_specs(begin, end, specs, arg.type()); | |
624 if (begin == end || *begin != '}') on_error("missing '}' in format string"); | |
625 scan_ctx_.advance_to(arg.visit(arg_scanner{scan_ctx_.begin(), specs})); | |
626 return begin; | |
627 } | |
628 | |
629 void on_error(const char* message) { error_handler::on_error(message); } | |
630 }; | |
631 } // namespace detail | |
632 | |
633 template <typename... T> | |
634 auto make_scan_args(T&... args) -> std::array<scan_arg, sizeof...(T)> { | |
635 return {{args...}}; | |
636 } | |
637 | |
638 void vscan(detail::scan_buffer& buf, string_view fmt, scan_args args) { | |
639 auto h = detail::scan_handler(fmt, buf, args); | |
640 detail::parse_format_string<false>(fmt, h); | |
641 } | |
642 | |
643 template <typename... T> | |
644 auto scan(string_view input, string_view fmt, T&... args) | |
645 -> string_view::iterator { | |
646 auto&& buf = detail::string_scan_buffer(input); | |
647 vscan(buf, fmt, make_scan_args(args...)); | |
648 return input.begin() + (buf.begin().base() - input.data()); | |
649 } | |
650 | |
651 template <typename InputRange, typename... T, | |
652 FMT_ENABLE_IF(!std::is_convertible<InputRange, string_view>::value)> | |
653 auto scan(InputRange&& input, string_view fmt, T&... args) | |
654 -> decltype(std::begin(input)) { | |
655 auto it = std::begin(input); | |
656 vscan(get_buffer(it), fmt, make_scan_args(args...)); | |
657 return it; | |
658 } | |
659 | |
660 template <typename... T> bool scan(std::FILE* f, string_view fmt, T&... args) { | |
661 auto&& buf = detail::file_scan_buffer(f); | |
662 vscan(buf, fmt, make_scan_args(args...)); | |
663 return buf.begin() != buf.end(); | |
664 } | |
665 | |
666 FMT_END_NAMESPACE |