blob: 608dcb2c5863f8f6f66d88d12535699cc404609c [file] [log] [blame]
Louis Dionneeb8650a2021-11-17 21:25:011//===----------------------------------------------------------------------===//
Howard Hinnantcbbf6332010-06-02 18:20:392//
Chandler Carruth57b08b02019-01-19 10:56:403// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Howard Hinnantcbbf6332010-06-02 18:20:396//
7//===----------------------------------------------------------------------===//
8
9#include "string"
Marshall Clow141c2b72019-06-10 23:20:0110#include "charconv"
Howard Hinnantcbbf6332010-06-02 18:20:3911#include "cstdlib"
Howard Hinnantcbbf6332010-06-02 18:20:3912#include "cerrno"
Howard Hinnant9daaf572013-05-16 17:13:4013#include "limits"
14#include "stdexcept"
Howard Hinnant1468d0c2013-07-23 16:05:5615#include <stdio.h>
Marshall Clow141c2b72019-06-10 23:20:0116#include "__debug"
Howard Hinnantcbbf6332010-06-02 18:20:3917
Louis Dionnef4c12582021-08-23 19:32:3618#ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
19# include "cwchar"
20#endif
21
Howard Hinnantcbbf6332010-06-02 18:20:3922_LIBCPP_BEGIN_NAMESPACE_STD
23
Louis Dionne84b0b522021-08-19 16:21:0624void __basic_string_common<true>::__throw_length_error() const {
25 _VSTD::__throw_length_error("basic_string");
26}
27
28void __basic_string_common<true>::__throw_out_of_range() const {
29 _VSTD::__throw_out_of_range("basic_string");
30}
Howard Hinnantcbbf6332010-06-02 18:20:3931
Louis Dionneb648c612021-06-09 13:41:2732#define _LIBCPP_EXTERN_TEMPLATE_DEFINE(...) template __VA_ARGS__;
Martijn Vels67532642020-03-02 15:11:3533#ifdef _LIBCPP_ABI_STRING_OPTIMIZED_EXTERNAL_INSTANTIATION
Louis Dionnef4c12582021-08-23 19:32:3634 _LIBCPP_STRING_UNSTABLE_EXTERN_TEMPLATE_LIST(_LIBCPP_EXTERN_TEMPLATE_DEFINE, char)
35# ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
36 _LIBCPP_STRING_UNSTABLE_EXTERN_TEMPLATE_LIST(_LIBCPP_EXTERN_TEMPLATE_DEFINE, wchar_t)
37# endif
Martijn Velsd8969a12020-02-19 21:27:5038#else
Louis Dionnef4c12582021-08-23 19:32:3639 _LIBCPP_STRING_V1_EXTERN_TEMPLATE_LIST(_LIBCPP_EXTERN_TEMPLATE_DEFINE, char)
40# ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
41 _LIBCPP_STRING_V1_EXTERN_TEMPLATE_LIST(_LIBCPP_EXTERN_TEMPLATE_DEFINE, wchar_t)
42# endif
Martijn Velsd8969a12020-02-19 21:27:5043#endif
Louis Dionneb648c612021-06-09 13:41:2744#undef _LIBCPP_EXTERN_TEMPLATE_DEFINE
Howard Hinnantcbbf6332010-06-02 18:20:3945
Louis Dionneb648c612021-06-09 13:41:2746template string operator+<char, char_traits<char>, allocator<char> >(char const*, string const&);
Howard Hinnantcbbf6332010-06-02 18:20:3947
Howard Hinnant9daaf572013-05-16 17:13:4048namespace
49{
50
51template<typename T>
52inline
53void throw_helper( const string& msg )
54{
55#ifndef _LIBCPP_NO_EXCEPTIONS
56 throw T( msg );
57#else
Ed Schoutenc19393c2015-03-10 07:57:4358 fprintf(stderr, "%s\n", msg.c_str());
Marshall Clowd437fa52016-08-25 15:09:0159 _VSTD::abort();
Howard Hinnant9daaf572013-05-16 17:13:4060#endif
61}
62
63inline
64void throw_from_string_out_of_range( const string& func )
65{
66 throw_helper<out_of_range>(func + ": out of range");
67}
68
69inline
70void throw_from_string_invalid_arg( const string& func )
71{
72 throw_helper<invalid_argument>(func + ": no conversion");
73}
74
75// as_integer
76
77template<typename V, typename S, typename F>
78inline
79V
80as_integer_helper(const string& func, const S& str, size_t* idx, int base, F f)
81{
Eric Fiselierd6bd7bf2014-11-14 22:23:5782 typename S::value_type* ptr = nullptr;
Howard Hinnant9daaf572013-05-16 17:13:4083 const typename S::value_type* const p = str.c_str();
84 typename remove_reference<decltype(errno)>::type errno_save = errno;
85 errno = 0;
86 V r = f(p, &ptr, base);
87 swap(errno, errno_save);
88 if (errno_save == ERANGE)
89 throw_from_string_out_of_range(func);
90 if (ptr == p)
91 throw_from_string_invalid_arg(func);
92 if (idx)
93 *idx = static_cast<size_t>(ptr - p);
94 return r;
95}
96
97template<typename V, typename S>
98inline
99V
100as_integer(const string& func, const S& s, size_t* idx, int base);
101
102// string
103template<>
104inline
105int
106as_integer(const string& func, const string& s, size_t* idx, int base )
107{
Joerg Sonnenberger8092c952013-09-17 08:46:53108 // Use long as no Standard string to integer exists.
Howard Hinnant9daaf572013-05-16 17:13:40109 long r = as_integer_helper<long>( func, s, idx, base, strtol );
110 if (r < numeric_limits<int>::min() || numeric_limits<int>::max() < r)
111 throw_from_string_out_of_range(func);
112 return static_cast<int>(r);
113}
114
115template<>
116inline
117long
118as_integer(const string& func, const string& s, size_t* idx, int base )
119{
120 return as_integer_helper<long>( func, s, idx, base, strtol );
121}
122
123template<>
124inline
125unsigned long
126as_integer( const string& func, const string& s, size_t* idx, int base )
127{
128 return as_integer_helper<unsigned long>( func, s, idx, base, strtoul );
129}
130
131template<>
132inline
133long long
134as_integer( const string& func, const string& s, size_t* idx, int base )
135{
136 return as_integer_helper<long long>( func, s, idx, base, strtoll );
137}
138
139template<>
140inline
141unsigned long long
142as_integer( const string& func, const string& s, size_t* idx, int base )
143{
144 return as_integer_helper<unsigned long long>( func, s, idx, base, strtoull );
145}
146
Louis Dionnef4c12582021-08-23 19:32:36147#ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
Howard Hinnant9daaf572013-05-16 17:13:40148// wstring
149template<>
150inline
151int
152as_integer( const string& func, const wstring& s, size_t* idx, int base )
153{
154 // Use long as no Stantard string to integer exists.
155 long r = as_integer_helper<long>( func, s, idx, base, wcstol );
156 if (r < numeric_limits<int>::min() || numeric_limits<int>::max() < r)
157 throw_from_string_out_of_range(func);
158 return static_cast<int>(r);
159}
160
161template<>
162inline
163long
164as_integer( const string& func, const wstring& s, size_t* idx, int base )
165{
166 return as_integer_helper<long>( func, s, idx, base, wcstol );
167}
168
169template<>
170inline
171unsigned long
172as_integer( const string& func, const wstring& s, size_t* idx, int base )
173{
174 return as_integer_helper<unsigned long>( func, s, idx, base, wcstoul );
175}
176
177template<>
178inline
179long long
180as_integer( const string& func, const wstring& s, size_t* idx, int base )
181{
182 return as_integer_helper<long long>( func, s, idx, base, wcstoll );
183}
184
185template<>
186inline
187unsigned long long
188as_integer( const string& func, const wstring& s, size_t* idx, int base )
189{
190 return as_integer_helper<unsigned long long>( func, s, idx, base, wcstoull );
191}
Louis Dionnef4c12582021-08-23 19:32:36192#endif // _LIBCPP_HAS_NO_WIDE_CHARACTERS
Howard Hinnant9daaf572013-05-16 17:13:40193
194// as_float
195
Marshall Clow141c2b72019-06-10 23:20:01196template<typename V, typename S, typename F>
Howard Hinnant9daaf572013-05-16 17:13:40197inline
198V
199as_float_helper(const string& func, const S& str, size_t* idx, F f )
200{
Eric Fiselierd6bd7bf2014-11-14 22:23:57201 typename S::value_type* ptr = nullptr;
Howard Hinnant9daaf572013-05-16 17:13:40202 const typename S::value_type* const p = str.c_str();
203 typename remove_reference<decltype(errno)>::type errno_save = errno;
204 errno = 0;
205 V r = f(p, &ptr);
206 swap(errno, errno_save);
207 if (errno_save == ERANGE)
208 throw_from_string_out_of_range(func);
209 if (ptr == p)
210 throw_from_string_invalid_arg(func);
211 if (idx)
212 *idx = static_cast<size_t>(ptr - p);
213 return r;
214}
215
216template<typename V, typename S>
217inline
218V as_float( const string& func, const S& s, size_t* idx = nullptr );
219
220template<>
221inline
222float
223as_float( const string& func, const string& s, size_t* idx )
224{
225 return as_float_helper<float>( func, s, idx, strtof );
226}
227
228template<>
229inline
230double
231as_float(const string& func, const string& s, size_t* idx )
232{
233 return as_float_helper<double>( func, s, idx, strtod );
234}
235
236template<>
237inline
238long double
239as_float( const string& func, const string& s, size_t* idx )
240{
241 return as_float_helper<long double>( func, s, idx, strtold );
242}
243
Louis Dionnef4c12582021-08-23 19:32:36244#ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
Howard Hinnant9daaf572013-05-16 17:13:40245template<>
246inline
247float
248as_float( const string& func, const wstring& s, size_t* idx )
249{
250 return as_float_helper<float>( func, s, idx, wcstof );
251}
252
253template<>
254inline
255double
256as_float( const string& func, const wstring& s, size_t* idx )
257{
258 return as_float_helper<double>( func, s, idx, wcstod );
259}
260
261template<>
262inline
263long double
264as_float( const string& func, const wstring& s, size_t* idx )
265{
266 return as_float_helper<long double>( func, s, idx, wcstold );
267}
Louis Dionnef4c12582021-08-23 19:32:36268#endif // _LIBCPP_HAS_NO_WIDE_CHARACTERS
Howard Hinnant9daaf572013-05-16 17:13:40269
270} // unnamed namespace
271
Howard Hinnantcbbf6332010-06-02 18:20:39272int
273stoi(const string& str, size_t* idx, int base)
274{
Howard Hinnant9daaf572013-05-16 17:13:40275 return as_integer<int>( "stoi", str, idx, base );
Howard Hinnantcbbf6332010-06-02 18:20:39276}
277
Louis Dionnef4c12582021-08-23 19:32:36278#ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
Howard Hinnantcbbf6332010-06-02 18:20:39279int
280stoi(const wstring& str, size_t* idx, int base)
281{
Howard Hinnant9daaf572013-05-16 17:13:40282 return as_integer<int>( "stoi", str, idx, base );
Howard Hinnantcbbf6332010-06-02 18:20:39283}
Louis Dionnef4c12582021-08-23 19:32:36284#endif
Howard Hinnantcbbf6332010-06-02 18:20:39285
286long
287stol(const string& str, size_t* idx, int base)
288{
Howard Hinnant9daaf572013-05-16 17:13:40289 return as_integer<long>( "stol", str, idx, base );
Howard Hinnantcbbf6332010-06-02 18:20:39290}
291
Louis Dionnef4c12582021-08-23 19:32:36292#ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
Howard Hinnantcbbf6332010-06-02 18:20:39293long
294stol(const wstring& str, size_t* idx, int base)
295{
Howard Hinnant9daaf572013-05-16 17:13:40296 return as_integer<long>( "stol", str, idx, base );
Howard Hinnantcbbf6332010-06-02 18:20:39297}
Louis Dionnef4c12582021-08-23 19:32:36298#endif
Howard Hinnantcbbf6332010-06-02 18:20:39299
300unsigned long
301stoul(const string& str, size_t* idx, int base)
302{
Howard Hinnant9daaf572013-05-16 17:13:40303 return as_integer<unsigned long>( "stoul", str, idx, base );
Howard Hinnantcbbf6332010-06-02 18:20:39304}
305
Louis Dionnef4c12582021-08-23 19:32:36306#ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
Howard Hinnantcbbf6332010-06-02 18:20:39307unsigned long
308stoul(const wstring& str, size_t* idx, int base)
309{
Howard Hinnant9daaf572013-05-16 17:13:40310 return as_integer<unsigned long>( "stoul", str, idx, base );
Howard Hinnantcbbf6332010-06-02 18:20:39311}
Louis Dionnef4c12582021-08-23 19:32:36312#endif
Howard Hinnantcbbf6332010-06-02 18:20:39313
314long long
315stoll(const string& str, size_t* idx, int base)
316{
Howard Hinnant9daaf572013-05-16 17:13:40317 return as_integer<long long>( "stoll", str, idx, base );
Howard Hinnantcbbf6332010-06-02 18:20:39318}
319
Louis Dionnef4c12582021-08-23 19:32:36320#ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
Howard Hinnantcbbf6332010-06-02 18:20:39321long long
322stoll(const wstring& str, size_t* idx, int base)
323{
Howard Hinnant9daaf572013-05-16 17:13:40324 return as_integer<long long>( "stoll", str, idx, base );
Howard Hinnantcbbf6332010-06-02 18:20:39325}
Louis Dionnef4c12582021-08-23 19:32:36326#endif
Howard Hinnantcbbf6332010-06-02 18:20:39327
328unsigned long long
329stoull(const string& str, size_t* idx, int base)
330{
Howard Hinnant9daaf572013-05-16 17:13:40331 return as_integer<unsigned long long>( "stoull", str, idx, base );
Howard Hinnantcbbf6332010-06-02 18:20:39332}
333
Louis Dionnef4c12582021-08-23 19:32:36334#ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
Howard Hinnantcbbf6332010-06-02 18:20:39335unsigned long long
336stoull(const wstring& str, size_t* idx, int base)
337{
Howard Hinnant9daaf572013-05-16 17:13:40338 return as_integer<unsigned long long>( "stoull", str, idx, base );
Howard Hinnantcbbf6332010-06-02 18:20:39339}
Louis Dionnef4c12582021-08-23 19:32:36340#endif
Howard Hinnantcbbf6332010-06-02 18:20:39341
342float
343stof(const string& str, size_t* idx)
344{
Howard Hinnant9daaf572013-05-16 17:13:40345 return as_float<float>( "stof", str, idx );
Howard Hinnantcbbf6332010-06-02 18:20:39346}
347
Louis Dionnef4c12582021-08-23 19:32:36348#ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
Howard Hinnantcbbf6332010-06-02 18:20:39349float
350stof(const wstring& str, size_t* idx)
351{
Howard Hinnant9daaf572013-05-16 17:13:40352 return as_float<float>( "stof", str, idx );
Howard Hinnantcbbf6332010-06-02 18:20:39353}
Louis Dionnef4c12582021-08-23 19:32:36354#endif
Howard Hinnantcbbf6332010-06-02 18:20:39355
356double
357stod(const string& str, size_t* idx)
358{
Howard Hinnant9daaf572013-05-16 17:13:40359 return as_float<double>( "stod", str, idx );
Howard Hinnantcbbf6332010-06-02 18:20:39360}
361
Louis Dionnef4c12582021-08-23 19:32:36362#ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
Howard Hinnantcbbf6332010-06-02 18:20:39363double
364stod(const wstring& str, size_t* idx)
365{
Howard Hinnant9daaf572013-05-16 17:13:40366 return as_float<double>( "stod", str, idx );
Howard Hinnantcbbf6332010-06-02 18:20:39367}
Louis Dionnef4c12582021-08-23 19:32:36368#endif
Howard Hinnantcbbf6332010-06-02 18:20:39369
370long double
371stold(const string& str, size_t* idx)
372{
Howard Hinnant9daaf572013-05-16 17:13:40373 return as_float<long double>( "stold", str, idx );
Howard Hinnantcbbf6332010-06-02 18:20:39374}
375
Louis Dionnef4c12582021-08-23 19:32:36376#ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
Howard Hinnantcbbf6332010-06-02 18:20:39377long double
378stold(const wstring& str, size_t* idx)
379{
Howard Hinnant9daaf572013-05-16 17:13:40380 return as_float<long double>( "stold", str, idx );
Howard Hinnantcbbf6332010-06-02 18:20:39381}
Louis Dionnef4c12582021-08-23 19:32:36382#endif
Howard Hinnantcbbf6332010-06-02 18:20:39383
Howard Hinnant9daaf572013-05-16 17:13:40384// to_string
385
386namespace
387{
388
389// as_string
390
391template<typename S, typename P, typename V >
392inline
393S
394as_string(P sprintf_like, S s, const typename S::value_type* fmt, V a)
395{
396 typedef typename S::size_type size_type;
397 size_type available = s.size();
398 while (true)
399 {
400 int status = sprintf_like(&s[0], available + 1, fmt, a);
401 if ( status >= 0 )
402 {
403 size_type used = static_cast<size_type>(status);
404 if ( used <= available )
405 {
406 s.resize( used );
407 break;
408 }
409 available = used; // Assume this is advice of how much space we need.
410 }
411 else
412 available = available * 2 + 1;
413 s.resize(available);
414 }
415 return s;
416}
417
Marshall Clow141c2b72019-06-10 23:20:01418template <class S>
Howard Hinnant9daaf572013-05-16 17:13:40419struct initial_string;
420
Marshall Clow141c2b72019-06-10 23:20:01421template <>
422struct initial_string<string>
Howard Hinnant9daaf572013-05-16 17:13:40423{
424 string
425 operator()() const
426 {
427 string s;
428 s.resize(s.capacity());
429 return s;
430 }
431};
432
Louis Dionnef4c12582021-08-23 19:32:36433#ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
Marshall Clow141c2b72019-06-10 23:20:01434template <>
435struct initial_string<wstring>
Howard Hinnant9daaf572013-05-16 17:13:40436{
437 wstring
438 operator()() const
439 {
440 wstring s(20, wchar_t());
441 s.resize(s.capacity());
442 return s;
443 }
444};
445
446typedef int (*wide_printf)(wchar_t* __restrict, size_t, const wchar_t*__restrict, ...);
447
448inline
449wide_printf
450get_swprintf()
451{
Howard Hinnant0be8f642013-08-01 18:17:34452#ifndef _LIBCPP_MSVCRT
Howard Hinnant9daaf572013-05-16 17:13:40453 return swprintf;
454#else
Eric Fiselier5d50aa32017-05-10 20:57:45455 return static_cast<int (__cdecl*)(wchar_t* __restrict, size_t, const wchar_t*__restrict, ...)>(_snwprintf);
Howard Hinnant9daaf572013-05-16 17:13:40456#endif
457}
Louis Dionnef4c12582021-08-23 19:32:36458#endif // _LIBCPP_HAS_NO_WIDE_CHARACTERS
Howard Hinnant9daaf572013-05-16 17:13:40459
Marshall Clow141c2b72019-06-10 23:20:01460template <typename S, typename V>
Louis Dionnea5628532021-06-29 17:52:26461S i_to_string(V v)
Marshall Clow141c2b72019-06-10 23:20:01462{
463// numeric_limits::digits10 returns value less on 1 than desired for unsigned numbers.
464// For example, for 1-byte unsigned value digits10 is 2 (999 can not be represented),
465// so we need +1 here.
466 constexpr size_t bufsize = numeric_limits<V>::digits10 + 2; // +1 for minus, +1 for digits10
467 char buf[bufsize];
468 const auto res = to_chars(buf, buf + bufsize, v);
469 _LIBCPP_ASSERT(res.ec == errc(), "bufsize must be large enough to accomodate the value");
470 return S(buf, res.ptr);
471}
472
Howard Hinnant9daaf572013-05-16 17:13:40473} // unnamed namespace
474
Marshall Clow141c2b72019-06-10 23:20:01475string to_string (int val) { return i_to_string< string>(val); }
476string to_string (long val) { return i_to_string< string>(val); }
477string to_string (long long val) { return i_to_string< string>(val); }
478string to_string (unsigned val) { return i_to_string< string>(val); }
479string to_string (unsigned long val) { return i_to_string< string>(val); }
480string to_string (unsigned long long val) { return i_to_string< string>(val); }
Howard Hinnantcbbf6332010-06-02 18:20:39481
Louis Dionnef4c12582021-08-23 19:32:36482#ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
Marshall Clow141c2b72019-06-10 23:20:01483wstring to_wstring(int val) { return i_to_string<wstring>(val); }
484wstring to_wstring(long val) { return i_to_string<wstring>(val); }
485wstring to_wstring(long long val) { return i_to_string<wstring>(val); }
486wstring to_wstring(unsigned val) { return i_to_string<wstring>(val); }
487wstring to_wstring(unsigned long val) { return i_to_string<wstring>(val); }
488wstring to_wstring(unsigned long long val) { return i_to_string<wstring>(val); }
Louis Dionnef4c12582021-08-23 19:32:36489#endif
Howard Hinnantcbbf6332010-06-02 18:20:39490
Marshall Clow141c2b72019-06-10 23:20:01491string to_string (float val) { return as_string(snprintf, initial_string< string>()(), "%f", val); }
492string to_string (double val) { return as_string(snprintf, initial_string< string>()(), "%f", val); }
493string to_string (long double val) { return as_string(snprintf, initial_string< string>()(), "%Lf", val); }
Howard Hinnantcbbf6332010-06-02 18:20:39494
Louis Dionnef4c12582021-08-23 19:32:36495#ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
Marshall Clow141c2b72019-06-10 23:20:01496wstring to_wstring(float val) { return as_string(get_swprintf(), initial_string<wstring>()(), L"%f", val); }
497wstring to_wstring(double val) { return as_string(get_swprintf(), initial_string<wstring>()(), L"%f", val); }
498wstring to_wstring(long double val) { return as_string(get_swprintf(), initial_string<wstring>()(), L"%Lf", val); }
Louis Dionnef4c12582021-08-23 19:32:36499#endif
Howard Hinnantcbbf6332010-06-02 18:20:39500
Howard Hinnantcbbf6332010-06-02 18:20:39501_LIBCPP_END_NAMESPACE_STD