charconv_parse.h 4.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899
  1. // Copyright 2018 The Abseil Authors.
  2. //
  3. // Licensed under the Apache License, Version 2.0 (the "License");
  4. // you may not use this file except in compliance with the License.
  5. // You may obtain a copy of the License at
  6. //
  7. // https://www.apache.org/licenses/LICENSE-2.0
  8. //
  9. // Unless required by applicable law or agreed to in writing, software
  10. // distributed under the License is distributed on an "AS IS" BASIS,
  11. // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  12. // See the License for the specific language governing permissions and
  13. // limitations under the License.
  14. #ifndef ABSL_STRINGS_INTERNAL_CHARCONV_PARSE_H_
  15. #define ABSL_STRINGS_INTERNAL_CHARCONV_PARSE_H_
  16. #include <cstdint>
  17. #include "absl/base/config.h"
  18. #include "absl/strings/charconv.h"
  19. namespace absl {
  20. ABSL_NAMESPACE_BEGIN
  21. namespace strings_internal {
  22. // Enum indicating whether a parsed float is a number or special value.
  23. enum class FloatType { kNumber, kInfinity, kNan };
  24. // The decomposed parts of a parsed `float` or `double`.
  25. struct ParsedFloat {
  26. // Representation of the parsed mantissa, with the decimal point adjusted to
  27. // make it an integer.
  28. //
  29. // During decimal scanning, this contains 19 significant digits worth of
  30. // mantissa value. If digits beyond this point are found, they
  31. // are truncated, and if any of these dropped digits are nonzero, then
  32. // `mantissa` is inexact, and the full mantissa is stored in [subrange_begin,
  33. // subrange_end).
  34. //
  35. // During hexadecimal scanning, this contains 15 significant hex digits worth
  36. // of mantissa value. Digits beyond this point are sticky -- they are
  37. // truncated, but if any dropped digits are nonzero, the low bit of mantissa
  38. // will be set. (This allows for precise rounding, and avoids the need
  39. // to store the full mantissa in [subrange_begin, subrange_end).)
  40. uint64_t mantissa = 0;
  41. // Floating point expontent. This reflects any decimal point adjustments and
  42. // any truncated digits from the mantissa. The absolute value of the parsed
  43. // number is represented by mantissa * (base ** exponent), where base==10 for
  44. // decimal floats, and base==2 for hexadecimal floats.
  45. int exponent = 0;
  46. // The literal exponent value scanned from the input, or 0 if none was
  47. // present. This does not reflect any adjustments applied to mantissa.
  48. int literal_exponent = 0;
  49. // The type of number scanned.
  50. FloatType type = FloatType::kNumber;
  51. // When non-null, [subrange_begin, subrange_end) marks a range of characters
  52. // that require further processing. The meaning is dependent on float type.
  53. // If type == kNumber and this is set, this is a "wide input": the input
  54. // mantissa contained more than 19 digits. The range contains the full
  55. // mantissa. It plus `literal_exponent` need to be examined to find the best
  56. // floating point match.
  57. // If type == kNan and this is set, the range marks the contents of a
  58. // matched parenthesized character region after the NaN.
  59. const char* subrange_begin = nullptr;
  60. const char* subrange_end = nullptr;
  61. // One-past-the-end of the successfully parsed region, or nullptr if no
  62. // matching pattern was found.
  63. const char* end = nullptr;
  64. };
  65. // Read the floating point number in the provided range, and populate
  66. // ParsedFloat accordingly.
  67. //
  68. // format_flags is a bitmask value specifying what patterns this API will match.
  69. // `scientific` and `fixed` are honored per std::from_chars rules
  70. // ([utility.from.chars], C++17): if exactly one of these bits is set, then an
  71. // exponent is required, or dislallowed, respectively.
  72. //
  73. // Template parameter `base` must be either 10 or 16. For base 16, a "0x" is
  74. // *not* consumed. The `hex` bit from format_flags is ignored by ParseFloat.
  75. template <int base>
  76. ParsedFloat ParseFloat(const char* begin, const char* end,
  77. absl::chars_format format_flags);
  78. extern template ParsedFloat ParseFloat<10>(const char* begin, const char* end,
  79. absl::chars_format format_flags);
  80. extern template ParsedFloat ParseFloat<16>(const char* begin, const char* end,
  81. absl::chars_format format_flags);
  82. } // namespace strings_internal
  83. ABSL_NAMESPACE_END
  84. } // namespace absl
  85. #endif // ABSL_STRINGS_INTERNAL_CHARCONV_PARSE_H_