from_chars_integral.h 8.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240
  1. // -*- C++ -*-
  2. //===----------------------------------------------------------------------===//
  3. //
  4. // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
  5. // See https://llvm.org/LICENSE.txt for license information.
  6. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  7. //
  8. //===----------------------------------------------------------------------===//
  9. #ifndef _LIBCPP___CHARCONV_FROM_CHARS_INTEGRAL_H
  10. #define _LIBCPP___CHARCONV_FROM_CHARS_INTEGRAL_H
  11. #include <__algorithm/copy_n.h>
  12. #include <__assert>
  13. #include <__charconv/from_chars_result.h>
  14. #include <__charconv/traits.h>
  15. #include <__config>
  16. #include <__memory/addressof.h>
  17. #include <__system_error/errc.h>
  18. #include <__type_traits/enable_if.h>
  19. #include <__type_traits/integral_constant.h>
  20. #include <__type_traits/is_integral.h>
  21. #include <__type_traits/is_unsigned.h>
  22. #include <__type_traits/make_unsigned.h>
  23. #include <limits>
  24. #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
  25. # pragma GCC system_header
  26. #endif
  27. _LIBCPP_PUSH_MACROS
  28. #include <__undef_macros>
  29. _LIBCPP_BEGIN_NAMESPACE_STD
  30. #if _LIBCPP_STD_VER >= 17
  31. from_chars_result from_chars(const char*, const char*, bool, int = 10) = delete;
  32. template <typename _It, typename _Tp, typename _Fn, typename... _Ts>
  33. inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI from_chars_result
  34. __sign_combinator(_It __first, _It __last, _Tp& __value, _Fn __f, _Ts... __args) {
  35. using __tl = numeric_limits<_Tp>;
  36. decltype(std::__to_unsigned_like(__value)) __x;
  37. bool __neg = (__first != __last && *__first == '-');
  38. auto __r = __f(__neg ? __first + 1 : __first, __last, __x, __args...);
  39. switch (__r.ec) {
  40. case errc::invalid_argument:
  41. return {__first, __r.ec};
  42. case errc::result_out_of_range:
  43. return __r;
  44. default:
  45. break;
  46. }
  47. if (__neg) {
  48. if (__x <= std::__complement(std::__to_unsigned_like(__tl::min()))) {
  49. __x = std::__complement(__x);
  50. std::copy_n(std::addressof(__x), 1, std::addressof(__value));
  51. return __r;
  52. }
  53. } else {
  54. if (__x <= std::__to_unsigned_like(__tl::max())) {
  55. __value = __x;
  56. return __r;
  57. }
  58. }
  59. return {__r.ptr, errc::result_out_of_range};
  60. }
  61. template <typename _Tp>
  62. inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool __in_pattern(_Tp __c) {
  63. return '0' <= __c && __c <= '9';
  64. }
  65. struct _LIBCPP_HIDDEN __in_pattern_result {
  66. bool __ok;
  67. int __val;
  68. explicit _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI operator bool() const { return __ok; }
  69. };
  70. template <typename _Tp>
  71. inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI __in_pattern_result __in_pattern(_Tp __c, int __base) {
  72. if (__base <= 10)
  73. return {'0' <= __c && __c < '0' + __base, __c - '0'};
  74. else if (std::__in_pattern(__c))
  75. return {true, __c - '0'};
  76. else if ('a' <= __c && __c < 'a' + __base - 10)
  77. return {true, __c - 'a' + 10};
  78. else
  79. return {'A' <= __c && __c < 'A' + __base - 10, __c - 'A' + 10};
  80. }
  81. template <typename _It, typename _Tp, typename _Fn, typename... _Ts>
  82. inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI from_chars_result
  83. __subject_seq_combinator(_It __first, _It __last, _Tp& __value, _Fn __f, _Ts... __args) {
  84. auto __find_non_zero = [](_It __firstit, _It __lastit) {
  85. for (; __firstit != __lastit; ++__firstit)
  86. if (*__firstit != '0')
  87. break;
  88. return __firstit;
  89. };
  90. auto __p = __find_non_zero(__first, __last);
  91. if (__p == __last || !std::__in_pattern(*__p, __args...)) {
  92. if (__p == __first)
  93. return {__first, errc::invalid_argument};
  94. else {
  95. __value = 0;
  96. return {__p, {}};
  97. }
  98. }
  99. auto __r = __f(__p, __last, __value, __args...);
  100. if (__r.ec == errc::result_out_of_range) {
  101. for (; __r.ptr != __last; ++__r.ptr) {
  102. if (!std::__in_pattern(*__r.ptr, __args...))
  103. break;
  104. }
  105. }
  106. return __r;
  107. }
  108. template <typename _Tp, __enable_if_t<is_unsigned<_Tp>::value, int> = 0>
  109. inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI from_chars_result
  110. __from_chars_atoi(const char* __first, const char* __last, _Tp& __value) {
  111. using __tx = __itoa::__traits<_Tp>;
  112. using __output_type = typename __tx::type;
  113. return std::__subject_seq_combinator(
  114. __first, __last, __value, [](const char* __f, const char* __l, _Tp& __val) -> from_chars_result {
  115. __output_type __a, __b;
  116. auto __p = __tx::__read(__f, __l, __a, __b);
  117. if (__p == __l || !std::__in_pattern(*__p)) {
  118. __output_type __m = numeric_limits<_Tp>::max();
  119. if (__m >= __a && __m - __a >= __b) {
  120. __val = __a + __b;
  121. return {__p, {}};
  122. }
  123. }
  124. return {__p, errc::result_out_of_range};
  125. });
  126. }
  127. template <typename _Tp, __enable_if_t<is_signed<_Tp>::value, int> = 0>
  128. inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI from_chars_result
  129. __from_chars_atoi(const char* __first, const char* __last, _Tp& __value) {
  130. using __t = decltype(std::__to_unsigned_like(__value));
  131. return std::__sign_combinator(__first, __last, __value, __from_chars_atoi<__t>);
  132. }
  133. /*
  134. // Code used to generate __from_chars_log2f_lut.
  135. #include <cmath>
  136. #include <format>
  137. #include <iostream>
  138. int main() {
  139. for (int i = 2; i <= 36; ++i)
  140. std::cout << std::format("{},\n", log2f(i));
  141. }
  142. */
  143. /// log2f table for bases [2, 36].
  144. inline constexpr float __from_chars_log2f_lut[35] = {
  145. 1, 1.5849625, 2, 2.321928, 2.5849626, 2.807355, 3, 3.169925, 3.321928,
  146. 3.4594316, 3.5849626, 3.7004397, 3.807355, 3.9068906, 4, 4.087463, 4.169925, 4.2479277,
  147. 4.321928, 4.3923173, 4.4594316, 4.523562, 4.5849624, 4.643856, 4.70044, 4.7548876, 4.807355,
  148. 4.857981, 4.9068904, 4.9541965, 5, 5.044394, 5.087463, 5.129283, 5.169925};
  149. template <typename _Tp, __enable_if_t<is_unsigned<_Tp>::value, int> = 0>
  150. inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI from_chars_result
  151. __from_chars_integral(const char* __first, const char* __last, _Tp& __value, int __base) {
  152. if (__base == 10)
  153. return std::__from_chars_atoi(__first, __last, __value);
  154. return std::__subject_seq_combinator(
  155. __first,
  156. __last,
  157. __value,
  158. [](const char* __p, const char* __lastp, _Tp& __val, int __b) -> from_chars_result {
  159. using __tl = numeric_limits<_Tp>;
  160. // __base is always between 2 and 36 inclusive.
  161. auto __digits = __tl::digits / __from_chars_log2f_lut[__b - 2];
  162. _Tp __x = __in_pattern(*__p++, __b).__val, __y = 0;
  163. for (int __i = 1; __p != __lastp; ++__i, ++__p) {
  164. if (auto __c = __in_pattern(*__p, __b)) {
  165. if (__i < __digits - 1)
  166. __x = __x * __b + __c.__val;
  167. else {
  168. if (!__itoa::__mul_overflowed(__x, __b, __x))
  169. ++__p;
  170. __y = __c.__val;
  171. break;
  172. }
  173. } else
  174. break;
  175. }
  176. if (__p == __lastp || !__in_pattern(*__p, __b)) {
  177. if (__tl::max() - __x >= __y) {
  178. __val = __x + __y;
  179. return {__p, {}};
  180. }
  181. }
  182. return {__p, errc::result_out_of_range};
  183. },
  184. __base);
  185. }
  186. template <typename _Tp, __enable_if_t<is_signed<_Tp>::value, int> = 0>
  187. inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI from_chars_result
  188. __from_chars_integral(const char* __first, const char* __last, _Tp& __value, int __base) {
  189. using __t = decltype(std::__to_unsigned_like(__value));
  190. return std::__sign_combinator(__first, __last, __value, __from_chars_integral<__t>, __base);
  191. }
  192. template <typename _Tp, __enable_if_t<is_integral<_Tp>::value, int> = 0>
  193. inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI from_chars_result
  194. from_chars(const char* __first, const char* __last, _Tp& __value) {
  195. return std::__from_chars_atoi(__first, __last, __value);
  196. }
  197. template <typename _Tp, __enable_if_t<is_integral<_Tp>::value, int> = 0>
  198. inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI from_chars_result
  199. from_chars(const char* __first, const char* __last, _Tp& __value, int __base) {
  200. _LIBCPP_ASSERT_UNCATEGORIZED(2 <= __base && __base <= 36, "base not in [2, 36]");
  201. return std::__from_chars_integral(__first, __last, __value, __base);
  202. }
  203. #endif // _LIBCPP_STD_VER >= 17
  204. _LIBCPP_END_NAMESPACE_STD
  205. _LIBCPP_POP_MACROS
  206. #endif // _LIBCPP___CHARCONV_FROM_CHARS_INTEGRAL_H