xref: /llvm-project-15.0.7/libcxx/src/string.cpp (revision 63251840)
1eb8650a7SLouis Dionne //===----------------------------------------------------------------------===//
2cbbf633eSHoward Hinnant //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6cbbf633eSHoward Hinnant //
7cbbf633eSHoward Hinnant //===----------------------------------------------------------------------===//
8cbbf633eSHoward Hinnant 
9f87aa19bSLouis Dionne #include <__assert>
10bbb0f2c7SArthur O'Dwyer #include <cerrno>
11bbb0f2c7SArthur O'Dwyer #include <charconv>
12bbb0f2c7SArthur O'Dwyer #include <cstdlib>
13bbb0f2c7SArthur O'Dwyer #include <limits>
14bbb0f2c7SArthur O'Dwyer #include <stdexcept>
151468d0ceSHoward Hinnant #include <stdio.h>
16bbb0f2c7SArthur O'Dwyer #include <string>
17cbbf633eSHoward Hinnant 
18f4c1258dSLouis Dionne #ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
19bbb0f2c7SArthur O'Dwyer #  include <cwchar>
20f4c1258dSLouis Dionne #endif
21f4c1258dSLouis Dionne 
22cbbf633eSHoward Hinnant _LIBCPP_BEGIN_NAMESPACE_STD
23cbbf633eSHoward Hinnant 
245173f43cSNikolas Klauser #ifndef _LIBCPP_ABI_DO_NOT_EXPORT_BASIC_STRING_COMMON
255173f43cSNikolas Klauser 
265173f43cSNikolas Klauser template <bool>
275173f43cSNikolas Klauser struct __basic_string_common;
285173f43cSNikolas Klauser 
295173f43cSNikolas Klauser // The struct isn't declared anymore in the headers. It's only here for ABI compatibility.
305173f43cSNikolas Klauser template <>
315173f43cSNikolas Klauser struct __basic_string_common<true> {
325173f43cSNikolas Klauser     _LIBCPP_NORETURN _LIBCPP_EXPORTED_FROM_ABI void __throw_length_error() const;
335173f43cSNikolas Klauser     _LIBCPP_NORETURN _LIBCPP_EXPORTED_FROM_ABI void __throw_out_of_range() const;
345173f43cSNikolas Klauser };
355173f43cSNikolas Klauser 
__throw_length_error() const3684b0b52bSLouis Dionne void __basic_string_common<true>::__throw_length_error() const {
375173f43cSNikolas Klauser     std::__throw_length_error("basic_string");
385173f43cSNikolas Klauser }
__throw_out_of_range() const395173f43cSNikolas Klauser void __basic_string_common<true>::__throw_out_of_range() const {
405173f43cSNikolas Klauser     std::__throw_out_of_range("basic_string");
4184b0b52bSLouis Dionne }
4284b0b52bSLouis Dionne 
435173f43cSNikolas Klauser #endif // _LIBCPP_ABI_DO_NOT_EXPORT_BASIC_STRING_COMMON
44cbbf633eSHoward Hinnant 
45b648c611SLouis Dionne #define _LIBCPP_EXTERN_TEMPLATE_DEFINE(...) template __VA_ARGS__;
4667532646SMartijn Vels #ifdef _LIBCPP_ABI_STRING_OPTIMIZED_EXTERNAL_INSTANTIATION
47d8969a1cSMartijn Vels     _LIBCPP_STRING_UNSTABLE_EXTERN_TEMPLATE_LIST(_LIBCPP_EXTERN_TEMPLATE_DEFINE, char)
48f4c1258dSLouis Dionne #   ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
49d8969a1cSMartijn Vels         _LIBCPP_STRING_UNSTABLE_EXTERN_TEMPLATE_LIST(_LIBCPP_EXTERN_TEMPLATE_DEFINE, wchar_t)
50f4c1258dSLouis Dionne #   endif
51d8969a1cSMartijn Vels #else
52d8969a1cSMartijn Vels     _LIBCPP_STRING_V1_EXTERN_TEMPLATE_LIST(_LIBCPP_EXTERN_TEMPLATE_DEFINE, char)
53f4c1258dSLouis Dionne #   ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
54d8969a1cSMartijn Vels         _LIBCPP_STRING_V1_EXTERN_TEMPLATE_LIST(_LIBCPP_EXTERN_TEMPLATE_DEFINE, wchar_t)
55d8969a1cSMartijn Vels #   endif
56f4c1258dSLouis Dionne #endif
57b648c611SLouis Dionne #undef _LIBCPP_EXTERN_TEMPLATE_DEFINE
58cbbf633eSHoward Hinnant 
59b648c611SLouis Dionne template string operator+<char, char_traits<char>, allocator<char>>(char const*, string const&);
60cbbf633eSHoward Hinnant 
619daaf577SHoward Hinnant namespace
629daaf577SHoward Hinnant {
639daaf577SHoward Hinnant 
649daaf577SHoward Hinnant template<typename T>
throw_helper(const string & msg)65*63251840SLouis Dionne inline void throw_helper(const string& msg) {
669daaf577SHoward Hinnant #ifndef _LIBCPP_NO_EXCEPTIONS
679daaf577SHoward Hinnant     throw T(msg);
689daaf577SHoward Hinnant #else
69c19393c7SEd Schouten     fprintf(stderr, "%s\n", msg.c_str());
70d437fa5cSMarshall Clow     _VSTD::abort();
719daaf577SHoward Hinnant #endif
729daaf577SHoward Hinnant }
739daaf577SHoward Hinnant 
throw_from_string_out_of_range(const string & func)74*63251840SLouis Dionne inline void throw_from_string_out_of_range(const string& func) {
759daaf577SHoward Hinnant     throw_helper<out_of_range>(func + ": out of range");
769daaf577SHoward Hinnant }
779daaf577SHoward Hinnant 
throw_from_string_invalid_arg(const string & func)78*63251840SLouis Dionne inline void throw_from_string_invalid_arg(const string& func) {
799daaf577SHoward Hinnant     throw_helper<invalid_argument>(func + ": no conversion");
809daaf577SHoward Hinnant }
819daaf577SHoward Hinnant 
829daaf577SHoward Hinnant // as_integer
839daaf577SHoward Hinnant 
849daaf577SHoward Hinnant template<typename V, typename S, typename F>
as_integer_helper(const string & func,const S & str,size_t * idx,int base,F f)85*63251840SLouis Dionne inline V as_integer_helper(const string& func, const S& str, size_t* idx, int base, F f) {
86d6bd7bf6SEric Fiselier     typename S::value_type* ptr = nullptr;
879daaf577SHoward Hinnant     const typename S::value_type* const p = str.c_str();
889daaf577SHoward Hinnant     typename remove_reference<decltype(errno)>::type errno_save = errno;
899daaf577SHoward Hinnant     errno = 0;
909daaf577SHoward Hinnant     V r = f(p, &ptr, base);
919daaf577SHoward Hinnant     swap(errno, errno_save);
929daaf577SHoward Hinnant     if (errno_save == ERANGE)
939daaf577SHoward Hinnant         throw_from_string_out_of_range(func);
949daaf577SHoward Hinnant     if (ptr == p)
959daaf577SHoward Hinnant         throw_from_string_invalid_arg(func);
969daaf577SHoward Hinnant     if (idx)
979daaf577SHoward Hinnant         *idx = static_cast<size_t>(ptr - p);
989daaf577SHoward Hinnant     return r;
999daaf577SHoward Hinnant }
1009daaf577SHoward Hinnant 
1019daaf577SHoward Hinnant template<typename V, typename S>
102*63251840SLouis Dionne inline V as_integer(const string& func, const S& s, size_t* idx, int base);
1039daaf577SHoward Hinnant 
1049daaf577SHoward Hinnant // string
1059daaf577SHoward Hinnant template<>
as_integer(const string & func,const string & s,size_t * idx,int base)106*63251840SLouis Dionne inline int as_integer(const string& func, const string& s, size_t* idx, int base) {
1078092c957SJoerg Sonnenberger     // Use long as no Standard string to integer exists.
1089daaf577SHoward Hinnant     long r = as_integer_helper<long>(func, s, idx, base, strtol);
1099daaf577SHoward Hinnant     if (r < numeric_limits<int>::min() || numeric_limits<int>::max() < r)
1109daaf577SHoward Hinnant         throw_from_string_out_of_range(func);
1119daaf577SHoward Hinnant     return static_cast<int>(r);
1129daaf577SHoward Hinnant }
1139daaf577SHoward Hinnant 
1149daaf577SHoward Hinnant template<>
as_integer(const string & func,const string & s,size_t * idx,int base)115*63251840SLouis Dionne inline long as_integer(const string& func, const string& s, size_t* idx, int base) {
1169daaf577SHoward Hinnant     return as_integer_helper<long>(func, s, idx, base, strtol);
1179daaf577SHoward Hinnant }
1189daaf577SHoward Hinnant 
1199daaf577SHoward Hinnant template<>
as_integer(const string & func,const string & s,size_t * idx,int base)120*63251840SLouis Dionne inline unsigned long as_integer(const string& func, const string& s, size_t* idx, int base) {
1219daaf577SHoward Hinnant     return as_integer_helper<unsigned long>(func, s, idx, base, strtoul);
1229daaf577SHoward Hinnant }
1239daaf577SHoward Hinnant 
1249daaf577SHoward Hinnant template<>
as_integer(const string & func,const string & s,size_t * idx,int base)125*63251840SLouis Dionne inline long long as_integer(const string& func, const string& s, size_t* idx, int base) {
1269daaf577SHoward Hinnant     return as_integer_helper<long long>(func, s, idx, base, strtoll);
1279daaf577SHoward Hinnant }
1289daaf577SHoward Hinnant 
1299daaf577SHoward Hinnant template<>
as_integer(const string & func,const string & s,size_t * idx,int base)130*63251840SLouis Dionne inline unsigned long long as_integer(const string& func, const string& s, size_t* idx, int base) {
1319daaf577SHoward Hinnant     return as_integer_helper<unsigned long long>(func, s, idx, base, strtoull);
1329daaf577SHoward Hinnant }
1339daaf577SHoward Hinnant 
134f4c1258dSLouis Dionne #ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
1359daaf577SHoward Hinnant // wstring
1369daaf577SHoward Hinnant template<>
as_integer(const string & func,const wstring & s,size_t * idx,int base)137*63251840SLouis Dionne inline int as_integer(const string& func, const wstring& s, size_t* idx, int base) {
1389daaf577SHoward Hinnant     // Use long as no Stantard string to integer exists.
1399daaf577SHoward Hinnant     long r = as_integer_helper<long>(func, s, idx, base, wcstol);
1409daaf577SHoward Hinnant     if (r < numeric_limits<int>::min() || numeric_limits<int>::max() < r)
1419daaf577SHoward Hinnant         throw_from_string_out_of_range(func);
1429daaf577SHoward Hinnant     return static_cast<int>(r);
1439daaf577SHoward Hinnant }
1449daaf577SHoward Hinnant 
1459daaf577SHoward Hinnant template<>
as_integer(const string & func,const wstring & s,size_t * idx,int base)146*63251840SLouis Dionne inline long as_integer(const string& func, const wstring& s, size_t* idx, int base) {
1479daaf577SHoward Hinnant     return as_integer_helper<long>(func, s, idx, base, wcstol);
1489daaf577SHoward Hinnant }
1499daaf577SHoward Hinnant 
1509daaf577SHoward Hinnant template<>
1519daaf577SHoward Hinnant inline
1529daaf577SHoward Hinnant unsigned long
as_integer(const string & func,const wstring & s,size_t * idx,int base)1539daaf577SHoward Hinnant as_integer(const string& func, const wstring& s, size_t* idx, int base)
1549daaf577SHoward Hinnant {
1559daaf577SHoward Hinnant     return as_integer_helper<unsigned long>(func, s, idx, base, wcstoul);
1569daaf577SHoward Hinnant }
1579daaf577SHoward Hinnant 
1589daaf577SHoward Hinnant template<>
as_integer(const string & func,const wstring & s,size_t * idx,int base)159*63251840SLouis Dionne inline long long as_integer(const string& func, const wstring& s, size_t* idx, int base) {
1609daaf577SHoward Hinnant     return as_integer_helper<long long>(func, s, idx, base, wcstoll);
1619daaf577SHoward Hinnant }
1629daaf577SHoward Hinnant 
1639daaf577SHoward Hinnant template<>
as_integer(const string & func,const wstring & s,size_t * idx,int base)164*63251840SLouis Dionne inline unsigned long long as_integer(const string& func, const wstring& s, size_t* idx, int base) {
1659daaf577SHoward Hinnant     return as_integer_helper<unsigned long long>(func, s, idx, base, wcstoull);
1669daaf577SHoward Hinnant }
167f4c1258dSLouis Dionne #endif // _LIBCPP_HAS_NO_WIDE_CHARACTERS
1689daaf577SHoward Hinnant 
1699daaf577SHoward Hinnant // as_float
1709daaf577SHoward Hinnant 
1719daaf577SHoward Hinnant template<typename V, typename S, typename F>
as_float_helper(const string & func,const S & str,size_t * idx,F f)172*63251840SLouis Dionne inline V as_float_helper(const string& func, const S& str, size_t* idx, F f) {
173d6bd7bf6SEric Fiselier     typename S::value_type* ptr = nullptr;
1749daaf577SHoward Hinnant     const typename S::value_type* const p = str.c_str();
1759daaf577SHoward Hinnant     typename remove_reference<decltype(errno)>::type errno_save = errno;
1769daaf577SHoward Hinnant     errno = 0;
1779daaf577SHoward Hinnant     V r = f(p, &ptr);
1789daaf577SHoward Hinnant     swap(errno, errno_save);
1799daaf577SHoward Hinnant     if (errno_save == ERANGE)
1809daaf577SHoward Hinnant         throw_from_string_out_of_range(func);
1819daaf577SHoward Hinnant     if (ptr == p)
1829daaf577SHoward Hinnant         throw_from_string_invalid_arg(func);
1839daaf577SHoward Hinnant     if (idx)
1849daaf577SHoward Hinnant         *idx = static_cast<size_t>(ptr - p);
1859daaf577SHoward Hinnant     return r;
1869daaf577SHoward Hinnant }
1879daaf577SHoward Hinnant 
1889daaf577SHoward Hinnant template<typename V, typename S>
189*63251840SLouis Dionne inline V as_float(const string& func, const S& s, size_t* idx = nullptr);
1909daaf577SHoward Hinnant 
1919daaf577SHoward Hinnant template<>
as_float(const string & func,const string & s,size_t * idx)192*63251840SLouis Dionne inline float as_float(const string& func, const string& s, size_t* idx) {
1939daaf577SHoward Hinnant     return as_float_helper<float>(func, s, idx, strtof);
1949daaf577SHoward Hinnant }
1959daaf577SHoward Hinnant 
1969daaf577SHoward Hinnant template<>
as_float(const string & func,const string & s,size_t * idx)197*63251840SLouis Dionne inline double as_float(const string& func, const string& s, size_t* idx) {
1989daaf577SHoward Hinnant     return as_float_helper<double>(func, s, idx, strtod);
1999daaf577SHoward Hinnant }
2009daaf577SHoward Hinnant 
2019daaf577SHoward Hinnant template<>
as_float(const string & func,const string & s,size_t * idx)202*63251840SLouis Dionne inline long double as_float(const string& func, const string& s, size_t* idx) {
2039daaf577SHoward Hinnant     return as_float_helper<long double>(func, s, idx, strtold);
2049daaf577SHoward Hinnant }
2059daaf577SHoward Hinnant 
206f4c1258dSLouis Dionne #ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
2079daaf577SHoward Hinnant template<>
as_float(const string & func,const wstring & s,size_t * idx)208*63251840SLouis Dionne inline float as_float(const string& func, const wstring& s, size_t* idx) {
2099daaf577SHoward Hinnant     return as_float_helper<float>(func, s, idx, wcstof);
2109daaf577SHoward Hinnant }
2119daaf577SHoward Hinnant 
2129daaf577SHoward Hinnant template<>
as_float(const string & func,const wstring & s,size_t * idx)213*63251840SLouis Dionne inline double as_float(const string& func, const wstring& s, size_t* idx) {
2149daaf577SHoward Hinnant     return as_float_helper<double>(func, s, idx, wcstod);
2159daaf577SHoward Hinnant }
2169daaf577SHoward Hinnant 
2179daaf577SHoward Hinnant template<>
as_float(const string & func,const wstring & s,size_t * idx)218*63251840SLouis Dionne inline long double as_float(const string& func, const wstring& s, size_t* idx) {
2199daaf577SHoward Hinnant     return as_float_helper<long double>(func, s, idx, wcstold);
2209daaf577SHoward Hinnant }
221f4c1258dSLouis Dionne #endif // _LIBCPP_HAS_NO_WIDE_CHARACTERS
2229daaf577SHoward Hinnant 
2239daaf577SHoward Hinnant }  // unnamed namespace
2249daaf577SHoward Hinnant 
stoi(const string & str,size_t * idx,int base)225*63251840SLouis Dionne int stoi(const string& str, size_t* idx, int base) {
2269daaf577SHoward Hinnant     return as_integer<int>("stoi", str, idx, base);
227cbbf633eSHoward Hinnant }
228cbbf633eSHoward Hinnant 
stol(const string & str,size_t * idx,int base)229*63251840SLouis Dionne long stol(const string& str, size_t* idx, int base) {
2309daaf577SHoward Hinnant     return as_integer<long>("stol", str, idx, base);
231cbbf633eSHoward Hinnant }
232cbbf633eSHoward Hinnant 
stoul(const string & str,size_t * idx,int base)233*63251840SLouis Dionne unsigned long stoul(const string& str, size_t* idx, int base) {
2349daaf577SHoward Hinnant     return as_integer<unsigned long>("stoul", str, idx, base);
235cbbf633eSHoward Hinnant }
236cbbf633eSHoward Hinnant 
stoll(const string & str,size_t * idx,int base)237*63251840SLouis Dionne long long stoll(const string& str, size_t* idx, int base) {
2389daaf577SHoward Hinnant     return as_integer<long long>("stoll", str, idx, base);
239cbbf633eSHoward Hinnant }
240cbbf633eSHoward Hinnant 
stoull(const string & str,size_t * idx,int base)241*63251840SLouis Dionne unsigned long long stoull(const string& str, size_t* idx, int base) {
2429daaf577SHoward Hinnant     return as_integer<unsigned long long>("stoull", str, idx, base);
243cbbf633eSHoward Hinnant }
244cbbf633eSHoward Hinnant 
stof(const string & str,size_t * idx)245*63251840SLouis Dionne float stof(const string& str, size_t* idx) {
2469daaf577SHoward Hinnant     return as_float<float>("stof", str, idx);
247cbbf633eSHoward Hinnant }
248cbbf633eSHoward Hinnant 
stod(const string & str,size_t * idx)249*63251840SLouis Dionne double stod(const string& str, size_t* idx) {
2509daaf577SHoward Hinnant     return as_float<double>("stod", str, idx);
251cbbf633eSHoward Hinnant }
252cbbf633eSHoward Hinnant 
stold(const string & str,size_t * idx)253*63251840SLouis Dionne long double stold(const string& str, size_t* idx) {
2549daaf577SHoward Hinnant     return as_float<long double>("stold", str, idx);
255cbbf633eSHoward Hinnant }
256cbbf633eSHoward Hinnant 
257f4c1258dSLouis Dionne #ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
stoi(const wstring & str,size_t * idx,int base)258*63251840SLouis Dionne int stoi(const wstring& str, size_t* idx, int base) {
259dc8a9a03SLouis Dionne     return as_integer<int>("stoi", str, idx, base);
260dc8a9a03SLouis Dionne }
261dc8a9a03SLouis Dionne 
stol(const wstring & str,size_t * idx,int base)262*63251840SLouis Dionne long stol(const wstring& str, size_t* idx, int base) {
263dc8a9a03SLouis Dionne     return as_integer<long>("stol", str, idx, base);
264dc8a9a03SLouis Dionne }
265dc8a9a03SLouis Dionne 
stoul(const wstring & str,size_t * idx,int base)266*63251840SLouis Dionne unsigned long stoul(const wstring& str, size_t* idx, int base) {
267dc8a9a03SLouis Dionne     return as_integer<unsigned long>("stoul", str, idx, base);
268dc8a9a03SLouis Dionne }
269dc8a9a03SLouis Dionne 
stoll(const wstring & str,size_t * idx,int base)270*63251840SLouis Dionne long long stoll(const wstring& str, size_t* idx, int base) {
271dc8a9a03SLouis Dionne     return as_integer<long long>("stoll", str, idx, base);
272dc8a9a03SLouis Dionne }
273dc8a9a03SLouis Dionne 
stoull(const wstring & str,size_t * idx,int base)274*63251840SLouis Dionne unsigned long long stoull(const wstring& str, size_t* idx, int base) {
275dc8a9a03SLouis Dionne     return as_integer<unsigned long long>("stoull", str, idx, base);
276dc8a9a03SLouis Dionne }
277dc8a9a03SLouis Dionne 
stof(const wstring & str,size_t * idx)278*63251840SLouis Dionne float stof(const wstring& str, size_t* idx) {
279dc8a9a03SLouis Dionne     return as_float<float>("stof", str, idx);
280dc8a9a03SLouis Dionne }
281dc8a9a03SLouis Dionne 
stod(const wstring & str,size_t * idx)282*63251840SLouis Dionne double stod(const wstring& str, size_t* idx) {
283dc8a9a03SLouis Dionne     return as_float<double>("stod", str, idx);
284dc8a9a03SLouis Dionne }
285dc8a9a03SLouis Dionne 
stold(const wstring & str,size_t * idx)286*63251840SLouis Dionne long double stold(const wstring& str, size_t* idx) {
2879daaf577SHoward Hinnant     return as_float<long double>("stold", str, idx);
288cbbf633eSHoward Hinnant }
289dc8a9a03SLouis Dionne #endif // !_LIBCPP_HAS_NO_WIDE_CHARACTERS
290cbbf633eSHoward Hinnant 
2919daaf577SHoward Hinnant // to_string
2929daaf577SHoward Hinnant 
2939daaf577SHoward Hinnant namespace
2949daaf577SHoward Hinnant {
2959daaf577SHoward Hinnant 
2969daaf577SHoward Hinnant // as_string
2979daaf577SHoward Hinnant 
2989daaf577SHoward Hinnant template<typename S, typename P, typename V >
as_string(P sprintf_like,S s,const typename S::value_type * fmt,V a)299*63251840SLouis Dionne inline S as_string(P sprintf_like, S s, const typename S::value_type* fmt, V a) {
3009daaf577SHoward Hinnant     typedef typename S::size_type size_type;
3019daaf577SHoward Hinnant     size_type available = s.size();
302*63251840SLouis Dionne     while (true) {
3039daaf577SHoward Hinnant         int status = sprintf_like(&s[0], available + 1, fmt, a);
304*63251840SLouis Dionne         if (status >= 0) {
3059daaf577SHoward Hinnant             size_type used = static_cast<size_type>(status);
306*63251840SLouis Dionne             if (used <= available) {
3079daaf577SHoward Hinnant                 s.resize(used);
3089daaf577SHoward Hinnant                 break;
3099daaf577SHoward Hinnant             }
3109daaf577SHoward Hinnant             available = used; // Assume this is advice of how much space we need.
3119daaf577SHoward Hinnant         }
3129daaf577SHoward Hinnant         else
3139daaf577SHoward Hinnant             available = available * 2 + 1;
3149daaf577SHoward Hinnant         s.resize(available);
3159daaf577SHoward Hinnant     }
3169daaf577SHoward Hinnant     return s;
3179daaf577SHoward Hinnant }
3189daaf577SHoward Hinnant 
319141c2b76SMarshall Clow template <class S>
3209daaf577SHoward Hinnant struct initial_string;
3219daaf577SHoward Hinnant 
322141c2b76SMarshall Clow template <>
323*63251840SLouis Dionne struct initial_string<string> {
operator ()__anon755cf2570211::initial_string324*63251840SLouis Dionne     string operator()() const {
325cbbf633eSHoward Hinnant         string s;
326cbbf633eSHoward Hinnant         s.resize(s.capacity());
327cbbf633eSHoward Hinnant         return s;
328cbbf633eSHoward Hinnant     }
3299daaf577SHoward Hinnant };
330cbbf633eSHoward Hinnant 
331f4c1258dSLouis Dionne #ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
332141c2b76SMarshall Clow template <>
333*63251840SLouis Dionne struct initial_string<wstring> {
operator ()__anon755cf2570211::initial_string334*63251840SLouis Dionne     wstring operator()() const {
3359daaf577SHoward Hinnant         wstring s(20, wchar_t());
3369daaf577SHoward Hinnant         s.resize(s.capacity());
3379daaf577SHoward Hinnant         return s;
3389daaf577SHoward Hinnant     }
3399daaf577SHoward Hinnant };
3409daaf577SHoward Hinnant 
3419daaf577SHoward Hinnant typedef int (*wide_printf)(wchar_t* __restrict, size_t, const wchar_t*__restrict, ...);
3429daaf577SHoward Hinnant 
get_swprintf()343*63251840SLouis Dionne inline wide_printf get_swprintf() {
3440be8f64cSHoward Hinnant #ifndef _LIBCPP_MSVCRT
3459daaf577SHoward Hinnant     return swprintf;
3469daaf577SHoward Hinnant #else
3475d50aa32SEric Fiselier     return static_cast<int (__cdecl*)(wchar_t* __restrict, size_t, const wchar_t*__restrict, ...)>(_snwprintf);
3489daaf577SHoward Hinnant #endif
3499daaf577SHoward Hinnant }
350f4c1258dSLouis Dionne #endif // _LIBCPP_HAS_NO_WIDE_CHARACTERS
3519daaf577SHoward Hinnant 
352141c2b76SMarshall Clow template <typename S, typename V>
i_to_string(V v)353*63251840SLouis Dionne S i_to_string(V v) {
354141c2b76SMarshall Clow //  numeric_limits::digits10 returns value less on 1 than desired for unsigned numbers.
355141c2b76SMarshall Clow //  For example, for 1-byte unsigned value digits10 is 2 (999 can not be represented),
356141c2b76SMarshall Clow //  so we need +1 here.
357141c2b76SMarshall Clow     constexpr size_t bufsize = numeric_limits<V>::digits10 + 2;  // +1 for minus, +1 for digits10
358141c2b76SMarshall Clow     char buf[bufsize];
359141c2b76SMarshall Clow     const auto res = to_chars(buf, buf + bufsize, v);
360141c2b76SMarshall Clow     _LIBCPP_ASSERT(res.ec == errc(), "bufsize must be large enough to accomodate the value");
361141c2b76SMarshall Clow     return S(buf, res.ptr);
362141c2b76SMarshall Clow }
363141c2b76SMarshall Clow 
3649daaf577SHoward Hinnant }  // unnamed namespace
3659daaf577SHoward Hinnant 
to_string(int val)366141c2b76SMarshall Clow string  to_string (int val)                { return i_to_string< string>(val); }
to_string(long val)367141c2b76SMarshall Clow string  to_string (long val)               { return i_to_string< string>(val); }
to_string(long long val)368141c2b76SMarshall Clow string  to_string (long long val)          { return i_to_string< string>(val); }
to_string(unsigned val)369141c2b76SMarshall Clow string  to_string (unsigned val)           { return i_to_string< string>(val); }
to_string(unsigned long val)370141c2b76SMarshall Clow string  to_string (unsigned long val)      { return i_to_string< string>(val); }
to_string(unsigned long long val)371141c2b76SMarshall Clow string  to_string (unsigned long long val) { return i_to_string< string>(val); }
3729daaf577SHoward Hinnant 
373f4c1258dSLouis Dionne #ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
to_wstring(int val)374141c2b76SMarshall Clow wstring to_wstring(int val)                { return i_to_string<wstring>(val); }
to_wstring(long val)375141c2b76SMarshall Clow wstring to_wstring(long val)               { return i_to_string<wstring>(val); }
to_wstring(long long val)376141c2b76SMarshall Clow wstring to_wstring(long long val)          { return i_to_string<wstring>(val); }
to_wstring(unsigned val)377141c2b76SMarshall Clow wstring to_wstring(unsigned val)           { return i_to_string<wstring>(val); }
to_wstring(unsigned long val)378141c2b76SMarshall Clow wstring to_wstring(unsigned long val)      { return i_to_string<wstring>(val); }
to_wstring(unsigned long long val)379141c2b76SMarshall Clow wstring to_wstring(unsigned long long val) { return i_to_string<wstring>(val); }
380f4c1258dSLouis Dionne #endif
3819daaf577SHoward Hinnant 
to_string(float val)382141c2b76SMarshall Clow string  to_string (float val)       { return as_string(snprintf,       initial_string< string>()(),   "%f", val); }
to_string(double val)383141c2b76SMarshall Clow string  to_string (double val)      { return as_string(snprintf,       initial_string< string>()(),   "%f", val); }
to_string(long double val)384141c2b76SMarshall Clow string  to_string (long double val) { return as_string(snprintf,       initial_string< string>()(),  "%Lf", val); }
3859daaf577SHoward Hinnant 
386f4c1258dSLouis Dionne #ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
to_wstring(float val)387141c2b76SMarshall Clow wstring to_wstring(float val)       { return as_string(get_swprintf(), initial_string<wstring>()(),  L"%f", val); }
to_wstring(double val)388141c2b76SMarshall Clow wstring to_wstring(double val)      { return as_string(get_swprintf(), initial_string<wstring>()(),  L"%f", val); }
to_wstring(long double val)389141c2b76SMarshall Clow wstring to_wstring(long double val) { return as_string(get_swprintf(), initial_string<wstring>()(), L"%Lf", val); }
390f4c1258dSLouis Dionne #endif
3919daaf577SHoward Hinnant 
392cbbf633eSHoward Hinnant _LIBCPP_END_NAMESPACE_STD
393