blob: 2e5ffc1b6d07017d2dd2621584264ec3ee748110 [file] [log] [blame]
Howard Hinnantbc8d3f92010-05-11 19:42:161// -*- C++ -*-
2//===--------------------------- string -----------------------------------===//
3//
Howard Hinnantf5256e12010-05-11 21:36:014// The LLVM Compiler Infrastructure
Howard Hinnantbc8d3f92010-05-11 19:42:165//
6// This file is distributed under the University of Illinois Open Source
7// License. See LICENSE.TXT for details.
8//
9//===----------------------------------------------------------------------===//
10
11#ifndef _LIBCPP_STRING
12#define _LIBCPP_STRING
13
14/*
15 string synopsis
16
17namespace std
18{
19
20template <class stateT>
21class fpos
22{
23private:
24 stateT st;
25public:
26 fpos(streamoff = streamoff());
27
28 operator streamoff() const;
29
30 stateT state() const;
31 void state(stateT);
32
33 fpos& operator+=(streamoff);
34 fpos operator+ (streamoff) const;
35 fpos& operator-=(streamoff);
36 fpos operator- (streamoff) const;
37};
38
39template <class stateT> streamoff operator-(const fpos<stateT>& x, const fpos<stateT>& y);
40
41template <class stateT> bool operator==(const fpos<stateT>& x, const fpos<stateT>& y);
42template <class stateT> bool operator!=(const fpos<stateT>& x, const fpos<stateT>& y);
43
44template <class charT>
45struct char_traits
46{
47 typedef charT char_type;
48 typedef ... int_type;
49 typedef streamoff off_type;
50 typedef streampos pos_type;
51 typedef mbstate_t state_type;
52
Howard Hinnanta6119a82011-05-29 19:57:1253 static void assign(char_type& c1, const char_type& c2) noexcept;
Howard Hinnant03d71812012-07-20 19:09:1254 static constexpr bool eq(char_type c1, char_type c2) noexcept;
55 static constexpr bool lt(char_type c1, char_type c2) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:1656
57 static int compare(const char_type* s1, const char_type* s2, size_t n);
58 static size_t length(const char_type* s);
59 static const char_type* find(const char_type* s, size_t n, const char_type& a);
60 static char_type* move(char_type* s1, const char_type* s2, size_t n);
61 static char_type* copy(char_type* s1, const char_type* s2, size_t n);
62 static char_type* assign(char_type* s, size_t n, char_type a);
63
Howard Hinnant03d71812012-07-20 19:09:1264 static constexpr int_type not_eof(int_type c) noexcept;
65 static constexpr char_type to_char_type(int_type c) noexcept;
66 static constexpr int_type to_int_type(char_type c) noexcept;
67 static constexpr bool eq_int_type(int_type c1, int_type c2) noexcept;
68 static constexpr int_type eof() noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:1669};
70
71template <> struct char_traits<char>;
72template <> struct char_traits<wchar_t>;
73
Howard Hinnant324bb032010-08-22 00:02:4374template<class charT, class traits = char_traits<charT>, class Allocator = allocator<charT> >
Howard Hinnantbc8d3f92010-05-11 19:42:1675class basic_string
76{
Howard Hinnant324bb032010-08-22 00:02:4377public:
78// types:
Howard Hinnantbc8d3f92010-05-11 19:42:1679 typedef traits traits_type;
80 typedef typename traits_type::char_type value_type;
81 typedef Allocator allocator_type;
82 typedef typename allocator_type::size_type size_type;
83 typedef typename allocator_type::difference_type difference_type;
84 typedef typename allocator_type::reference reference;
85 typedef typename allocator_type::const_reference const_reference;
86 typedef typename allocator_type::pointer pointer;
87 typedef typename allocator_type::const_pointer const_pointer;
88 typedef implementation-defined iterator;
89 typedef implementation-defined const_iterator;
90 typedef std::reverse_iterator<iterator> reverse_iterator;
91 typedef std::reverse_iterator<const_iterator> const_reverse_iterator;
92
93 static const size_type npos = -1;
94
Howard Hinnant53f7d4c2011-06-03 18:40:4795 basic_string()
96 noexcept(is_nothrow_default_constructible<allocator_type>::value);
97 explicit basic_string(const allocator_type& a);
Howard Hinnantbc8d3f92010-05-11 19:42:1698 basic_string(const basic_string& str);
Howard Hinnant53f7d4c2011-06-03 18:40:4799 basic_string(basic_string&& str)
100 noexcept(is_nothrow_move_constructible<allocator_type>::value);
Marshall Clowf4f7d8f2016-04-07 18:13:41101 basic_string(const basic_string& str, size_type pos,
Howard Hinnanta6a062d2010-06-02 18:20:39102 const allocator_type& a = allocator_type());
Marshall Clowf4f7d8f2016-04-07 18:13:41103 basic_string(const basic_string& str, size_type pos, size_type n,
Marshall Clow1e00d6d2016-07-21 05:31:24104 const Allocator& a = Allocator());
Marshall Clowdb7fa112016-11-14 18:22:19105 template<class T>
106 basic_string(const T& t, size_type pos, size_type n, const Allocator& a = Allocator()); // C++17
Marshall Clow1e00d6d2016-07-21 05:31:24107 explicit basic_string(const basic_string_view<charT, traits> sv, const Allocator& a = Allocator());
Howard Hinnant9dcdcde2013-06-28 16:59:19108 basic_string(const value_type* s, const allocator_type& a = allocator_type());
109 basic_string(const value_type* s, size_type n, const allocator_type& a = allocator_type());
Howard Hinnantbc8d3f92010-05-11 19:42:16110 basic_string(size_type n, value_type c, const allocator_type& a = allocator_type());
111 template<class InputIterator>
Howard Hinnanta6a062d2010-06-02 18:20:39112 basic_string(InputIterator begin, InputIterator end,
113 const allocator_type& a = allocator_type());
Howard Hinnantbc8d3f92010-05-11 19:42:16114 basic_string(initializer_list<value_type>, const Allocator& = Allocator());
115 basic_string(const basic_string&, const Allocator&);
116 basic_string(basic_string&&, const Allocator&);
117
118 ~basic_string();
119
Marshall Clow1e00d6d2016-07-21 05:31:24120 operator basic_string_view<charT, traits>() const noexcept;
121
Howard Hinnantbc8d3f92010-05-11 19:42:16122 basic_string& operator=(const basic_string& str);
Marshall Clow1e00d6d2016-07-21 05:31:24123 basic_string& operator=(basic_string_view<charT, traits> sv);
Howard Hinnant53f7d4c2011-06-03 18:40:47124 basic_string& operator=(basic_string&& str)
125 noexcept(
Marshall Clowaf961ed2015-08-18 18:57:00126 allocator_type::propagate_on_container_move_assignment::value ||
127 allocator_type::is_always_equal::value ); // C++17
Howard Hinnant9dcdcde2013-06-28 16:59:19128 basic_string& operator=(const value_type* s);
Howard Hinnantbc8d3f92010-05-11 19:42:16129 basic_string& operator=(value_type c);
130 basic_string& operator=(initializer_list<value_type>);
131
Howard Hinnanta6119a82011-05-29 19:57:12132 iterator begin() noexcept;
133 const_iterator begin() const noexcept;
134 iterator end() noexcept;
135 const_iterator end() const noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16136
Howard Hinnanta6119a82011-05-29 19:57:12137 reverse_iterator rbegin() noexcept;
138 const_reverse_iterator rbegin() const noexcept;
139 reverse_iterator rend() noexcept;
140 const_reverse_iterator rend() const noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16141
Howard Hinnanta6119a82011-05-29 19:57:12142 const_iterator cbegin() const noexcept;
143 const_iterator cend() const noexcept;
144 const_reverse_iterator crbegin() const noexcept;
145 const_reverse_iterator crend() const noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16146
Howard Hinnanta6119a82011-05-29 19:57:12147 size_type size() const noexcept;
148 size_type length() const noexcept;
149 size_type max_size() const noexcept;
150 size_type capacity() const noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16151
152 void resize(size_type n, value_type c);
153 void resize(size_type n);
154
155 void reserve(size_type res_arg = 0);
156 void shrink_to_fit();
Howard Hinnanta6119a82011-05-29 19:57:12157 void clear() noexcept;
158 bool empty() const noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16159
160 const_reference operator[](size_type pos) const;
161 reference operator[](size_type pos);
162
163 const_reference at(size_type n) const;
164 reference at(size_type n);
165
166 basic_string& operator+=(const basic_string& str);
Marshall Clow1e00d6d2016-07-21 05:31:24167 basic_string& operator+=(basic_string_view<charT, traits> sv);
Howard Hinnant9dcdcde2013-06-28 16:59:19168 basic_string& operator+=(const value_type* s);
Howard Hinnantbc8d3f92010-05-11 19:42:16169 basic_string& operator+=(value_type c);
170 basic_string& operator+=(initializer_list<value_type>);
171
172 basic_string& append(const basic_string& str);
Marshall Clow1e00d6d2016-07-21 05:31:24173 basic_string& append(basic_string_view<charT, traits> sv);
Marshall Clowa93b5e22014-03-04 19:17:19174 basic_string& append(const basic_string& str, size_type pos, size_type n=npos); //C++14
Marshall Clow6ac8de02016-09-24 22:45:42175 template <class T>
176 basic_string& append(const T& t, size_type pos, size_type n=npos); // C++17
Howard Hinnant9dcdcde2013-06-28 16:59:19177 basic_string& append(const value_type* s, size_type n);
178 basic_string& append(const value_type* s);
Howard Hinnantbc8d3f92010-05-11 19:42:16179 basic_string& append(size_type n, value_type c);
Howard Hinnanta6a062d2010-06-02 18:20:39180 template<class InputIterator>
181 basic_string& append(InputIterator first, InputIterator last);
Howard Hinnantbc8d3f92010-05-11 19:42:16182 basic_string& append(initializer_list<value_type>);
183
184 void push_back(value_type c);
185 void pop_back();
186 reference front();
187 const_reference front() const;
188 reference back();
189 const_reference back() const;
190
191 basic_string& assign(const basic_string& str);
Marshall Clow1e00d6d2016-07-21 05:31:24192 basic_string& assign(basic_string_view<charT, traits> sv);
Howard Hinnanta6119a82011-05-29 19:57:12193 basic_string& assign(basic_string&& str);
Marshall Clowa93b5e22014-03-04 19:17:19194 basic_string& assign(const basic_string& str, size_type pos, size_type n=npos); // C++14
Marshall Clow6ac8de02016-09-24 22:45:42195 template <class T>
196 basic_string& assign(const T& t, size_type pos, size_type n=npos); // C++17
Howard Hinnant9dcdcde2013-06-28 16:59:19197 basic_string& assign(const value_type* s, size_type n);
198 basic_string& assign(const value_type* s);
Howard Hinnantbc8d3f92010-05-11 19:42:16199 basic_string& assign(size_type n, value_type c);
Howard Hinnanta6a062d2010-06-02 18:20:39200 template<class InputIterator>
201 basic_string& assign(InputIterator first, InputIterator last);
Howard Hinnantbc8d3f92010-05-11 19:42:16202 basic_string& assign(initializer_list<value_type>);
203
204 basic_string& insert(size_type pos1, const basic_string& str);
Marshall Clow1e00d6d2016-07-21 05:31:24205 basic_string& insert(size_type pos1, basic_string_view<charT, traits> sv);
Howard Hinnanta6a062d2010-06-02 18:20:39206 basic_string& insert(size_type pos1, const basic_string& str,
207 size_type pos2, size_type n);
Marshall Clow6ac8de02016-09-24 22:45:42208 template <class T>
209 basic_string& insert(size_type pos1, const T& t, size_type pos2, size_type n); // C++17
Marshall Clowa93b5e22014-03-04 19:17:19210 basic_string& insert(size_type pos, const value_type* s, size_type n=npos); //C++14
Howard Hinnant9dcdcde2013-06-28 16:59:19211 basic_string& insert(size_type pos, const value_type* s);
Howard Hinnantbc8d3f92010-05-11 19:42:16212 basic_string& insert(size_type pos, size_type n, value_type c);
213 iterator insert(const_iterator p, value_type c);
214 iterator insert(const_iterator p, size_type n, value_type c);
Howard Hinnanta6a062d2010-06-02 18:20:39215 template<class InputIterator>
216 iterator insert(const_iterator p, InputIterator first, InputIterator last);
Howard Hinnantbc8d3f92010-05-11 19:42:16217 iterator insert(const_iterator p, initializer_list<value_type>);
218
219 basic_string& erase(size_type pos = 0, size_type n = npos);
220 iterator erase(const_iterator position);
221 iterator erase(const_iterator first, const_iterator last);
222
223 basic_string& replace(size_type pos1, size_type n1, const basic_string& str);
Marshall Clow1e00d6d2016-07-21 05:31:24224 basic_string& replace(size_type pos1, size_type n1, basic_string_view<charT, traits> sv);
Howard Hinnanta6a062d2010-06-02 18:20:39225 basic_string& replace(size_type pos1, size_type n1, const basic_string& str,
Marshall Clowa93b5e22014-03-04 19:17:19226 size_type pos2, size_type n2=npos); // C++14
Marshall Clow6ac8de02016-09-24 22:45:42227 template <class T>
228 basic_string& replace(size_type pos1, size_type n1, const T& t,
229 size_type pos2, size_type n); // C++17
Howard Hinnant9dcdcde2013-06-28 16:59:19230 basic_string& replace(size_type pos, size_type n1, const value_type* s, size_type n2);
231 basic_string& replace(size_type pos, size_type n1, const value_type* s);
Howard Hinnantbc8d3f92010-05-11 19:42:16232 basic_string& replace(size_type pos, size_type n1, size_type n2, value_type c);
Howard Hinnant7b2cb482010-11-17 21:11:40233 basic_string& replace(const_iterator i1, const_iterator i2, const basic_string& str);
Marshall Clow1e00d6d2016-07-21 05:31:24234 basic_string& replace(const_iterator i1, const_iterator i2, basic_string_view<charT, traits> sv);
Howard Hinnant9dcdcde2013-06-28 16:59:19235 basic_string& replace(const_iterator i1, const_iterator i2, const value_type* s, size_type n);
236 basic_string& replace(const_iterator i1, const_iterator i2, const value_type* s);
Howard Hinnant7b2cb482010-11-17 21:11:40237 basic_string& replace(const_iterator i1, const_iterator i2, size_type n, value_type c);
Howard Hinnanta6a062d2010-06-02 18:20:39238 template<class InputIterator>
Howard Hinnant7b2cb482010-11-17 21:11:40239 basic_string& replace(const_iterator i1, const_iterator i2, InputIterator j1, InputIterator j2);
240 basic_string& replace(const_iterator i1, const_iterator i2, initializer_list<value_type>);
Howard Hinnantbc8d3f92010-05-11 19:42:16241
Howard Hinnant9dcdcde2013-06-28 16:59:19242 size_type copy(value_type* s, size_type n, size_type pos = 0) const;
Howard Hinnantbc8d3f92010-05-11 19:42:16243 basic_string substr(size_type pos = 0, size_type n = npos) const;
244
Howard Hinnant53f7d4c2011-06-03 18:40:47245 void swap(basic_string& str)
Marshall Clow7d914d12015-07-13 20:04:56246 noexcept(allocator_traits<allocator_type>::propagate_on_container_swap::value ||
247 allocator_traits<allocator_type>::is_always_equal::value); // C++17
Howard Hinnantbc8d3f92010-05-11 19:42:16248
Howard Hinnant9dcdcde2013-06-28 16:59:19249 const value_type* c_str() const noexcept;
250 const value_type* data() const noexcept;
Marshall Clowf532a702016-03-08 15:44:30251 value_type* data() noexcept; // C++17
Howard Hinnantbc8d3f92010-05-11 19:42:16252
Howard Hinnanta6119a82011-05-29 19:57:12253 allocator_type get_allocator() const noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16254
Howard Hinnanta6119a82011-05-29 19:57:12255 size_type find(const basic_string& str, size_type pos = 0) const noexcept;
Marshall Clow1e00d6d2016-07-21 05:31:24256 size_type find(basic_string_view<charT, traits> sv, size_type pos = 0) const noexcept;
Howard Hinnant9dcdcde2013-06-28 16:59:19257 size_type find(const value_type* s, size_type pos, size_type n) const noexcept;
258 size_type find(const value_type* s, size_type pos = 0) const noexcept;
Howard Hinnanta6119a82011-05-29 19:57:12259 size_type find(value_type c, size_type pos = 0) const noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16260
Howard Hinnanta6119a82011-05-29 19:57:12261 size_type rfind(const basic_string& str, size_type pos = npos) const noexcept;
Marshall Clow1e00d6d2016-07-21 05:31:24262 size_type ffind(basic_string_view<charT, traits> sv, size_type pos = 0) const noexcept;
Howard Hinnant9dcdcde2013-06-28 16:59:19263 size_type rfind(const value_type* s, size_type pos, size_type n) const noexcept;
264 size_type rfind(const value_type* s, size_type pos = npos) const noexcept;
Howard Hinnanta6119a82011-05-29 19:57:12265 size_type rfind(value_type c, size_type pos = npos) const noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16266
Howard Hinnanta6119a82011-05-29 19:57:12267 size_type find_first_of(const basic_string& str, size_type pos = 0) const noexcept;
Marshall Clow1e00d6d2016-07-21 05:31:24268 size_type find_first_of(basic_string_view<charT, traits> sv, size_type pos = 0) const noexcept;
Howard Hinnant9dcdcde2013-06-28 16:59:19269 size_type find_first_of(const value_type* s, size_type pos, size_type n) const noexcept;
270 size_type find_first_of(const value_type* s, size_type pos = 0) const noexcept;
Howard Hinnanta6119a82011-05-29 19:57:12271 size_type find_first_of(value_type c, size_type pos = 0) const noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16272
Howard Hinnanta6119a82011-05-29 19:57:12273 size_type find_last_of(const basic_string& str, size_type pos = npos) const noexcept;
Marshall Clow1e00d6d2016-07-21 05:31:24274 size_type find_last_of(basic_string_view<charT, traits> sv, size_type pos = 0) const noexcept;
Howard Hinnant9dcdcde2013-06-28 16:59:19275 size_type find_last_of(const value_type* s, size_type pos, size_type n) const noexcept;
276 size_type find_last_of(const value_type* s, size_type pos = npos) const noexcept;
Howard Hinnanta6119a82011-05-29 19:57:12277 size_type find_last_of(value_type c, size_type pos = npos) const noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16278
Howard Hinnanta6119a82011-05-29 19:57:12279 size_type find_first_not_of(const basic_string& str, size_type pos = 0) const noexcept;
Marshall Clow1e00d6d2016-07-21 05:31:24280 size_type find_first_not_of(basic_string_view<charT, traits> sv, size_type pos = 0) const noexcept;
Howard Hinnant9dcdcde2013-06-28 16:59:19281 size_type find_first_not_of(const value_type* s, size_type pos, size_type n) const noexcept;
282 size_type find_first_not_of(const value_type* s, size_type pos = 0) const noexcept;
Howard Hinnanta6119a82011-05-29 19:57:12283 size_type find_first_not_of(value_type c, size_type pos = 0) const noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16284
Howard Hinnanta6119a82011-05-29 19:57:12285 size_type find_last_not_of(const basic_string& str, size_type pos = npos) const noexcept;
Marshall Clow1e00d6d2016-07-21 05:31:24286 size_type find_last_not_of(basic_string_view<charT, traits> sv, size_type pos = 0) const noexcept;
Howard Hinnant9dcdcde2013-06-28 16:59:19287 size_type find_last_not_of(const value_type* s, size_type pos, size_type n) const noexcept;
288 size_type find_last_not_of(const value_type* s, size_type pos = npos) const noexcept;
Howard Hinnanta6119a82011-05-29 19:57:12289 size_type find_last_not_of(value_type c, size_type pos = npos) const noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16290
Howard Hinnanta6119a82011-05-29 19:57:12291 int compare(const basic_string& str) const noexcept;
Marshall Clow1e00d6d2016-07-21 05:31:24292 int compare(basic_string_view<charT, traits> sv) const noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16293 int compare(size_type pos1, size_type n1, const basic_string& str) const;
Marshall Clow1e00d6d2016-07-21 05:31:24294 int compare(size_type pos1, size_type n1, basic_string_view<charT, traits> sv) const;
Howard Hinnanta6a062d2010-06-02 18:20:39295 int compare(size_type pos1, size_type n1, const basic_string& str,
Marshall Clowa93b5e22014-03-04 19:17:19296 size_type pos2, size_type n2=npos) const; // C++14
Marshall Clow6ac8de02016-09-24 22:45:42297 template <class T>
298 int compare(size_type pos1, size_type n1, const T& t,
299 size_type pos2, size_type n2=npos) const; // C++17
Howard Hinnant9dcdcde2013-06-28 16:59:19300 int compare(const value_type* s) const noexcept;
301 int compare(size_type pos1, size_type n1, const value_type* s) const;
302 int compare(size_type pos1, size_type n1, const value_type* s, size_type n2) const;
Howard Hinnantbc8d3f92010-05-11 19:42:16303
304 bool __invariants() const;
305};
306
307template<class charT, class traits, class Allocator>
308basic_string<charT, traits, Allocator>
Howard Hinnanta6a062d2010-06-02 18:20:39309operator+(const basic_string<charT, traits, Allocator>& lhs,
310 const basic_string<charT, traits, Allocator>& rhs);
Howard Hinnantbc8d3f92010-05-11 19:42:16311
312template<class charT, class traits, class Allocator>
313basic_string<charT, traits, Allocator>
314operator+(const charT* lhs , const basic_string<charT,traits,Allocator>&rhs);
315
316template<class charT, class traits, class Allocator>
317basic_string<charT, traits, Allocator>
318operator+(charT lhs, const basic_string<charT,traits,Allocator>& rhs);
319
320template<class charT, class traits, class Allocator>
321basic_string<charT, traits, Allocator>
322operator+(const basic_string<charT, traits, Allocator>& lhs, const charT* rhs);
323
324template<class charT, class traits, class Allocator>
325basic_string<charT, traits, Allocator>
326operator+(const basic_string<charT, traits, Allocator>& lhs, charT rhs);
327
328template<class charT, class traits, class Allocator>
Howard Hinnanta6a062d2010-06-02 18:20:39329bool operator==(const basic_string<charT, traits, Allocator>& lhs,
Howard Hinnanta6119a82011-05-29 19:57:12330 const basic_string<charT, traits, Allocator>& rhs) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16331
332template<class charT, class traits, class Allocator>
Howard Hinnanta6119a82011-05-29 19:57:12333bool operator==(const charT* lhs, const basic_string<charT, traits, Allocator>& rhs) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16334
335template<class charT, class traits, class Allocator>
Howard Hinnanta6119a82011-05-29 19:57:12336bool operator==(const basic_string<charT,traits,Allocator>& lhs, const charT* rhs) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16337
Howard Hinnant324bb032010-08-22 00:02:43338template<class charT, class traits, class Allocator>
Howard Hinnanta6a062d2010-06-02 18:20:39339bool operator!=(const basic_string<charT,traits,Allocator>& lhs,
Howard Hinnanta6119a82011-05-29 19:57:12340 const basic_string<charT, traits, Allocator>& rhs) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16341
342template<class charT, class traits, class Allocator>
Howard Hinnanta6119a82011-05-29 19:57:12343bool operator!=(const charT* lhs, const basic_string<charT, traits, Allocator>& rhs) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16344
345template<class charT, class traits, class Allocator>
Howard Hinnanta6119a82011-05-29 19:57:12346bool operator!=(const basic_string<charT, traits, Allocator>& lhs, const charT* rhs) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16347
348template<class charT, class traits, class Allocator>
Howard Hinnanta6a062d2010-06-02 18:20:39349bool operator< (const basic_string<charT, traits, Allocator>& lhs,
Howard Hinnanta6119a82011-05-29 19:57:12350 const basic_string<charT, traits, Allocator>& rhs) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16351
352template<class charT, class traits, class Allocator>
Howard Hinnanta6119a82011-05-29 19:57:12353bool operator< (const basic_string<charT, traits, Allocator>& lhs, const charT* rhs) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16354
355template<class charT, class traits, class Allocator>
Howard Hinnanta6119a82011-05-29 19:57:12356bool operator< (const charT* lhs, const basic_string<charT, traits, Allocator>& rhs) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16357
358template<class charT, class traits, class Allocator>
Howard Hinnanta6a062d2010-06-02 18:20:39359bool operator> (const basic_string<charT, traits, Allocator>& lhs,
Howard Hinnanta6119a82011-05-29 19:57:12360 const basic_string<charT, traits, Allocator>& rhs) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16361
362template<class charT, class traits, class Allocator>
Howard Hinnanta6119a82011-05-29 19:57:12363bool operator> (const basic_string<charT, traits, Allocator>& lhs, const charT* rhs) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16364
365template<class charT, class traits, class Allocator>
Howard Hinnanta6119a82011-05-29 19:57:12366bool operator> (const charT* lhs, const basic_string<charT, traits, Allocator>& rhs) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16367
368template<class charT, class traits, class Allocator>
Howard Hinnanta6a062d2010-06-02 18:20:39369bool operator<=(const basic_string<charT, traits, Allocator>& lhs,
Howard Hinnanta6119a82011-05-29 19:57:12370 const basic_string<charT, traits, Allocator>& rhs) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16371
372template<class charT, class traits, class Allocator>
Howard Hinnanta6119a82011-05-29 19:57:12373bool operator<=(const basic_string<charT, traits, Allocator>& lhs, const charT* rhs) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16374
375template<class charT, class traits, class Allocator>
Howard Hinnanta6119a82011-05-29 19:57:12376bool operator<=(const charT* lhs, const basic_string<charT, traits, Allocator>& rhs) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16377
378template<class charT, class traits, class Allocator>
Howard Hinnanta6a062d2010-06-02 18:20:39379bool operator>=(const basic_string<charT, traits, Allocator>& lhs,
Howard Hinnanta6119a82011-05-29 19:57:12380 const basic_string<charT, traits, Allocator>& rhs) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16381
382template<class charT, class traits, class Allocator>
Howard Hinnanta6119a82011-05-29 19:57:12383bool operator>=(const basic_string<charT, traits, Allocator>& lhs, const charT* rhs) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16384
385template<class charT, class traits, class Allocator>
Howard Hinnanta6119a82011-05-29 19:57:12386bool operator>=(const charT* lhs, const basic_string<charT, traits, Allocator>& rhs) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16387
388template<class charT, class traits, class Allocator>
Howard Hinnanta6a062d2010-06-02 18:20:39389void swap(basic_string<charT, traits, Allocator>& lhs,
Howard Hinnant53f7d4c2011-06-03 18:40:47390 basic_string<charT, traits, Allocator>& rhs)
391 noexcept(noexcept(lhs.swap(rhs)));
Howard Hinnantbc8d3f92010-05-11 19:42:16392
393template<class charT, class traits, class Allocator>
394basic_istream<charT, traits>&
395operator>>(basic_istream<charT, traits>& is, basic_string<charT, traits, Allocator>& str);
396
397template<class charT, class traits, class Allocator>
398basic_ostream<charT, traits>&
399operator<<(basic_ostream<charT, traits>& os, const basic_string<charT, traits, Allocator>& str);
400
401template<class charT, class traits, class Allocator>
Howard Hinnant324bb032010-08-22 00:02:43402basic_istream<charT, traits>&
Howard Hinnanta6a062d2010-06-02 18:20:39403getline(basic_istream<charT, traits>& is, basic_string<charT, traits, Allocator>& str,
404 charT delim);
Howard Hinnantbc8d3f92010-05-11 19:42:16405
406template<class charT, class traits, class Allocator>
407basic_istream<charT, traits>&
408getline(basic_istream<charT, traits>& is, basic_string<charT, traits, Allocator>& str);
409
410typedef basic_string<char> string;
411typedef basic_string<wchar_t> wstring;
Howard Hinnanta6a062d2010-06-02 18:20:39412typedef basic_string<char16_t> u16string;
413typedef basic_string<char32_t> u32string;
414
415int stoi (const string& str, size_t* idx = 0, int base = 10);
416long stol (const string& str, size_t* idx = 0, int base = 10);
417unsigned long stoul (const string& str, size_t* idx = 0, int base = 10);
418long long stoll (const string& str, size_t* idx = 0, int base = 10);
419unsigned long long stoull(const string& str, size_t* idx = 0, int base = 10);
420
421float stof (const string& str, size_t* idx = 0);
422double stod (const string& str, size_t* idx = 0);
423long double stold(const string& str, size_t* idx = 0);
424
425string to_string(int val);
426string to_string(unsigned val);
427string to_string(long val);
428string to_string(unsigned long val);
429string to_string(long long val);
430string to_string(unsigned long long val);
431string to_string(float val);
432string to_string(double val);
433string to_string(long double val);
434
435int stoi (const wstring& str, size_t* idx = 0, int base = 10);
436long stol (const wstring& str, size_t* idx = 0, int base = 10);
437unsigned long stoul (const wstring& str, size_t* idx = 0, int base = 10);
438long long stoll (const wstring& str, size_t* idx = 0, int base = 10);
439unsigned long long stoull(const wstring& str, size_t* idx = 0, int base = 10);
440
441float stof (const wstring& str, size_t* idx = 0);
442double stod (const wstring& str, size_t* idx = 0);
443long double stold(const wstring& str, size_t* idx = 0);
444
445wstring to_wstring(int val);
446wstring to_wstring(unsigned val);
447wstring to_wstring(long val);
448wstring to_wstring(unsigned long val);
449wstring to_wstring(long long val);
450wstring to_wstring(unsigned long long val);
451wstring to_wstring(float val);
452wstring to_wstring(double val);
453wstring to_wstring(long double val);
Howard Hinnantbc8d3f92010-05-11 19:42:16454
455template <> struct hash<string>;
456template <> struct hash<u16string>;
457template <> struct hash<u32string>;
458template <> struct hash<wstring>;
459
Marshall Clow15234322013-07-23 17:05:24460basic_string<char> operator "" s( const char *str, size_t len ); // C++14
461basic_string<wchar_t> operator "" s( const wchar_t *str, size_t len ); // C++14
462basic_string<char16_t> operator "" s( const char16_t *str, size_t len ); // C++14
463basic_string<char32_t> operator "" s( const char32_t *str, size_t len ); // C++14
464
Howard Hinnantbc8d3f92010-05-11 19:42:16465} // std
466
467*/
468
469#include <__config>
Marshall Clow1e00d6d2016-07-21 05:31:24470#include <string_view>
Howard Hinnantbc8d3f92010-05-11 19:42:16471#include <iosfwd>
472#include <cstring>
Howard Hinnantadff4892010-05-24 17:49:41473#include <cstdio> // For EOF.
Howard Hinnantbc8d3f92010-05-11 19:42:16474#include <cwchar>
475#include <algorithm>
476#include <iterator>
477#include <utility>
478#include <memory>
479#include <stdexcept>
480#include <type_traits>
481#include <initializer_list>
482#include <__functional_base>
483#ifndef _LIBCPP_HAS_NO_UNICODE_CHARS
484#include <cstdint>
485#endif
Marshall Clow1e00d6d2016-07-21 05:31:24486
Howard Hinnant66c6f972011-11-29 16:45:27487#include <__undef_min_max>
488
Eric Fiselierb9536102014-08-10 23:53:08489#include <__debug>
490
Howard Hinnant08e17472011-10-17 20:05:10491#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
Howard Hinnantbc8d3f92010-05-11 19:42:16492#pragma GCC system_header
Howard Hinnant08e17472011-10-17 20:05:10493#endif
Howard Hinnantbc8d3f92010-05-11 19:42:16494
495_LIBCPP_BEGIN_NAMESPACE_STD
496
497// fpos
498
499template <class _StateT>
Howard Hinnant0f678bd2013-08-12 18:38:34500class _LIBCPP_TYPE_VIS_ONLY fpos
Howard Hinnantbc8d3f92010-05-11 19:42:16501{
502private:
503 _StateT __st_;
504 streamoff __off_;
505public:
506 _LIBCPP_INLINE_VISIBILITY fpos(streamoff __off = streamoff()) : __st_(), __off_(__off) {}
507
508 _LIBCPP_INLINE_VISIBILITY operator streamoff() const {return __off_;}
509
510 _LIBCPP_INLINE_VISIBILITY _StateT state() const {return __st_;}
511 _LIBCPP_INLINE_VISIBILITY void state(_StateT __st) {__st_ = __st;}
512
513 _LIBCPP_INLINE_VISIBILITY fpos& operator+=(streamoff __off) {__off_ += __off; return *this;}
514 _LIBCPP_INLINE_VISIBILITY fpos operator+ (streamoff __off) const {fpos __t(*this); __t += __off; return __t;}
515 _LIBCPP_INLINE_VISIBILITY fpos& operator-=(streamoff __off) {__off_ -= __off; return *this;}
516 _LIBCPP_INLINE_VISIBILITY fpos operator- (streamoff __off) const {fpos __t(*this); __t -= __off; return __t;}
517};
518
519template <class _StateT>
520inline _LIBCPP_INLINE_VISIBILITY
521streamoff operator-(const fpos<_StateT>& __x, const fpos<_StateT>& __y)
522 {return streamoff(__x) - streamoff(__y);}
523
524template <class _StateT>
525inline _LIBCPP_INLINE_VISIBILITY
526bool operator==(const fpos<_StateT>& __x, const fpos<_StateT>& __y)
527 {return streamoff(__x) == streamoff(__y);}
528
529template <class _StateT>
530inline _LIBCPP_INLINE_VISIBILITY
531bool operator!=(const fpos<_StateT>& __x, const fpos<_StateT>& __y)
532 {return streamoff(__x) != streamoff(__y);}
533
Howard Hinnantbc8d3f92010-05-11 19:42:16534// basic_string
535
536template<class _CharT, class _Traits, class _Allocator>
537basic_string<_CharT, _Traits, _Allocator>
Howard Hinnant2b1b2d42011-06-14 19:58:17538operator+(const basic_string<_CharT, _Traits, _Allocator>& __x,
539 const basic_string<_CharT, _Traits, _Allocator>& __y);
Howard Hinnantbc8d3f92010-05-11 19:42:16540
541template<class _CharT, class _Traits, class _Allocator>
542basic_string<_CharT, _Traits, _Allocator>
Howard Hinnant2b1b2d42011-06-14 19:58:17543operator+(const _CharT* __x, const basic_string<_CharT,_Traits,_Allocator>& __y);
Howard Hinnantbc8d3f92010-05-11 19:42:16544
545template<class _CharT, class _Traits, class _Allocator>
546basic_string<_CharT, _Traits, _Allocator>
Howard Hinnant2b1b2d42011-06-14 19:58:17547operator+(_CharT __x, const basic_string<_CharT,_Traits,_Allocator>& __y);
Howard Hinnantbc8d3f92010-05-11 19:42:16548
549template<class _CharT, class _Traits, class _Allocator>
550basic_string<_CharT, _Traits, _Allocator>
Howard Hinnant2b1b2d42011-06-14 19:58:17551operator+(const basic_string<_CharT, _Traits, _Allocator>& __x, const _CharT* __y);
Howard Hinnantbc8d3f92010-05-11 19:42:16552
553template<class _CharT, class _Traits, class _Allocator>
554basic_string<_CharT, _Traits, _Allocator>
Howard Hinnant2b1b2d42011-06-14 19:58:17555operator+(const basic_string<_CharT, _Traits, _Allocator>& __x, _CharT __y);
Howard Hinnantbc8d3f92010-05-11 19:42:16556
557template <bool>
Howard Hinnant0f678bd2013-08-12 18:38:34558class _LIBCPP_TYPE_VIS_ONLY __basic_string_common
Howard Hinnantbc8d3f92010-05-11 19:42:16559{
560protected:
Marshall Clow14c09a22016-08-25 15:09:01561 _LIBCPP_NORETURN void __throw_length_error() const;
562 _LIBCPP_NORETURN void __throw_out_of_range() const;
Howard Hinnantbc8d3f92010-05-11 19:42:16563};
564
565template <bool __b>
566void
567__basic_string_common<__b>::__throw_length_error() const
568{
Marshall Clow14c09a22016-08-25 15:09:01569 _VSTD::__throw_length_error("basic_string");
Howard Hinnantbc8d3f92010-05-11 19:42:16570}
571
572template <bool __b>
573void
574__basic_string_common<__b>::__throw_out_of_range() const
575{
Marshall Clow14c09a22016-08-25 15:09:01576 _VSTD::__throw_out_of_range("basic_string");
Howard Hinnantbc8d3f92010-05-11 19:42:16577}
578
Howard Hinnante9df0a52013-08-01 18:17:34579#ifdef _LIBCPP_MSVC
Howard Hinnant78b68282011-10-22 20:59:45580#pragma warning( push )
581#pragma warning( disable: 4231 )
Howard Hinnante9df0a52013-08-01 18:17:34582#endif // _LIBCPP_MSVC
Eric Fiselier833d6442016-09-15 22:27:07583_LIBCPP_EXTERN_TEMPLATE(class _LIBCPP_EXTERN_TEMPLATE_TYPE_VIS __basic_string_common<true>)
Howard Hinnante9df0a52013-08-01 18:17:34584#ifdef _LIBCPP_MSVC
Howard Hinnant78b68282011-10-22 20:59:45585#pragma warning( pop )
Howard Hinnante9df0a52013-08-01 18:17:34586#endif // _LIBCPP_MSVC
Howard Hinnantbc8d3f92010-05-11 19:42:16587
Marshall Clowdf9db312016-01-13 21:54:34588#ifdef _LIBCPP_NO_EXCEPTIONS
589template <class _Iter>
590struct __libcpp_string_gets_noexcept_iterator_impl : public true_type {};
591#elif defined(_LIBCPP_HAS_NO_NOEXCEPT)
592template <class _Iter>
593struct __libcpp_string_gets_noexcept_iterator_impl : public false_type {};
594#else
595template <class _Iter, bool = __is_forward_iterator<_Iter>::value>
596struct __libcpp_string_gets_noexcept_iterator_impl : public _LIBCPP_BOOL_CONSTANT((
597 noexcept(++(declval<_Iter&>())) &&
598 is_nothrow_assignable<_Iter&, _Iter>::value &&
599 noexcept(declval<_Iter>() == declval<_Iter>()) &&
600 noexcept(*declval<_Iter>())
601)) {};
602
603template <class _Iter>
604struct __libcpp_string_gets_noexcept_iterator_impl<_Iter, false> : public false_type {};
605#endif
606
607
608template <class _Iter>
609struct __libcpp_string_gets_noexcept_iterator
610 : public _LIBCPP_BOOL_CONSTANT(__libcpp_is_trivial_iterator<_Iter>::value || __libcpp_string_gets_noexcept_iterator_impl<_Iter>::value) {};
611
Marshall Clow6ac8de02016-09-24 22:45:42612template <class _CharT, class _Traits, class _Tp>
613struct __can_be_converted_to_string_view : public _LIBCPP_BOOL_CONSTANT(
614( is_convertible<const _Tp&, basic_string_view<_CharT, _Traits> >::value &&
615 !is_convertible<const _Tp&, const _CharT*>::value)) {};
616
Evgeniy Stepanov4f01aa82015-10-13 23:48:28617#ifdef _LIBCPP_ABI_ALTERNATE_STRING_LAYOUT
Howard Hinnant15467182013-04-30 21:44:48618
619template <class _CharT, size_t = sizeof(_CharT)>
620struct __padding
621{
622 unsigned char __xx[sizeof(_CharT)-1];
623};
624
625template <class _CharT>
626struct __padding<_CharT, 1>
627{
628};
629
Evgeniy Stepanov4f01aa82015-10-13 23:48:28630#endif // _LIBCPP_ABI_ALTERNATE_STRING_LAYOUT
Howard Hinnant15467182013-04-30 21:44:48631
Howard Hinnant324bb032010-08-22 00:02:43632template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant0f678bd2013-08-12 18:38:34633class _LIBCPP_TYPE_VIS_ONLY basic_string
Howard Hinnantbc8d3f92010-05-11 19:42:16634 : private __basic_string_common<true>
635{
636public:
637 typedef basic_string __self;
Marshall Clow1e00d6d2016-07-21 05:31:24638 typedef basic_string_view<_CharT, _Traits> __self_view;
Howard Hinnantbc8d3f92010-05-11 19:42:16639 typedef _Traits traits_type;
640 typedef typename traits_type::char_type value_type;
641 typedef _Allocator allocator_type;
Howard Hinnante32b5e22010-11-17 17:55:08642 typedef allocator_traits<allocator_type> __alloc_traits;
643 typedef typename __alloc_traits::size_type size_type;
644 typedef typename __alloc_traits::difference_type difference_type;
Howard Hinnant53f7d4c2011-06-03 18:40:47645 typedef value_type& reference;
646 typedef const value_type& const_reference;
Howard Hinnante32b5e22010-11-17 17:55:08647 typedef typename __alloc_traits::pointer pointer;
648 typedef typename __alloc_traits::const_pointer const_pointer;
Howard Hinnantbc8d3f92010-05-11 19:42:16649
Howard Hinnant499cea12013-08-23 17:37:05650 static_assert(is_pod<value_type>::value, "Character type of basic_string must be a POD");
651 static_assert((is_same<_CharT, value_type>::value),
652 "traits_type::char_type must be the same type as CharT");
653 static_assert((is_same<typename allocator_type::value_type, value_type>::value),
654 "Allocator::value_type must be same type as value_type");
655#if defined(_LIBCPP_RAW_ITERATORS)
Howard Hinnantbc8d3f92010-05-11 19:42:16656 typedef pointer iterator;
657 typedef const_pointer const_iterator;
Howard Hinnant324bb032010-08-22 00:02:43658#else // defined(_LIBCPP_RAW_ITERATORS)
Howard Hinnantbc8d3f92010-05-11 19:42:16659 typedef __wrap_iter<pointer> iterator;
660 typedef __wrap_iter<const_pointer> const_iterator;
Howard Hinnant324bb032010-08-22 00:02:43661#endif // defined(_LIBCPP_RAW_ITERATORS)
Howard Hinnant0949eed2011-06-30 21:18:19662 typedef _VSTD::reverse_iterator<iterator> reverse_iterator;
663 typedef _VSTD::reverse_iterator<const_iterator> const_reverse_iterator;
Howard Hinnantbc8d3f92010-05-11 19:42:16664
665private:
Howard Hinnant15467182013-04-30 21:44:48666
Evgeniy Stepanov4f01aa82015-10-13 23:48:28667#ifdef _LIBCPP_ABI_ALTERNATE_STRING_LAYOUT
Howard Hinnant15467182013-04-30 21:44:48668
669 struct __long
670 {
671 pointer __data_;
672 size_type __size_;
673 size_type __cap_;
674 };
675
676#if _LIBCPP_BIG_ENDIAN
677 enum {__short_mask = 0x01};
678 enum {__long_mask = 0x1ul};
679#else // _LIBCPP_BIG_ENDIAN
680 enum {__short_mask = 0x80};
681 enum {__long_mask = ~(size_type(~0) >> 1)};
682#endif // _LIBCPP_BIG_ENDIAN
683
684 enum {__min_cap = (sizeof(__long) - 1)/sizeof(value_type) > 2 ?
685 (sizeof(__long) - 1)/sizeof(value_type) : 2};
686
687 struct __short
688 {
689 value_type __data_[__min_cap];
690 struct
691 : __padding<value_type>
692 {
693 unsigned char __size_;
694 };
695 };
696
697#else
698
Howard Hinnantbc8d3f92010-05-11 19:42:16699 struct __long
700 {
701 size_type __cap_;
702 size_type __size_;
703 pointer __data_;
704 };
705
706#if _LIBCPP_BIG_ENDIAN
707 enum {__short_mask = 0x80};
708 enum {__long_mask = ~(size_type(~0) >> 1)};
Howard Hinnant324bb032010-08-22 00:02:43709#else // _LIBCPP_BIG_ENDIAN
Howard Hinnantbc8d3f92010-05-11 19:42:16710 enum {__short_mask = 0x01};
Howard Hinnantec3773c2011-12-01 20:21:04711 enum {__long_mask = 0x1ul};
Howard Hinnant324bb032010-08-22 00:02:43712#endif // _LIBCPP_BIG_ENDIAN
Howard Hinnantbc8d3f92010-05-11 19:42:16713
Howard Hinnantbc8d3f92010-05-11 19:42:16714 enum {__min_cap = (sizeof(__long) - 1)/sizeof(value_type) > 2 ?
715 (sizeof(__long) - 1)/sizeof(value_type) : 2};
716
717 struct __short
718 {
719 union
720 {
721 unsigned char __size_;
Howard Hinnant9c0df142012-10-30 19:06:59722 value_type __lx;
Howard Hinnantbc8d3f92010-05-11 19:42:16723 };
724 value_type __data_[__min_cap];
725 };
726
Evgeniy Stepanov4f01aa82015-10-13 23:48:28727#endif // _LIBCPP_ABI_ALTERNATE_STRING_LAYOUT
Howard Hinnant15467182013-04-30 21:44:48728
Howard Hinnant499cea12013-08-23 17:37:05729 union __ulx{__long __lx; __short __lxx;};
Howard Hinnantbc8d3f92010-05-11 19:42:16730
Howard Hinnant499cea12013-08-23 17:37:05731 enum {__n_words = sizeof(__ulx) / sizeof(size_type)};
Howard Hinnantbc8d3f92010-05-11 19:42:16732
733 struct __raw
734 {
735 size_type __words[__n_words];
736 };
737
738 struct __rep
739 {
740 union
741 {
742 __long __l;
743 __short __s;
744 __raw __r;
745 };
746 };
747
748 __compressed_pair<__rep, allocator_type> __r_;
749
Howard Hinnantbc8d3f92010-05-11 19:42:16750public:
751 static const size_type npos = -1;
752
Howard Hinnant53f7d4c2011-06-03 18:40:47753 _LIBCPP_INLINE_VISIBILITY basic_string()
754 _NOEXCEPT_(is_nothrow_default_constructible<allocator_type>::value);
Marshall Clow7b193f72015-06-03 19:56:43755
756 _LIBCPP_INLINE_VISIBILITY explicit basic_string(const allocator_type& __a)
757#if _LIBCPP_STD_VER <= 14
758 _NOEXCEPT_(is_nothrow_copy_constructible<allocator_type>::value);
759#else
760 _NOEXCEPT;
761#endif
762
Howard Hinnantbc8d3f92010-05-11 19:42:16763 basic_string(const basic_string& __str);
764 basic_string(const basic_string& __str, const allocator_type& __a);
Marshall Clow7b193f72015-06-03 19:56:43765
Howard Hinnant73d21a42010-09-04 23:28:19766#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
Howard Hinnant9f193f22011-01-26 00:06:59767 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant53f7d4c2011-06-03 18:40:47768 basic_string(basic_string&& __str)
Marshall Clow7b193f72015-06-03 19:56:43769#if _LIBCPP_STD_VER <= 14
Howard Hinnant53f7d4c2011-06-03 18:40:47770 _NOEXCEPT_(is_nothrow_move_constructible<allocator_type>::value);
Marshall Clow7b193f72015-06-03 19:56:43771#else
772 _NOEXCEPT;
773#endif
774
Howard Hinnant9f193f22011-01-26 00:06:59775 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:16776 basic_string(basic_string&& __str, const allocator_type& __a);
Howard Hinnant73d21a42010-09-04 23:28:19777#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
Howard Hinnant9dcdcde2013-06-28 16:59:19778 _LIBCPP_INLINE_VISIBILITY basic_string(const value_type* __s);
Howard Hinnant2d72b1e2010-12-17 14:46:43779 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant9dcdcde2013-06-28 16:59:19780 basic_string(const value_type* __s, const allocator_type& __a);
Howard Hinnant2d72b1e2010-12-17 14:46:43781 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant9dcdcde2013-06-28 16:59:19782 basic_string(const value_type* __s, size_type __n);
Howard Hinnant2d72b1e2010-12-17 14:46:43783 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant9dcdcde2013-06-28 16:59:19784 basic_string(const value_type* __s, size_type __n, const allocator_type& __a);
Howard Hinnant2d72b1e2010-12-17 14:46:43785 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:16786 basic_string(size_type __n, value_type __c);
Howard Hinnant2d72b1e2010-12-17 14:46:43787 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:16788 basic_string(size_type __n, value_type __c, const allocator_type& __a);
Marshall Clowf4f7d8f2016-04-07 18:13:41789 basic_string(const basic_string& __str, size_type __pos, size_type __n,
790 const allocator_type& __a = allocator_type());
791 _LIBCPP_INLINE_VISIBILITY
792 basic_string(const basic_string& __str, size_type __pos,
Howard Hinnantbc8d3f92010-05-11 19:42:16793 const allocator_type& __a = allocator_type());
Marshall Clowdb7fa112016-11-14 18:22:19794 template<class _Tp>
795 basic_string(const _Tp& __t, size_type __pos, size_type __n,
796 const allocator_type& __a = allocator_type(),
797 typename enable_if<__can_be_converted_to_string_view<_CharT, _Traits, _Tp>::value, void>::type* = 0);
Marshall Clow1e00d6d2016-07-21 05:31:24798 _LIBCPP_INLINE_VISIBILITY explicit
799 basic_string(__self_view __sv);
800 _LIBCPP_INLINE_VISIBILITY
801 basic_string(__self_view __sv, const allocator_type& __a);
Howard Hinnantbc8d3f92010-05-11 19:42:16802 template<class _InputIterator>
Howard Hinnant2d72b1e2010-12-17 14:46:43803 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:16804 basic_string(_InputIterator __first, _InputIterator __last);
805 template<class _InputIterator>
Howard Hinnant2d72b1e2010-12-17 14:46:43806 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:16807 basic_string(_InputIterator __first, _InputIterator __last, const allocator_type& __a);
Howard Hinnante3e32912011-08-12 21:56:02808#ifndef _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
Howard Hinnant2d72b1e2010-12-17 14:46:43809 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:16810 basic_string(initializer_list<value_type> __il);
Howard Hinnant2d72b1e2010-12-17 14:46:43811 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:16812 basic_string(initializer_list<value_type> __il, const allocator_type& __a);
Howard Hinnante3e32912011-08-12 21:56:02813#endif // _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
Howard Hinnantbc8d3f92010-05-11 19:42:16814
Eric Fiselier51eb1d52016-10-31 03:42:50815 inline ~basic_string();
Howard Hinnantbc8d3f92010-05-11 19:42:16816
Marshall Clow1e00d6d2016-07-21 05:31:24817 _LIBCPP_INLINE_VISIBILITY
818 operator __self_view() const _NOEXCEPT { return __self_view(data(), size()); }
819
Howard Hinnante32b5e22010-11-17 17:55:08820 basic_string& operator=(const basic_string& __str);
Marshall Clow1e00d6d2016-07-21 05:31:24821 _LIBCPP_INLINE_VISIBILITY
822 basic_string& operator=(__self_view __sv) {return assign(__sv);}
Howard Hinnant73d21a42010-09-04 23:28:19823#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
Howard Hinnant2d72b1e2010-12-17 14:46:43824 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant53f7d4c2011-06-03 18:40:47825 basic_string& operator=(basic_string&& __str)
Marshall Clowaf961ed2015-08-18 18:57:00826 _NOEXCEPT_((__noexcept_move_assign_container<_Allocator, __alloc_traits>::value));
Howard Hinnantbc8d3f92010-05-11 19:42:16827#endif
Howard Hinnant9dcdcde2013-06-28 16:59:19828 _LIBCPP_INLINE_VISIBILITY basic_string& operator=(const value_type* __s) {return assign(__s);}
Howard Hinnantbc8d3f92010-05-11 19:42:16829 basic_string& operator=(value_type __c);
Howard Hinnante3e32912011-08-12 21:56:02830#ifndef _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
Howard Hinnant8d7a9552010-09-23 17:31:07831 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:16832 basic_string& operator=(initializer_list<value_type> __il) {return assign(__il.begin(), __il.size());}
Howard Hinnante3e32912011-08-12 21:56:02833#endif // _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
Howard Hinnantbc8d3f92010-05-11 19:42:16834
Howard Hinnant499cea12013-08-23 17:37:05835#if _LIBCPP_DEBUG_LEVEL >= 2
836 _LIBCPP_INLINE_VISIBILITY
837 iterator begin() _NOEXCEPT
838 {return iterator(this, __get_pointer());}
839 _LIBCPP_INLINE_VISIBILITY
840 const_iterator begin() const _NOEXCEPT
841 {return const_iterator(this, __get_pointer());}
842 _LIBCPP_INLINE_VISIBILITY
843 iterator end() _NOEXCEPT
844 {return iterator(this, __get_pointer() + size());}
845 _LIBCPP_INLINE_VISIBILITY
846 const_iterator end() const _NOEXCEPT
847 {return const_iterator(this, __get_pointer() + size());}
848#else
Howard Hinnanta6119a82011-05-29 19:57:12849 _LIBCPP_INLINE_VISIBILITY
850 iterator begin() _NOEXCEPT
851 {return iterator(__get_pointer());}
852 _LIBCPP_INLINE_VISIBILITY
853 const_iterator begin() const _NOEXCEPT
Howard Hinnant9dcdcde2013-06-28 16:59:19854 {return const_iterator(__get_pointer());}
Howard Hinnanta6119a82011-05-29 19:57:12855 _LIBCPP_INLINE_VISIBILITY
856 iterator end() _NOEXCEPT
857 {return iterator(__get_pointer() + size());}
858 _LIBCPP_INLINE_VISIBILITY
859 const_iterator end() const _NOEXCEPT
Howard Hinnant9dcdcde2013-06-28 16:59:19860 {return const_iterator(__get_pointer() + size());}
Howard Hinnant499cea12013-08-23 17:37:05861#endif // _LIBCPP_DEBUG_LEVEL >= 2
Howard Hinnanta6119a82011-05-29 19:57:12862 _LIBCPP_INLINE_VISIBILITY
863 reverse_iterator rbegin() _NOEXCEPT
864 {return reverse_iterator(end());}
865 _LIBCPP_INLINE_VISIBILITY
866 const_reverse_iterator rbegin() const _NOEXCEPT
867 {return const_reverse_iterator(end());}
868 _LIBCPP_INLINE_VISIBILITY
869 reverse_iterator rend() _NOEXCEPT
870 {return reverse_iterator(begin());}
871 _LIBCPP_INLINE_VISIBILITY
872 const_reverse_iterator rend() const _NOEXCEPT
873 {return const_reverse_iterator(begin());}
Howard Hinnantbc8d3f92010-05-11 19:42:16874
Howard Hinnanta6119a82011-05-29 19:57:12875 _LIBCPP_INLINE_VISIBILITY
876 const_iterator cbegin() const _NOEXCEPT
877 {return begin();}
878 _LIBCPP_INLINE_VISIBILITY
879 const_iterator cend() const _NOEXCEPT
880 {return end();}
881 _LIBCPP_INLINE_VISIBILITY
882 const_reverse_iterator crbegin() const _NOEXCEPT
883 {return rbegin();}
884 _LIBCPP_INLINE_VISIBILITY
885 const_reverse_iterator crend() const _NOEXCEPT
886 {return rend();}
Howard Hinnantbc8d3f92010-05-11 19:42:16887
Howard Hinnanta6119a82011-05-29 19:57:12888 _LIBCPP_INLINE_VISIBILITY size_type size() const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:16889 {return __is_long() ? __get_long_size() : __get_short_size();}
Howard Hinnanta6119a82011-05-29 19:57:12890 _LIBCPP_INLINE_VISIBILITY size_type length() const _NOEXCEPT {return size();}
891 _LIBCPP_INLINE_VISIBILITY size_type max_size() const _NOEXCEPT;
892 _LIBCPP_INLINE_VISIBILITY size_type capacity() const _NOEXCEPT
Eric Fiseliere2d48922015-08-28 07:02:42893 {return (__is_long() ? __get_long_cap()
894 : static_cast<size_type>(__min_cap)) - 1;}
Howard Hinnantbc8d3f92010-05-11 19:42:16895
896 void resize(size_type __n, value_type __c);
897 _LIBCPP_INLINE_VISIBILITY void resize(size_type __n) {resize(__n, value_type());}
898
899 void reserve(size_type res_arg = 0);
Howard Hinnant8d7a9552010-09-23 17:31:07900 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant53f7d4c2011-06-03 18:40:47901 void shrink_to_fit() _NOEXCEPT {reserve();}
Howard Hinnant2d72b1e2010-12-17 14:46:43902 _LIBCPP_INLINE_VISIBILITY
Howard Hinnanta6119a82011-05-29 19:57:12903 void clear() _NOEXCEPT;
904 _LIBCPP_INLINE_VISIBILITY bool empty() const _NOEXCEPT {return size() == 0;}
Howard Hinnantbc8d3f92010-05-11 19:42:16905
Marshall Clow1e00d6d2016-07-21 05:31:24906 _LIBCPP_INLINE_VISIBILITY const_reference operator[](size_type __pos) const _NOEXCEPT;
907 _LIBCPP_INLINE_VISIBILITY reference operator[](size_type __pos) _NOEXCEPT;
Howard Hinnantbc8d3f92010-05-11 19:42:16908
909 const_reference at(size_type __n) const;
910 reference at(size_type __n);
911
912 _LIBCPP_INLINE_VISIBILITY basic_string& operator+=(const basic_string& __str) {return append(__str);}
Marshall Clow1e00d6d2016-07-21 05:31:24913 _LIBCPP_INLINE_VISIBILITY basic_string& operator+=(__self_view __sv) {return append(__sv);}
914 _LIBCPP_INLINE_VISIBILITY basic_string& operator+=(const value_type* __s) {return append(__s);}
Howard Hinnantbc8d3f92010-05-11 19:42:16915 _LIBCPP_INLINE_VISIBILITY basic_string& operator+=(value_type __c) {push_back(__c); return *this;}
Howard Hinnante3e32912011-08-12 21:56:02916#ifndef _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
Howard Hinnantbc8d3f92010-05-11 19:42:16917 _LIBCPP_INLINE_VISIBILITY basic_string& operator+=(initializer_list<value_type> __il) {return append(__il);}
Howard Hinnante3e32912011-08-12 21:56:02918#endif // _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
Howard Hinnantbc8d3f92010-05-11 19:42:16919
Howard Hinnant2d72b1e2010-12-17 14:46:43920 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:16921 basic_string& append(const basic_string& __str);
Marshall Clow1e00d6d2016-07-21 05:31:24922 _LIBCPP_INLINE_VISIBILITY
923 basic_string& append(__self_view __sv) { return append(__sv.data(), __sv.size()); }
Marshall Clowa93b5e22014-03-04 19:17:19924 basic_string& append(const basic_string& __str, size_type __pos, size_type __n=npos);
Marshall Clow42a87db2016-10-03 23:40:48925 template <class _Tp>
Marshall Clow6ac8de02016-09-24 22:45:42926 typename enable_if
927 <
928 __can_be_converted_to_string_view<_CharT, _Traits, _Tp>::value,
929 basic_string&
930 >::type
931 append(const _Tp& __t, size_type __pos, size_type __n=npos);
Howard Hinnant9dcdcde2013-06-28 16:59:19932 basic_string& append(const value_type* __s, size_type __n);
933 basic_string& append(const value_type* __s);
Howard Hinnantbc8d3f92010-05-11 19:42:16934 basic_string& append(size_type __n, value_type __c);
Eric Fiselier026d38e2016-10-31 02:46:25935 template <class _ForwardIterator>
Eric Fiselierd5b0db52016-10-31 03:40:29936 inline basic_string& __append_forward_unsafe(_ForwardIterator, _ForwardIterator);
Howard Hinnantbc8d3f92010-05-11 19:42:16937 template<class _InputIterator>
938 typename enable_if
939 <
Marshall Clowdf9db312016-01-13 21:54:34940 __is_exactly_input_iterator<_InputIterator>::value
941 || !__libcpp_string_gets_noexcept_iterator<_InputIterator>::value,
Howard Hinnantbc8d3f92010-05-11 19:42:16942 basic_string&
943 >::type
Eric Fiselier026d38e2016-10-31 02:46:25944 _LIBCPP_INLINE_VISIBILITY
945 append(_InputIterator __first, _InputIterator __last) {
946 const basic_string __temp (__first, __last, __alloc());
947 append(__temp.data(), __temp.size());
948 return *this;
949 }
Howard Hinnantbc8d3f92010-05-11 19:42:16950 template<class _ForwardIterator>
951 typename enable_if
952 <
Marshall Clowdf9db312016-01-13 21:54:34953 __is_forward_iterator<_ForwardIterator>::value
954 && __libcpp_string_gets_noexcept_iterator<_ForwardIterator>::value,
Howard Hinnantbc8d3f92010-05-11 19:42:16955 basic_string&
956 >::type
Eric Fiselier026d38e2016-10-31 02:46:25957 _LIBCPP_INLINE_VISIBILITY
958 append(_ForwardIterator __first, _ForwardIterator __last) {
959 return __append_forward_unsafe(__first, __last);
960 }
961
Howard Hinnante3e32912011-08-12 21:56:02962#ifndef _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
Howard Hinnant8d7a9552010-09-23 17:31:07963 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:16964 basic_string& append(initializer_list<value_type> __il) {return append(__il.begin(), __il.size());}
Howard Hinnante3e32912011-08-12 21:56:02965#endif // _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
Howard Hinnantbc8d3f92010-05-11 19:42:16966
967 void push_back(value_type __c);
Howard Hinnant2d72b1e2010-12-17 14:46:43968 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:16969 void pop_back();
Howard Hinnant2d72b1e2010-12-17 14:46:43970 _LIBCPP_INLINE_VISIBILITY reference front();
971 _LIBCPP_INLINE_VISIBILITY const_reference front() const;
972 _LIBCPP_INLINE_VISIBILITY reference back();
973 _LIBCPP_INLINE_VISIBILITY const_reference back() const;
Howard Hinnantbc8d3f92010-05-11 19:42:16974
Howard Hinnant2d72b1e2010-12-17 14:46:43975 _LIBCPP_INLINE_VISIBILITY
Marshall Clow1e00d6d2016-07-21 05:31:24976 basic_string& assign(__self_view __sv) { return assign(__sv.data(), __sv.size()); }
977 _LIBCPP_INLINE_VISIBILITY
Marshall Clowf40ec902016-03-09 18:08:29978 basic_string& assign(const basic_string& __str) { return *this = __str; }
Howard Hinnanta6119a82011-05-29 19:57:12979#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
980 _LIBCPP_INLINE_VISIBILITY
981 basic_string& assign(basic_string&& str)
Marshall Clow7ed093b2015-10-05 16:17:34982 _NOEXCEPT_((__noexcept_move_assign_container<_Allocator, __alloc_traits>::value))
Howard Hinnant0949eed2011-06-30 21:18:19983 {*this = _VSTD::move(str); return *this;}
Howard Hinnanta6119a82011-05-29 19:57:12984#endif
Marshall Clowa93b5e22014-03-04 19:17:19985 basic_string& assign(const basic_string& __str, size_type __pos, size_type __n=npos);
Marshall Clow42a87db2016-10-03 23:40:48986 template <class _Tp>
Marshall Clow6ac8de02016-09-24 22:45:42987 typename enable_if
988 <
989 __can_be_converted_to_string_view<_CharT, _Traits, _Tp>::value,
990 basic_string&
991 >::type
992 assign(const _Tp & __t, size_type pos, size_type n=npos);
Howard Hinnant9dcdcde2013-06-28 16:59:19993 basic_string& assign(const value_type* __s, size_type __n);
994 basic_string& assign(const value_type* __s);
Howard Hinnantbc8d3f92010-05-11 19:42:16995 basic_string& assign(size_type __n, value_type __c);
996 template<class _InputIterator>
997 typename enable_if
998 <
Marshall Clowdf9db312016-01-13 21:54:34999 __is_exactly_input_iterator<_InputIterator>::value
1000 || !__libcpp_string_gets_noexcept_iterator<_InputIterator>::value,
Howard Hinnantbc8d3f92010-05-11 19:42:161001 basic_string&
1002 >::type
1003 assign(_InputIterator __first, _InputIterator __last);
1004 template<class _ForwardIterator>
1005 typename enable_if
1006 <
Marshall Clowdf9db312016-01-13 21:54:341007 __is_forward_iterator<_ForwardIterator>::value
1008 && __libcpp_string_gets_noexcept_iterator<_ForwardIterator>::value,
Howard Hinnantbc8d3f92010-05-11 19:42:161009 basic_string&
1010 >::type
1011 assign(_ForwardIterator __first, _ForwardIterator __last);
Howard Hinnante3e32912011-08-12 21:56:021012#ifndef _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
Howard Hinnant8d7a9552010-09-23 17:31:071013 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161014 basic_string& assign(initializer_list<value_type> __il) {return assign(__il.begin(), __il.size());}
Howard Hinnante3e32912011-08-12 21:56:021015#endif // _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
Howard Hinnantbc8d3f92010-05-11 19:42:161016
Howard Hinnant2d72b1e2010-12-17 14:46:431017 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161018 basic_string& insert(size_type __pos1, const basic_string& __str);
Marshall Clow1e00d6d2016-07-21 05:31:241019 _LIBCPP_INLINE_VISIBILITY
1020 basic_string& insert(size_type __pos1, __self_view __sv) { return insert(__pos1, __sv.data(), __sv.size()); }
Marshall Clow6ac8de02016-09-24 22:45:421021 template <class _Tp>
1022 typename enable_if
1023 <
1024 __can_be_converted_to_string_view<_CharT, _Traits, _Tp>::value,
1025 basic_string&
1026 >::type
1027 insert(size_type __pos1, const _Tp& __t, size_type __pos2, size_type __n=npos);
Marshall Clowa93b5e22014-03-04 19:17:191028 basic_string& insert(size_type __pos1, const basic_string& __str, size_type __pos2, size_type __n=npos);
Howard Hinnant9dcdcde2013-06-28 16:59:191029 basic_string& insert(size_type __pos, const value_type* __s, size_type __n);
1030 basic_string& insert(size_type __pos, const value_type* __s);
Howard Hinnantbc8d3f92010-05-11 19:42:161031 basic_string& insert(size_type __pos, size_type __n, value_type __c);
1032 iterator insert(const_iterator __pos, value_type __c);
Howard Hinnant2d72b1e2010-12-17 14:46:431033 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161034 iterator insert(const_iterator __pos, size_type __n, value_type __c);
1035 template<class _InputIterator>
1036 typename enable_if
1037 <
Marshall Clowdf9db312016-01-13 21:54:341038 __is_exactly_input_iterator<_InputIterator>::value
1039 || !__libcpp_string_gets_noexcept_iterator<_InputIterator>::value,
Howard Hinnantbc8d3f92010-05-11 19:42:161040 iterator
1041 >::type
1042 insert(const_iterator __pos, _InputIterator __first, _InputIterator __last);
1043 template<class _ForwardIterator>
1044 typename enable_if
1045 <
Marshall Clowdf9db312016-01-13 21:54:341046 __is_forward_iterator<_ForwardIterator>::value
1047 && __libcpp_string_gets_noexcept_iterator<_ForwardIterator>::value,
Howard Hinnantbc8d3f92010-05-11 19:42:161048 iterator
1049 >::type
1050 insert(const_iterator __pos, _ForwardIterator __first, _ForwardIterator __last);
Howard Hinnante3e32912011-08-12 21:56:021051#ifndef _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
Howard Hinnant8d7a9552010-09-23 17:31:071052 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161053 iterator insert(const_iterator __pos, initializer_list<value_type> __il)
1054 {return insert(__pos, __il.begin(), __il.end());}
Howard Hinnante3e32912011-08-12 21:56:021055#endif // _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
Howard Hinnantbc8d3f92010-05-11 19:42:161056
1057 basic_string& erase(size_type __pos = 0, size_type __n = npos);
Howard Hinnant2d72b1e2010-12-17 14:46:431058 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161059 iterator erase(const_iterator __pos);
Howard Hinnant2d72b1e2010-12-17 14:46:431060 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161061 iterator erase(const_iterator __first, const_iterator __last);
1062
Howard Hinnant2d72b1e2010-12-17 14:46:431063 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161064 basic_string& replace(size_type __pos1, size_type __n1, const basic_string& __str);
Marshall Clow1e00d6d2016-07-21 05:31:241065 _LIBCPP_INLINE_VISIBILITY
1066 basic_string& replace(size_type __pos1, size_type __n1, __self_view __sv) { return replace(__pos1, __n1, __sv.data(), __sv.size()); }
Marshall Clowa93b5e22014-03-04 19:17:191067 basic_string& replace(size_type __pos1, size_type __n1, const basic_string& __str, size_type __pos2, size_type __n2=npos);
Marshall Clow6ac8de02016-09-24 22:45:421068 template <class _Tp>
1069 typename enable_if
1070 <
1071 __can_be_converted_to_string_view<_CharT, _Traits, _Tp>::value,
1072 basic_string&
1073 >::type
1074 replace(size_type __pos1, size_type __n1, const _Tp& __t, size_type __pos2, size_type __n2=npos);
Howard Hinnant9dcdcde2013-06-28 16:59:191075 basic_string& replace(size_type __pos, size_type __n1, const value_type* __s, size_type __n2);
1076 basic_string& replace(size_type __pos, size_type __n1, const value_type* __s);
Howard Hinnantbc8d3f92010-05-11 19:42:161077 basic_string& replace(size_type __pos, size_type __n1, size_type __n2, value_type __c);
Howard Hinnant2d72b1e2010-12-17 14:46:431078 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant7b2cb482010-11-17 21:11:401079 basic_string& replace(const_iterator __i1, const_iterator __i2, const basic_string& __str);
Howard Hinnant2d72b1e2010-12-17 14:46:431080 _LIBCPP_INLINE_VISIBILITY
Marshall Clow1e00d6d2016-07-21 05:31:241081 basic_string& replace(const_iterator __i1, const_iterator __i2, __self_view __sv) { return replace(__i1 - begin(), __i2 - __i1, __sv); }
1082 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant9dcdcde2013-06-28 16:59:191083 basic_string& replace(const_iterator __i1, const_iterator __i2, const value_type* __s, size_type __n);
Howard Hinnant2d72b1e2010-12-17 14:46:431084 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant9dcdcde2013-06-28 16:59:191085 basic_string& replace(const_iterator __i1, const_iterator __i2, const value_type* __s);
Howard Hinnant2d72b1e2010-12-17 14:46:431086 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant7b2cb482010-11-17 21:11:401087 basic_string& replace(const_iterator __i1, const_iterator __i2, size_type __n, value_type __c);
Howard Hinnantbc8d3f92010-05-11 19:42:161088 template<class _InputIterator>
1089 typename enable_if
1090 <
1091 __is_input_iterator<_InputIterator>::value,
1092 basic_string&
1093 >::type
Howard Hinnant7b2cb482010-11-17 21:11:401094 replace(const_iterator __i1, const_iterator __i2, _InputIterator __j1, _InputIterator __j2);
Howard Hinnante3e32912011-08-12 21:56:021095#ifndef _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
Howard Hinnant8d7a9552010-09-23 17:31:071096 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant7b2cb482010-11-17 21:11:401097 basic_string& replace(const_iterator __i1, const_iterator __i2, initializer_list<value_type> __il)
Howard Hinnantbc8d3f92010-05-11 19:42:161098 {return replace(__i1, __i2, __il.begin(), __il.end());}
Howard Hinnante3e32912011-08-12 21:56:021099#endif // _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
Howard Hinnantbc8d3f92010-05-11 19:42:161100
Howard Hinnant9dcdcde2013-06-28 16:59:191101 size_type copy(value_type* __s, size_type __n, size_type __pos = 0) const;
Howard Hinnant2d72b1e2010-12-17 14:46:431102 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161103 basic_string substr(size_type __pos = 0, size_type __n = npos) const;
1104
Howard Hinnant2d72b1e2010-12-17 14:46:431105 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant53f7d4c2011-06-03 18:40:471106 void swap(basic_string& __str)
Marshall Clow7d914d12015-07-13 20:04:561107#if _LIBCPP_STD_VER >= 14
1108 _NOEXCEPT;
1109#else
1110 _NOEXCEPT_(!__alloc_traits::propagate_on_container_swap::value ||
1111 __is_nothrow_swappable<allocator_type>::value);
1112#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161113
Howard Hinnant2d72b1e2010-12-17 14:46:431114 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant9dcdcde2013-06-28 16:59:191115 const value_type* c_str() const _NOEXCEPT {return data();}
Howard Hinnant2d72b1e2010-12-17 14:46:431116 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant9dcdcde2013-06-28 16:59:191117 const value_type* data() const _NOEXCEPT {return _VSTD::__to_raw_pointer(__get_pointer());}
Marshall Clowf532a702016-03-08 15:44:301118#if _LIBCPP_STD_VER > 14
1119 _LIBCPP_INLINE_VISIBILITY
1120 value_type* data() _NOEXCEPT {return _VSTD::__to_raw_pointer(__get_pointer());}
1121#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161122
Howard Hinnant2d72b1e2010-12-17 14:46:431123 _LIBCPP_INLINE_VISIBILITY
Howard Hinnanta6119a82011-05-29 19:57:121124 allocator_type get_allocator() const _NOEXCEPT {return __alloc();}
Howard Hinnantbc8d3f92010-05-11 19:42:161125
Howard Hinnant2d72b1e2010-12-17 14:46:431126 _LIBCPP_INLINE_VISIBILITY
Howard Hinnanta6119a82011-05-29 19:57:121127 size_type find(const basic_string& __str, size_type __pos = 0) const _NOEXCEPT;
Marshall Clow1e00d6d2016-07-21 05:31:241128 _LIBCPP_INLINE_VISIBILITY
1129 size_type find(__self_view __sv, size_type __pos = 0) const _NOEXCEPT;
Howard Hinnant9dcdcde2013-06-28 16:59:191130 size_type find(const value_type* __s, size_type __pos, size_type __n) const _NOEXCEPT;
Howard Hinnant2d72b1e2010-12-17 14:46:431131 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant9dcdcde2013-06-28 16:59:191132 size_type find(const value_type* __s, size_type __pos = 0) const _NOEXCEPT;
Howard Hinnanta6119a82011-05-29 19:57:121133 size_type find(value_type __c, size_type __pos = 0) const _NOEXCEPT;
Howard Hinnantbc8d3f92010-05-11 19:42:161134
Howard Hinnant2d72b1e2010-12-17 14:46:431135 _LIBCPP_INLINE_VISIBILITY
Howard Hinnanta6119a82011-05-29 19:57:121136 size_type rfind(const basic_string& __str, size_type __pos = npos) const _NOEXCEPT;
Marshall Clow1e00d6d2016-07-21 05:31:241137 _LIBCPP_INLINE_VISIBILITY
1138 size_type rfind(__self_view __sv, size_type __pos = 0) const _NOEXCEPT;
Howard Hinnant9dcdcde2013-06-28 16:59:191139 size_type rfind(const value_type* __s, size_type __pos, size_type __n) const _NOEXCEPT;
Howard Hinnant2d72b1e2010-12-17 14:46:431140 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant9dcdcde2013-06-28 16:59:191141 size_type rfind(const value_type* __s, size_type __pos = npos) const _NOEXCEPT;
Howard Hinnanta6119a82011-05-29 19:57:121142 size_type rfind(value_type __c, size_type __pos = npos) const _NOEXCEPT;
Howard Hinnantbc8d3f92010-05-11 19:42:161143
Howard Hinnant2d72b1e2010-12-17 14:46:431144 _LIBCPP_INLINE_VISIBILITY
Howard Hinnanta6119a82011-05-29 19:57:121145 size_type find_first_of(const basic_string& __str, size_type __pos = 0) const _NOEXCEPT;
Marshall Clow1e00d6d2016-07-21 05:31:241146 _LIBCPP_INLINE_VISIBILITY
1147 size_type find_first_of(__self_view __sv, size_type __pos = 0) const _NOEXCEPT;
Howard Hinnant9dcdcde2013-06-28 16:59:191148 size_type find_first_of(const value_type* __s, size_type __pos, size_type __n) const _NOEXCEPT;
Howard Hinnant2d72b1e2010-12-17 14:46:431149 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant9dcdcde2013-06-28 16:59:191150 size_type find_first_of(const value_type* __s, size_type __pos = 0) const _NOEXCEPT;
Howard Hinnant2d72b1e2010-12-17 14:46:431151 _LIBCPP_INLINE_VISIBILITY
Howard Hinnanta6119a82011-05-29 19:57:121152 size_type find_first_of(value_type __c, size_type __pos = 0) const _NOEXCEPT;
Howard Hinnantbc8d3f92010-05-11 19:42:161153
Howard Hinnant2d72b1e2010-12-17 14:46:431154 _LIBCPP_INLINE_VISIBILITY
Howard Hinnanta6119a82011-05-29 19:57:121155 size_type find_last_of(const basic_string& __str, size_type __pos = npos) const _NOEXCEPT;
Marshall Clow1e00d6d2016-07-21 05:31:241156 _LIBCPP_INLINE_VISIBILITY
1157 size_type find_last_of(__self_view __sv, size_type __pos = 0) const _NOEXCEPT;
Howard Hinnant9dcdcde2013-06-28 16:59:191158 size_type find_last_of(const value_type* __s, size_type __pos, size_type __n) const _NOEXCEPT;
Howard Hinnant2d72b1e2010-12-17 14:46:431159 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant9dcdcde2013-06-28 16:59:191160 size_type find_last_of(const value_type* __s, size_type __pos = npos) const _NOEXCEPT;
Howard Hinnant2d72b1e2010-12-17 14:46:431161 _LIBCPP_INLINE_VISIBILITY
Howard Hinnanta6119a82011-05-29 19:57:121162 size_type find_last_of(value_type __c, size_type __pos = npos) const _NOEXCEPT;
Howard Hinnantbc8d3f92010-05-11 19:42:161163
Howard Hinnant2d72b1e2010-12-17 14:46:431164 _LIBCPP_INLINE_VISIBILITY
Howard Hinnanta6119a82011-05-29 19:57:121165 size_type find_first_not_of(const basic_string& __str, size_type __pos = 0) const _NOEXCEPT;
Marshall Clow1e00d6d2016-07-21 05:31:241166 _LIBCPP_INLINE_VISIBILITY
1167 size_type find_first_not_of(__self_view __sv, size_type __pos = 0) const _NOEXCEPT;
Howard Hinnant9dcdcde2013-06-28 16:59:191168 size_type find_first_not_of(const value_type* __s, size_type __pos, size_type __n) const _NOEXCEPT;
Howard Hinnanta6119a82011-05-29 19:57:121169 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant9dcdcde2013-06-28 16:59:191170 size_type find_first_not_of(const value_type* __s, size_type __pos = 0) const _NOEXCEPT;
Howard Hinnanta6119a82011-05-29 19:57:121171 _LIBCPP_INLINE_VISIBILITY
1172 size_type find_first_not_of(value_type __c, size_type __pos = 0) const _NOEXCEPT;
1173
1174 _LIBCPP_INLINE_VISIBILITY
1175 size_type find_last_not_of(const basic_string& __str, size_type __pos = npos) const _NOEXCEPT;
Marshall Clow1e00d6d2016-07-21 05:31:241176 _LIBCPP_INLINE_VISIBILITY
1177 size_type find_last_not_of(__self_view __sv, size_type __pos = 0) const _NOEXCEPT;
Howard Hinnant9dcdcde2013-06-28 16:59:191178 size_type find_last_not_of(const value_type* __s, size_type __pos, size_type __n) const _NOEXCEPT;
Howard Hinnanta6119a82011-05-29 19:57:121179 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant9dcdcde2013-06-28 16:59:191180 size_type find_last_not_of(const value_type* __s, size_type __pos = npos) const _NOEXCEPT;
Howard Hinnanta6119a82011-05-29 19:57:121181 _LIBCPP_INLINE_VISIBILITY
1182 size_type find_last_not_of(value_type __c, size_type __pos = npos) const _NOEXCEPT;
1183
1184 _LIBCPP_INLINE_VISIBILITY
1185 int compare(const basic_string& __str) const _NOEXCEPT;
Howard Hinnant2d72b1e2010-12-17 14:46:431186 _LIBCPP_INLINE_VISIBILITY
Marshall Clow1e00d6d2016-07-21 05:31:241187 int compare(__self_view __sv) const _NOEXCEPT;
1188 _LIBCPP_INLINE_VISIBILITY
1189 int compare(size_type __pos1, size_type __n1, __self_view __sv) const;
1190 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161191 int compare(size_type __pos1, size_type __n1, const basic_string& __str) const;
Marshall Clowa93b5e22014-03-04 19:17:191192 int compare(size_type __pos1, size_type __n1, const basic_string& __str, size_type __pos2, size_type __n2=npos) const;
Marshall Clow6ac8de02016-09-24 22:45:421193 template <class _Tp>
Eric Fiselier9dbc0532016-10-14 05:29:461194 inline _LIBCPP_INLINE_VISIBILITY
Marshall Clow6ac8de02016-09-24 22:45:421195 typename enable_if
1196 <
1197 __can_be_converted_to_string_view<_CharT, _Traits, _Tp>::value,
1198 int
1199 >::type
1200 compare(size_type __pos1, size_type __n1, const _Tp& __t, size_type __pos2, size_type __n2=npos) const;
Howard Hinnant9dcdcde2013-06-28 16:59:191201 int compare(const value_type* __s) const _NOEXCEPT;
1202 int compare(size_type __pos1, size_type __n1, const value_type* __s) const;
1203 int compare(size_type __pos1, size_type __n1, const value_type* __s, size_type __n2) const;
Howard Hinnantbc8d3f92010-05-11 19:42:161204
Howard Hinnant2d72b1e2010-12-17 14:46:431205 _LIBCPP_INLINE_VISIBILITY bool __invariants() const;
Howard Hinnant08dd2532013-04-22 23:55:131206
1207 _LIBCPP_INLINE_VISIBILITY
1208 bool __is_long() const _NOEXCEPT
1209 {return bool(__r_.first().__s.__size_ & __short_mask);}
1210
Howard Hinnant499cea12013-08-23 17:37:051211#if _LIBCPP_DEBUG_LEVEL >= 2
1212
1213 bool __dereferenceable(const const_iterator* __i) const;
1214 bool __decrementable(const const_iterator* __i) const;
1215 bool __addable(const const_iterator* __i, ptrdiff_t __n) const;
1216 bool __subscriptable(const const_iterator* __i, ptrdiff_t __n) const;
1217
1218#endif // _LIBCPP_DEBUG_LEVEL >= 2
1219
Howard Hinnantbc8d3f92010-05-11 19:42:161220private:
Howard Hinnanta6119a82011-05-29 19:57:121221 _LIBCPP_INLINE_VISIBILITY
1222 allocator_type& __alloc() _NOEXCEPT
1223 {return __r_.second();}
1224 _LIBCPP_INLINE_VISIBILITY
1225 const allocator_type& __alloc() const _NOEXCEPT
1226 {return __r_.second();}
Howard Hinnantbc8d3f92010-05-11 19:42:161227
Evgeniy Stepanov4f01aa82015-10-13 23:48:281228#ifdef _LIBCPP_ABI_ALTERNATE_STRING_LAYOUT
Howard Hinnant15467182013-04-30 21:44:481229
Howard Hinnanta6119a82011-05-29 19:57:121230 _LIBCPP_INLINE_VISIBILITY
Howard Hinnanta6119a82011-05-29 19:57:121231 void __set_short_size(size_type __s) _NOEXCEPT
Howard Hinnant15467182013-04-30 21:44:481232# if _LIBCPP_BIG_ENDIAN
Howard Hinnantbc8d3f92010-05-11 19:42:161233 {__r_.first().__s.__size_ = (unsigned char)(__s << 1);}
Howard Hinnant15467182013-04-30 21:44:481234# else
1235 {__r_.first().__s.__size_ = (unsigned char)(__s);}
1236# endif
1237
Howard Hinnanta6119a82011-05-29 19:57:121238 _LIBCPP_INLINE_VISIBILITY
1239 size_type __get_short_size() const _NOEXCEPT
Howard Hinnant15467182013-04-30 21:44:481240# if _LIBCPP_BIG_ENDIAN
Howard Hinnantbc8d3f92010-05-11 19:42:161241 {return __r_.first().__s.__size_ >> 1;}
Howard Hinnant15467182013-04-30 21:44:481242# else
1243 {return __r_.first().__s.__size_;}
1244# endif
1245
Evgeniy Stepanov4f01aa82015-10-13 23:48:281246#else // _LIBCPP_ABI_ALTERNATE_STRING_LAYOUT
Howard Hinnant15467182013-04-30 21:44:481247
1248 _LIBCPP_INLINE_VISIBILITY
1249 void __set_short_size(size_type __s) _NOEXCEPT
1250# if _LIBCPP_BIG_ENDIAN
1251 {__r_.first().__s.__size_ = (unsigned char)(__s);}
1252# else
1253 {__r_.first().__s.__size_ = (unsigned char)(__s << 1);}
1254# endif
1255
1256 _LIBCPP_INLINE_VISIBILITY
1257 size_type __get_short_size() const _NOEXCEPT
1258# if _LIBCPP_BIG_ENDIAN
1259 {return __r_.first().__s.__size_;}
1260# else
1261 {return __r_.first().__s.__size_ >> 1;}
1262# endif
1263
Evgeniy Stepanov4f01aa82015-10-13 23:48:281264#endif // _LIBCPP_ABI_ALTERNATE_STRING_LAYOUT
Howard Hinnant15467182013-04-30 21:44:481265
Howard Hinnanta6119a82011-05-29 19:57:121266 _LIBCPP_INLINE_VISIBILITY
1267 void __set_long_size(size_type __s) _NOEXCEPT
1268 {__r_.first().__l.__size_ = __s;}
1269 _LIBCPP_INLINE_VISIBILITY
1270 size_type __get_long_size() const _NOEXCEPT
1271 {return __r_.first().__l.__size_;}
1272 _LIBCPP_INLINE_VISIBILITY
1273 void __set_size(size_type __s) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161274 {if (__is_long()) __set_long_size(__s); else __set_short_size(__s);}
1275
Howard Hinnanta6119a82011-05-29 19:57:121276 _LIBCPP_INLINE_VISIBILITY
1277 void __set_long_cap(size_type __s) _NOEXCEPT
1278 {__r_.first().__l.__cap_ = __long_mask | __s;}
1279 _LIBCPP_INLINE_VISIBILITY
1280 size_type __get_long_cap() const _NOEXCEPT
Howard Hinnantec3773c2011-12-01 20:21:041281 {return __r_.first().__l.__cap_ & size_type(~__long_mask);}
Howard Hinnantbc8d3f92010-05-11 19:42:161282
Howard Hinnanta6119a82011-05-29 19:57:121283 _LIBCPP_INLINE_VISIBILITY
1284 void __set_long_pointer(pointer __p) _NOEXCEPT
1285 {__r_.first().__l.__data_ = __p;}
1286 _LIBCPP_INLINE_VISIBILITY
1287 pointer __get_long_pointer() _NOEXCEPT
1288 {return __r_.first().__l.__data_;}
1289 _LIBCPP_INLINE_VISIBILITY
1290 const_pointer __get_long_pointer() const _NOEXCEPT
1291 {return __r_.first().__l.__data_;}
1292 _LIBCPP_INLINE_VISIBILITY
1293 pointer __get_short_pointer() _NOEXCEPT
Howard Hinnant9dcdcde2013-06-28 16:59:191294 {return pointer_traits<pointer>::pointer_to(__r_.first().__s.__data_[0]);}
Howard Hinnanta6119a82011-05-29 19:57:121295 _LIBCPP_INLINE_VISIBILITY
1296 const_pointer __get_short_pointer() const _NOEXCEPT
Howard Hinnant9dcdcde2013-06-28 16:59:191297 {return pointer_traits<const_pointer>::pointer_to(__r_.first().__s.__data_[0]);}
Howard Hinnanta6119a82011-05-29 19:57:121298 _LIBCPP_INLINE_VISIBILITY
1299 pointer __get_pointer() _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161300 {return __is_long() ? __get_long_pointer() : __get_short_pointer();}
Howard Hinnanta6119a82011-05-29 19:57:121301 _LIBCPP_INLINE_VISIBILITY
1302 const_pointer __get_pointer() const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161303 {return __is_long() ? __get_long_pointer() : __get_short_pointer();}
1304
Howard Hinnanta6119a82011-05-29 19:57:121305 _LIBCPP_INLINE_VISIBILITY
1306 void __zero() _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161307 {
1308 size_type (&__a)[__n_words] = __r_.first().__r.__words;
1309 for (unsigned __i = 0; __i < __n_words; ++__i)
1310 __a[__i] = 0;
1311 }
1312
1313 template <size_type __a> static
Howard Hinnanta6119a82011-05-29 19:57:121314 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant7f764502013-08-14 18:00:201315 size_type __align_it(size_type __s) _NOEXCEPT
Eric Fiseliere2d48922015-08-28 07:02:421316 {return (__s + (__a-1)) & ~(__a-1);}
Howard Hinnantbc8d3f92010-05-11 19:42:161317 enum {__alignment = 16};
Howard Hinnanta6119a82011-05-29 19:57:121318 static _LIBCPP_INLINE_VISIBILITY
1319 size_type __recommend(size_type __s) _NOEXCEPT
Eric Fiseliere2d48922015-08-28 07:02:421320 {return (__s < __min_cap ? static_cast<size_type>(__min_cap) :
Howard Hinnant7f764502013-08-14 18:00:201321 __align_it<sizeof(value_type) < __alignment ?
Howard Hinnanta6119a82011-05-29 19:57:121322 __alignment/sizeof(value_type) : 1 > (__s+1)) - 1;}
Howard Hinnantbc8d3f92010-05-11 19:42:161323
Eric Fiselier6dbed462016-09-16 00:00:481324 inline _LIBCPP_EXTERN_TEMPLATE_INLINE_VISIBILITY
Howard Hinnant9dcdcde2013-06-28 16:59:191325 void __init(const value_type* __s, size_type __sz, size_type __reserve);
Eric Fiselier6dbed462016-09-16 00:00:481326 inline _LIBCPP_EXTERN_TEMPLATE_INLINE_VISIBILITY
Howard Hinnant9dcdcde2013-06-28 16:59:191327 void __init(const value_type* __s, size_type __sz);
Eric Fiselier6dbed462016-09-16 00:00:481328 inline _LIBCPP_EXTERN_TEMPLATE_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161329 void __init(size_type __n, value_type __c);
Howard Hinnant324bb032010-08-22 00:02:431330
Howard Hinnantbc8d3f92010-05-11 19:42:161331 template <class _InputIterator>
Eric Fiselier6dbed462016-09-16 00:00:481332 inline _LIBCPP_EXTERN_TEMPLATE_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161333 typename enable_if
1334 <
Marshall Clowdf9db312016-01-13 21:54:341335 __is_exactly_input_iterator<_InputIterator>::value,
Howard Hinnantbc8d3f92010-05-11 19:42:161336 void
1337 >::type
1338 __init(_InputIterator __first, _InputIterator __last);
1339
1340 template <class _ForwardIterator>
Eric Fiselier6dbed462016-09-16 00:00:481341 inline _LIBCPP_EXTERN_TEMPLATE_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161342 typename enable_if
1343 <
1344 __is_forward_iterator<_ForwardIterator>::value,
1345 void
1346 >::type
1347 __init(_ForwardIterator __first, _ForwardIterator __last);
1348
1349 void __grow_by(size_type __old_cap, size_type __delta_cap, size_type __old_sz,
Howard Hinnant324bb032010-08-22 00:02:431350 size_type __n_copy, size_type __n_del, size_type __n_add = 0);
Howard Hinnantbc8d3f92010-05-11 19:42:161351 void __grow_by_and_replace(size_type __old_cap, size_type __delta_cap, size_type __old_sz,
1352 size_type __n_copy, size_type __n_del,
Howard Hinnant9dcdcde2013-06-28 16:59:191353 size_type __n_add, const value_type* __p_new_stuff);
Howard Hinnantbc8d3f92010-05-11 19:42:161354
Howard Hinnant2d72b1e2010-12-17 14:46:431355 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161356 void __erase_to_end(size_type __pos);
1357
Howard Hinnante32b5e22010-11-17 17:55:081358 _LIBCPP_INLINE_VISIBILITY
1359 void __copy_assign_alloc(const basic_string& __str)
1360 {__copy_assign_alloc(__str, integral_constant<bool,
1361 __alloc_traits::propagate_on_container_copy_assignment::value>());}
1362
1363 _LIBCPP_INLINE_VISIBILITY
1364 void __copy_assign_alloc(const basic_string& __str, true_type)
1365 {
1366 if (__alloc() != __str.__alloc())
1367 {
1368 clear();
1369 shrink_to_fit();
1370 }
1371 __alloc() = __str.__alloc();
1372 }
1373
1374 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantec3773c2011-12-01 20:21:041375 void __copy_assign_alloc(const basic_string&, false_type) _NOEXCEPT
Howard Hinnante32b5e22010-11-17 17:55:081376 {}
1377
1378#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
Howard Hinnant2d72b1e2010-12-17 14:46:431379 _LIBCPP_INLINE_VISIBILITY
Marshall Clowaf961ed2015-08-18 18:57:001380 void __move_assign(basic_string& __str, false_type)
1381 _NOEXCEPT_(__alloc_traits::is_always_equal::value);
Howard Hinnant2d72b1e2010-12-17 14:46:431382 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant53f7d4c2011-06-03 18:40:471383 void __move_assign(basic_string& __str, true_type)
Marshall Clowaf961ed2015-08-18 18:57:001384#if _LIBCPP_STD_VER > 14
1385 _NOEXCEPT;
1386#else
Howard Hinnant53f7d4c2011-06-03 18:40:471387 _NOEXCEPT_(is_nothrow_move_assignable<allocator_type>::value);
Howard Hinnante32b5e22010-11-17 17:55:081388#endif
Marshall Clowaf961ed2015-08-18 18:57:001389#endif
Howard Hinnante32b5e22010-11-17 17:55:081390
1391 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant3fdbbd22011-08-17 20:36:181392 void
Howard Hinnant9cbee432011-09-02 20:42:311393 __move_assign_alloc(basic_string& __str)
Howard Hinnant3fdbbd22011-08-17 20:36:181394 _NOEXCEPT_(
1395 !__alloc_traits::propagate_on_container_move_assignment::value ||
1396 is_nothrow_move_assignable<allocator_type>::value)
1397 {__move_assign_alloc(__str, integral_constant<bool,
1398 __alloc_traits::propagate_on_container_move_assignment::value>());}
1399
1400 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant9cbee432011-09-02 20:42:311401 void __move_assign_alloc(basic_string& __c, true_type)
Howard Hinnant3fdbbd22011-08-17 20:36:181402 _NOEXCEPT_(is_nothrow_move_assignable<allocator_type>::value)
1403 {
1404 __alloc() = _VSTD::move(__c.__alloc());
1405 }
1406
1407 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantec3773c2011-12-01 20:21:041408 void __move_assign_alloc(basic_string&, false_type)
Howard Hinnant3fdbbd22011-08-17 20:36:181409 _NOEXCEPT
1410 {}
1411
Howard Hinnant2d72b1e2010-12-17 14:46:431412 _LIBCPP_INLINE_VISIBILITY void __invalidate_all_iterators();
1413 _LIBCPP_INLINE_VISIBILITY void __invalidate_iterators_past(size_type);
Howard Hinnantbc8d3f92010-05-11 19:42:161414
1415 friend basic_string operator+<>(const basic_string&, const basic_string&);
1416 friend basic_string operator+<>(const value_type*, const basic_string&);
1417 friend basic_string operator+<>(value_type, const basic_string&);
1418 friend basic_string operator+<>(const basic_string&, const value_type*);
1419 friend basic_string operator+<>(const basic_string&, value_type);
1420};
1421
1422template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:001423inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161424void
1425basic_string<_CharT, _Traits, _Allocator>::__invalidate_all_iterators()
1426{
Howard Hinnant499cea12013-08-23 17:37:051427#if _LIBCPP_DEBUG_LEVEL >= 2
1428 __get_db()->__invalidate_all(this);
1429#endif // _LIBCPP_DEBUG_LEVEL >= 2
Howard Hinnantbc8d3f92010-05-11 19:42:161430}
1431
1432template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:001433inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161434void
Howard Hinnantec3773c2011-12-01 20:21:041435basic_string<_CharT, _Traits, _Allocator>::__invalidate_iterators_past(size_type
Howard Hinnant499cea12013-08-23 17:37:051436#if _LIBCPP_DEBUG_LEVEL >= 2
Howard Hinnantec3773c2011-12-01 20:21:041437 __pos
1438#endif
1439 )
Howard Hinnantbc8d3f92010-05-11 19:42:161440{
Howard Hinnant499cea12013-08-23 17:37:051441#if _LIBCPP_DEBUG_LEVEL >= 2
1442 __c_node* __c = __get_db()->__find_c_and_lock(this);
1443 if (__c)
Howard Hinnantbc8d3f92010-05-11 19:42:161444 {
Howard Hinnant499cea12013-08-23 17:37:051445 const_pointer __new_last = __get_pointer() + __pos;
1446 for (__i_node** __p = __c->end_; __p != __c->beg_; )
Howard Hinnantbc8d3f92010-05-11 19:42:161447 {
Howard Hinnant499cea12013-08-23 17:37:051448 --__p;
1449 const_iterator* __i = static_cast<const_iterator*>((*__p)->__i_);
1450 if (__i->base() > __new_last)
Howard Hinnantbc8d3f92010-05-11 19:42:161451 {
Howard Hinnant499cea12013-08-23 17:37:051452 (*__p)->__c_ = nullptr;
1453 if (--__c->end_ != __p)
1454 memmove(__p, __p+1, (__c->end_ - __p)*sizeof(__i_node*));
Howard Hinnantbc8d3f92010-05-11 19:42:161455 }
Howard Hinnantbc8d3f92010-05-11 19:42:161456 }
Howard Hinnant499cea12013-08-23 17:37:051457 __get_db()->unlock();
Howard Hinnantbc8d3f92010-05-11 19:42:161458 }
Howard Hinnant499cea12013-08-23 17:37:051459#endif // _LIBCPP_DEBUG_LEVEL >= 2
Howard Hinnantbc8d3f92010-05-11 19:42:161460}
1461
1462template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:001463inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant53f7d4c2011-06-03 18:40:471464basic_string<_CharT, _Traits, _Allocator>::basic_string()
Marshall Clowc912c0c2015-06-04 02:05:411465 _NOEXCEPT_(is_nothrow_default_constructible<allocator_type>::value)
Howard Hinnantbc8d3f92010-05-11 19:42:161466{
Howard Hinnant499cea12013-08-23 17:37:051467#if _LIBCPP_DEBUG_LEVEL >= 2
1468 __get_db()->__insert_c(this);
1469#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161470 __zero();
1471}
1472
1473template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:001474inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161475basic_string<_CharT, _Traits, _Allocator>::basic_string(const allocator_type& __a)
Eric Fiselier692177d2015-07-18 20:40:461476#if _LIBCPP_STD_VER <= 14
1477 _NOEXCEPT_(is_nothrow_copy_constructible<allocator_type>::value)
1478#else
1479 _NOEXCEPT
1480#endif
1481: __r_(__a)
Howard Hinnantbc8d3f92010-05-11 19:42:161482{
Howard Hinnant499cea12013-08-23 17:37:051483#if _LIBCPP_DEBUG_LEVEL >= 2
1484 __get_db()->__insert_c(this);
1485#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161486 __zero();
1487}
1488
1489template <class _CharT, class _Traits, class _Allocator>
Eric Fiselier6dbed462016-09-16 00:00:481490void basic_string<_CharT, _Traits, _Allocator>::__init(const value_type* __s,
1491 size_type __sz,
1492 size_type __reserve)
Howard Hinnantbc8d3f92010-05-11 19:42:161493{
1494 if (__reserve > max_size())
1495 this->__throw_length_error();
1496 pointer __p;
1497 if (__reserve < __min_cap)
1498 {
1499 __set_short_size(__sz);
1500 __p = __get_short_pointer();
1501 }
1502 else
1503 {
1504 size_type __cap = __recommend(__reserve);
Howard Hinnante32b5e22010-11-17 17:55:081505 __p = __alloc_traits::allocate(__alloc(), __cap+1);
Howard Hinnantbc8d3f92010-05-11 19:42:161506 __set_long_pointer(__p);
1507 __set_long_cap(__cap+1);
1508 __set_long_size(__sz);
1509 }
Howard Hinnant9dcdcde2013-06-28 16:59:191510 traits_type::copy(_VSTD::__to_raw_pointer(__p), __s, __sz);
Howard Hinnantbc8d3f92010-05-11 19:42:161511 traits_type::assign(__p[__sz], value_type());
1512}
1513
1514template <class _CharT, class _Traits, class _Allocator>
1515void
Howard Hinnant9dcdcde2013-06-28 16:59:191516basic_string<_CharT, _Traits, _Allocator>::__init(const value_type* __s, size_type __sz)
Howard Hinnantbc8d3f92010-05-11 19:42:161517{
1518 if (__sz > max_size())
1519 this->__throw_length_error();
1520 pointer __p;
1521 if (__sz < __min_cap)
1522 {
1523 __set_short_size(__sz);
1524 __p = __get_short_pointer();
1525 }
1526 else
1527 {
1528 size_type __cap = __recommend(__sz);
Howard Hinnante32b5e22010-11-17 17:55:081529 __p = __alloc_traits::allocate(__alloc(), __cap+1);
Howard Hinnantbc8d3f92010-05-11 19:42:161530 __set_long_pointer(__p);
1531 __set_long_cap(__cap+1);
1532 __set_long_size(__sz);
1533 }
Howard Hinnant9dcdcde2013-06-28 16:59:191534 traits_type::copy(_VSTD::__to_raw_pointer(__p), __s, __sz);
Howard Hinnantbc8d3f92010-05-11 19:42:161535 traits_type::assign(__p[__sz], value_type());
1536}
1537
1538template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:001539inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant9dcdcde2013-06-28 16:59:191540basic_string<_CharT, _Traits, _Allocator>::basic_string(const value_type* __s)
Howard Hinnantbc8d3f92010-05-11 19:42:161541{
Howard Hinnant499cea12013-08-23 17:37:051542 _LIBCPP_ASSERT(__s != nullptr, "basic_string(const char*) detected nullptr");
Howard Hinnantbc8d3f92010-05-11 19:42:161543 __init(__s, traits_type::length(__s));
Howard Hinnant499cea12013-08-23 17:37:051544#if _LIBCPP_DEBUG_LEVEL >= 2
1545 __get_db()->__insert_c(this);
1546#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161547}
1548
1549template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:001550inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant9dcdcde2013-06-28 16:59:191551basic_string<_CharT, _Traits, _Allocator>::basic_string(const value_type* __s, const allocator_type& __a)
Howard Hinnantbc8d3f92010-05-11 19:42:161552 : __r_(__a)
1553{
Howard Hinnant499cea12013-08-23 17:37:051554 _LIBCPP_ASSERT(__s != nullptr, "basic_string(const char*, allocator) detected nullptr");
Howard Hinnantbc8d3f92010-05-11 19:42:161555 __init(__s, traits_type::length(__s));
Howard Hinnant499cea12013-08-23 17:37:051556#if _LIBCPP_DEBUG_LEVEL >= 2
1557 __get_db()->__insert_c(this);
1558#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161559}
1560
1561template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:001562inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant9dcdcde2013-06-28 16:59:191563basic_string<_CharT, _Traits, _Allocator>::basic_string(const value_type* __s, size_type __n)
Howard Hinnantbc8d3f92010-05-11 19:42:161564{
Howard Hinnant499cea12013-08-23 17:37:051565 _LIBCPP_ASSERT(__n == 0 || __s != nullptr, "basic_string(const char*, n) detected nullptr");
Howard Hinnantbc8d3f92010-05-11 19:42:161566 __init(__s, __n);
Howard Hinnant499cea12013-08-23 17:37:051567#if _LIBCPP_DEBUG_LEVEL >= 2
1568 __get_db()->__insert_c(this);
1569#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161570}
1571
1572template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:001573inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant9dcdcde2013-06-28 16:59:191574basic_string<_CharT, _Traits, _Allocator>::basic_string(const value_type* __s, size_type __n, const allocator_type& __a)
Howard Hinnantbc8d3f92010-05-11 19:42:161575 : __r_(__a)
1576{
Howard Hinnant499cea12013-08-23 17:37:051577 _LIBCPP_ASSERT(__n == 0 || __s != nullptr, "basic_string(const char*, n, allocator) detected nullptr");
Howard Hinnantbc8d3f92010-05-11 19:42:161578 __init(__s, __n);
Howard Hinnant499cea12013-08-23 17:37:051579#if _LIBCPP_DEBUG_LEVEL >= 2
1580 __get_db()->__insert_c(this);
1581#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161582}
1583
1584template <class _CharT, class _Traits, class _Allocator>
1585basic_string<_CharT, _Traits, _Allocator>::basic_string(const basic_string& __str)
Howard Hinnante32b5e22010-11-17 17:55:081586 : __r_(__alloc_traits::select_on_container_copy_construction(__str.__alloc()))
Howard Hinnantbc8d3f92010-05-11 19:42:161587{
1588 if (!__str.__is_long())
1589 __r_.first().__r = __str.__r_.first().__r;
1590 else
Howard Hinnant9dcdcde2013-06-28 16:59:191591 __init(_VSTD::__to_raw_pointer(__str.__get_long_pointer()), __str.__get_long_size());
Howard Hinnant499cea12013-08-23 17:37:051592#if _LIBCPP_DEBUG_LEVEL >= 2
1593 __get_db()->__insert_c(this);
1594#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161595}
1596
1597template <class _CharT, class _Traits, class _Allocator>
1598basic_string<_CharT, _Traits, _Allocator>::basic_string(const basic_string& __str, const allocator_type& __a)
1599 : __r_(__a)
1600{
1601 if (!__str.__is_long())
1602 __r_.first().__r = __str.__r_.first().__r;
1603 else
Howard Hinnant9dcdcde2013-06-28 16:59:191604 __init(_VSTD::__to_raw_pointer(__str.__get_long_pointer()), __str.__get_long_size());
Howard Hinnant499cea12013-08-23 17:37:051605#if _LIBCPP_DEBUG_LEVEL >= 2
1606 __get_db()->__insert_c(this);
1607#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161608}
1609
Howard Hinnant73d21a42010-09-04 23:28:191610#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
Howard Hinnantbc8d3f92010-05-11 19:42:161611
1612template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:001613inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant53f7d4c2011-06-03 18:40:471614basic_string<_CharT, _Traits, _Allocator>::basic_string(basic_string&& __str)
Marshall Clow7b193f72015-06-03 19:56:431615#if _LIBCPP_STD_VER <= 14
Howard Hinnant53f7d4c2011-06-03 18:40:471616 _NOEXCEPT_(is_nothrow_move_constructible<allocator_type>::value)
Marshall Clow7b193f72015-06-03 19:56:431617#else
1618 _NOEXCEPT
1619#endif
Howard Hinnant0949eed2011-06-30 21:18:191620 : __r_(_VSTD::move(__str.__r_))
Howard Hinnantbc8d3f92010-05-11 19:42:161621{
1622 __str.__zero();
Howard Hinnant499cea12013-08-23 17:37:051623#if _LIBCPP_DEBUG_LEVEL >= 2
1624 __get_db()->__insert_c(this);
1625 if (__is_long())
1626 __get_db()->swap(this, &__str);
Howard Hinnantbc8d3f92010-05-11 19:42:161627#endif
1628}
1629
1630template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:001631inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161632basic_string<_CharT, _Traits, _Allocator>::basic_string(basic_string&& __str, const allocator_type& __a)
Howard Hinnante32b5e22010-11-17 17:55:081633 : __r_(__a)
Howard Hinnantbc8d3f92010-05-11 19:42:161634{
Marshall Clowd5549cc2014-07-17 15:32:201635 if (__str.__is_long() && __a != __str.__alloc()) // copy, not move
Howard Hinnant9dcdcde2013-06-28 16:59:191636 __init(_VSTD::__to_raw_pointer(__str.__get_long_pointer()), __str.__get_long_size());
Marshall Clowd5549cc2014-07-17 15:32:201637 else
1638 {
1639 __r_.first().__r = __str.__r_.first().__r;
1640 __str.__zero();
1641 }
Howard Hinnant499cea12013-08-23 17:37:051642#if _LIBCPP_DEBUG_LEVEL >= 2
1643 __get_db()->__insert_c(this);
1644 if (__is_long())
1645 __get_db()->swap(this, &__str);
Howard Hinnantbc8d3f92010-05-11 19:42:161646#endif
1647}
1648
Howard Hinnant73d21a42010-09-04 23:28:191649#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
Howard Hinnantbc8d3f92010-05-11 19:42:161650
1651template <class _CharT, class _Traits, class _Allocator>
1652void
1653basic_string<_CharT, _Traits, _Allocator>::__init(size_type __n, value_type __c)
1654{
1655 if (__n > max_size())
1656 this->__throw_length_error();
1657 pointer __p;
1658 if (__n < __min_cap)
1659 {
1660 __set_short_size(__n);
1661 __p = __get_short_pointer();
1662 }
1663 else
1664 {
1665 size_type __cap = __recommend(__n);
Howard Hinnante32b5e22010-11-17 17:55:081666 __p = __alloc_traits::allocate(__alloc(), __cap+1);
Howard Hinnantbc8d3f92010-05-11 19:42:161667 __set_long_pointer(__p);
1668 __set_long_cap(__cap+1);
1669 __set_long_size(__n);
1670 }
Howard Hinnant9dcdcde2013-06-28 16:59:191671 traits_type::assign(_VSTD::__to_raw_pointer(__p), __n, __c);
Howard Hinnantbc8d3f92010-05-11 19:42:161672 traits_type::assign(__p[__n], value_type());
1673}
1674
1675template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:001676inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161677basic_string<_CharT, _Traits, _Allocator>::basic_string(size_type __n, value_type __c)
1678{
1679 __init(__n, __c);
Howard Hinnant499cea12013-08-23 17:37:051680#if _LIBCPP_DEBUG_LEVEL >= 2
1681 __get_db()->__insert_c(this);
1682#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161683}
1684
1685template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:001686inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161687basic_string<_CharT, _Traits, _Allocator>::basic_string(size_type __n, value_type __c, const allocator_type& __a)
1688 : __r_(__a)
1689{
1690 __init(__n, __c);
Howard Hinnant499cea12013-08-23 17:37:051691#if _LIBCPP_DEBUG_LEVEL >= 2
1692 __get_db()->__insert_c(this);
1693#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161694}
1695
Howard Hinnantbc8d3f92010-05-11 19:42:161696template <class _CharT, class _Traits, class _Allocator>
1697basic_string<_CharT, _Traits, _Allocator>::basic_string(const basic_string& __str, size_type __pos, size_type __n,
1698 const allocator_type& __a)
1699 : __r_(__a)
1700{
1701 size_type __str_sz = __str.size();
1702 if (__pos > __str_sz)
1703 this->__throw_out_of_range();
Howard Hinnant0949eed2011-06-30 21:18:191704 __init(__str.data() + __pos, _VSTD::min(__n, __str_sz - __pos));
Howard Hinnant499cea12013-08-23 17:37:051705#if _LIBCPP_DEBUG_LEVEL >= 2
1706 __get_db()->__insert_c(this);
1707#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161708}
1709
1710template <class _CharT, class _Traits, class _Allocator>
Marshall Clowf4f7d8f2016-04-07 18:13:411711inline _LIBCPP_INLINE_VISIBILITY
1712basic_string<_CharT, _Traits, _Allocator>::basic_string(const basic_string& __str, size_type __pos,
1713 const allocator_type& __a)
1714 : __r_(__a)
1715{
1716 size_type __str_sz = __str.size();
1717 if (__pos > __str_sz)
1718 this->__throw_out_of_range();
1719 __init(__str.data() + __pos, __str_sz - __pos);
1720#if _LIBCPP_DEBUG_LEVEL >= 2
1721 __get_db()->__insert_c(this);
1722#endif
1723}
1724
1725template <class _CharT, class _Traits, class _Allocator>
Marshall Clowdb7fa112016-11-14 18:22:191726template <class _Tp>
1727basic_string<_CharT, _Traits, _Allocator>::basic_string(
1728 const _Tp& __t, size_type __pos, size_type __n, const allocator_type& __a,
1729 typename enable_if<__can_be_converted_to_string_view<_CharT, _Traits, _Tp>::value, void>::type *)
1730 : __r_(__a)
1731{
1732__self_view __sv = __self_view(__t).substr(__pos, __n);
1733 __init(__sv.data(), __sv.size());
1734#if _LIBCPP_DEBUG_LEVEL >= 2
1735 __get_db()->__insert_c(this);
1736#endif
1737}
1738
1739template <class _CharT, class _Traits, class _Allocator>
Marshall Clow1e00d6d2016-07-21 05:31:241740inline _LIBCPP_INLINE_VISIBILITY
1741basic_string<_CharT, _Traits, _Allocator>::basic_string(__self_view __sv)
1742{
1743 __init(__sv.data(), __sv.size());
1744#if _LIBCPP_DEBUG_LEVEL >= 2
1745 __get_db()->__insert_c(this);
1746#endif
1747}
1748
1749template <class _CharT, class _Traits, class _Allocator>
1750inline _LIBCPP_INLINE_VISIBILITY
1751basic_string<_CharT, _Traits, _Allocator>::basic_string(__self_view __sv, const allocator_type& __a)
1752 : __r_(__a)
1753{
1754 __init(__sv.data(), __sv.size());
1755#if _LIBCPP_DEBUG_LEVEL >= 2
1756 __get_db()->__insert_c(this);
1757#endif
1758}
1759
1760template <class _CharT, class _Traits, class _Allocator>
Howard Hinnantbc8d3f92010-05-11 19:42:161761template <class _InputIterator>
1762typename enable_if
1763<
Marshall Clowdf9db312016-01-13 21:54:341764 __is_exactly_input_iterator<_InputIterator>::value,
Howard Hinnantbc8d3f92010-05-11 19:42:161765 void
1766>::type
1767basic_string<_CharT, _Traits, _Allocator>::__init(_InputIterator __first, _InputIterator __last)
1768{
1769 __zero();
1770#ifndef _LIBCPP_NO_EXCEPTIONS
1771 try
1772 {
Howard Hinnant324bb032010-08-22 00:02:431773#endif // _LIBCPP_NO_EXCEPTIONS
Howard Hinnantbc8d3f92010-05-11 19:42:161774 for (; __first != __last; ++__first)
1775 push_back(*__first);
1776#ifndef _LIBCPP_NO_EXCEPTIONS
1777 }
1778 catch (...)
1779 {
1780 if (__is_long())
Howard Hinnante32b5e22010-11-17 17:55:081781 __alloc_traits::deallocate(__alloc(), __get_long_pointer(), __get_long_cap());
Howard Hinnantbc8d3f92010-05-11 19:42:161782 throw;
1783 }
Howard Hinnant324bb032010-08-22 00:02:431784#endif // _LIBCPP_NO_EXCEPTIONS
Howard Hinnantbc8d3f92010-05-11 19:42:161785}
1786
1787template <class _CharT, class _Traits, class _Allocator>
1788template <class _ForwardIterator>
1789typename enable_if
1790<
1791 __is_forward_iterator<_ForwardIterator>::value,
1792 void
1793>::type
1794basic_string<_CharT, _Traits, _Allocator>::__init(_ForwardIterator __first, _ForwardIterator __last)
1795{
Howard Hinnant0949eed2011-06-30 21:18:191796 size_type __sz = static_cast<size_type>(_VSTD::distance(__first, __last));
Howard Hinnantbc8d3f92010-05-11 19:42:161797 if (__sz > max_size())
1798 this->__throw_length_error();
1799 pointer __p;
1800 if (__sz < __min_cap)
1801 {
1802 __set_short_size(__sz);
1803 __p = __get_short_pointer();
1804 }
1805 else
1806 {
1807 size_type __cap = __recommend(__sz);
Howard Hinnante32b5e22010-11-17 17:55:081808 __p = __alloc_traits::allocate(__alloc(), __cap+1);
Howard Hinnantbc8d3f92010-05-11 19:42:161809 __set_long_pointer(__p);
1810 __set_long_cap(__cap+1);
1811 __set_long_size(__sz);
1812 }
Eric Fiselierb9919752014-10-27 19:28:201813 for (; __first != __last; ++__first, (void) ++__p)
Howard Hinnantbc8d3f92010-05-11 19:42:161814 traits_type::assign(*__p, *__first);
1815 traits_type::assign(*__p, value_type());
1816}
1817
1818template <class _CharT, class _Traits, class _Allocator>
1819template<class _InputIterator>
Howard Hinnant1e564242013-10-04 22:09:001820inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161821basic_string<_CharT, _Traits, _Allocator>::basic_string(_InputIterator __first, _InputIterator __last)
1822{
1823 __init(__first, __last);
Howard Hinnant499cea12013-08-23 17:37:051824#if _LIBCPP_DEBUG_LEVEL >= 2
1825 __get_db()->__insert_c(this);
1826#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161827}
1828
1829template <class _CharT, class _Traits, class _Allocator>
1830template<class _InputIterator>
Howard Hinnant1e564242013-10-04 22:09:001831inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161832basic_string<_CharT, _Traits, _Allocator>::basic_string(_InputIterator __first, _InputIterator __last,
1833 const allocator_type& __a)
1834 : __r_(__a)
1835{
1836 __init(__first, __last);
Howard Hinnant499cea12013-08-23 17:37:051837#if _LIBCPP_DEBUG_LEVEL >= 2
1838 __get_db()->__insert_c(this);
1839#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161840}
1841
Howard Hinnante3e32912011-08-12 21:56:021842#ifndef _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
1843
Howard Hinnantbc8d3f92010-05-11 19:42:161844template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:001845inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161846basic_string<_CharT, _Traits, _Allocator>::basic_string(initializer_list<value_type> __il)
1847{
1848 __init(__il.begin(), __il.end());
Howard Hinnant499cea12013-08-23 17:37:051849#if _LIBCPP_DEBUG_LEVEL >= 2
1850 __get_db()->__insert_c(this);
1851#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161852}
1853
1854template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:001855inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161856basic_string<_CharT, _Traits, _Allocator>::basic_string(initializer_list<value_type> __il, const allocator_type& __a)
1857 : __r_(__a)
1858{
1859 __init(__il.begin(), __il.end());
Howard Hinnant499cea12013-08-23 17:37:051860#if _LIBCPP_DEBUG_LEVEL >= 2
1861 __get_db()->__insert_c(this);
1862#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161863}
1864
Howard Hinnante3e32912011-08-12 21:56:021865#endif // _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
1866
Howard Hinnantbc8d3f92010-05-11 19:42:161867template <class _CharT, class _Traits, class _Allocator>
Howard Hinnantbc8d3f92010-05-11 19:42:161868basic_string<_CharT, _Traits, _Allocator>::~basic_string()
1869{
Howard Hinnant499cea12013-08-23 17:37:051870#if _LIBCPP_DEBUG_LEVEL >= 2
1871 __get_db()->__erase_c(this);
1872#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161873 if (__is_long())
Howard Hinnante32b5e22010-11-17 17:55:081874 __alloc_traits::deallocate(__alloc(), __get_long_pointer(), __get_long_cap());
Howard Hinnantbc8d3f92010-05-11 19:42:161875}
1876
1877template <class _CharT, class _Traits, class _Allocator>
1878void
1879basic_string<_CharT, _Traits, _Allocator>::__grow_by_and_replace
1880 (size_type __old_cap, size_type __delta_cap, size_type __old_sz,
Howard Hinnant9dcdcde2013-06-28 16:59:191881 size_type __n_copy, size_type __n_del, size_type __n_add, const value_type* __p_new_stuff)
Howard Hinnantbc8d3f92010-05-11 19:42:161882{
1883 size_type __ms = max_size();
1884 if (__delta_cap > __ms - __old_cap - 1)
1885 this->__throw_length_error();
1886 pointer __old_p = __get_pointer();
1887 size_type __cap = __old_cap < __ms / 2 - __alignment ?
Howard Hinnant0949eed2011-06-30 21:18:191888 __recommend(_VSTD::max(__old_cap + __delta_cap, 2 * __old_cap)) :
Howard Hinnantbc8d3f92010-05-11 19:42:161889 __ms - 1;
Howard Hinnante32b5e22010-11-17 17:55:081890 pointer __p = __alloc_traits::allocate(__alloc(), __cap+1);
Howard Hinnantbc8d3f92010-05-11 19:42:161891 __invalidate_all_iterators();
1892 if (__n_copy != 0)
Howard Hinnant9dcdcde2013-06-28 16:59:191893 traits_type::copy(_VSTD::__to_raw_pointer(__p),
1894 _VSTD::__to_raw_pointer(__old_p), __n_copy);
Howard Hinnantbc8d3f92010-05-11 19:42:161895 if (__n_add != 0)
Howard Hinnant9dcdcde2013-06-28 16:59:191896 traits_type::copy(_VSTD::__to_raw_pointer(__p) + __n_copy, __p_new_stuff, __n_add);
Howard Hinnantbc8d3f92010-05-11 19:42:161897 size_type __sec_cp_sz = __old_sz - __n_del - __n_copy;
1898 if (__sec_cp_sz != 0)
Howard Hinnant9dcdcde2013-06-28 16:59:191899 traits_type::copy(_VSTD::__to_raw_pointer(__p) + __n_copy + __n_add,
1900 _VSTD::__to_raw_pointer(__old_p) + __n_copy + __n_del, __sec_cp_sz);
Howard Hinnantbc8d3f92010-05-11 19:42:161901 if (__old_cap+1 != __min_cap)
Howard Hinnante32b5e22010-11-17 17:55:081902 __alloc_traits::deallocate(__alloc(), __old_p, __old_cap+1);
Howard Hinnantbc8d3f92010-05-11 19:42:161903 __set_long_pointer(__p);
1904 __set_long_cap(__cap+1);
1905 __old_sz = __n_copy + __n_add + __sec_cp_sz;
1906 __set_long_size(__old_sz);
1907 traits_type::assign(__p[__old_sz], value_type());
1908}
1909
1910template <class _CharT, class _Traits, class _Allocator>
1911void
1912basic_string<_CharT, _Traits, _Allocator>::__grow_by(size_type __old_cap, size_type __delta_cap, size_type __old_sz,
1913 size_type __n_copy, size_type __n_del, size_type __n_add)
1914{
1915 size_type __ms = max_size();
Marshall Clowecc8d7b2013-11-06 14:24:381916 if (__delta_cap > __ms - __old_cap)
Howard Hinnantbc8d3f92010-05-11 19:42:161917 this->__throw_length_error();
1918 pointer __old_p = __get_pointer();
1919 size_type __cap = __old_cap < __ms / 2 - __alignment ?
Howard Hinnant0949eed2011-06-30 21:18:191920 __recommend(_VSTD::max(__old_cap + __delta_cap, 2 * __old_cap)) :
Howard Hinnantbc8d3f92010-05-11 19:42:161921 __ms - 1;
Howard Hinnante32b5e22010-11-17 17:55:081922 pointer __p = __alloc_traits::allocate(__alloc(), __cap+1);
Howard Hinnantbc8d3f92010-05-11 19:42:161923 __invalidate_all_iterators();
1924 if (__n_copy != 0)
Howard Hinnant9dcdcde2013-06-28 16:59:191925 traits_type::copy(_VSTD::__to_raw_pointer(__p),
1926 _VSTD::__to_raw_pointer(__old_p), __n_copy);
Howard Hinnantbc8d3f92010-05-11 19:42:161927 size_type __sec_cp_sz = __old_sz - __n_del - __n_copy;
1928 if (__sec_cp_sz != 0)
Howard Hinnant9dcdcde2013-06-28 16:59:191929 traits_type::copy(_VSTD::__to_raw_pointer(__p) + __n_copy + __n_add,
1930 _VSTD::__to_raw_pointer(__old_p) + __n_copy + __n_del,
1931 __sec_cp_sz);
Howard Hinnantbc8d3f92010-05-11 19:42:161932 if (__old_cap+1 != __min_cap)
Howard Hinnante32b5e22010-11-17 17:55:081933 __alloc_traits::deallocate(__alloc(), __old_p, __old_cap+1);
Howard Hinnantbc8d3f92010-05-11 19:42:161934 __set_long_pointer(__p);
1935 __set_long_cap(__cap+1);
1936}
1937
1938// assign
1939
1940template <class _CharT, class _Traits, class _Allocator>
1941basic_string<_CharT, _Traits, _Allocator>&
Howard Hinnant9dcdcde2013-06-28 16:59:191942basic_string<_CharT, _Traits, _Allocator>::assign(const value_type* __s, size_type __n)
Howard Hinnantbc8d3f92010-05-11 19:42:161943{
Alp Tokerec34c482014-05-15 11:27:391944 _LIBCPP_ASSERT(__n == 0 || __s != nullptr, "string::assign received nullptr");
Howard Hinnantbc8d3f92010-05-11 19:42:161945 size_type __cap = capacity();
1946 if (__cap >= __n)
1947 {
Howard Hinnant9dcdcde2013-06-28 16:59:191948 value_type* __p = _VSTD::__to_raw_pointer(__get_pointer());
Howard Hinnantbc8d3f92010-05-11 19:42:161949 traits_type::move(__p, __s, __n);
1950 traits_type::assign(__p[__n], value_type());
1951 __set_size(__n);
1952 __invalidate_iterators_past(__n);
1953 }
1954 else
1955 {
1956 size_type __sz = size();
1957 __grow_by_and_replace(__cap, __n - __cap, __sz, 0, __sz, __n, __s);
1958 }
1959 return *this;
1960}
1961
1962template <class _CharT, class _Traits, class _Allocator>
1963basic_string<_CharT, _Traits, _Allocator>&
1964basic_string<_CharT, _Traits, _Allocator>::assign(size_type __n, value_type __c)
1965{
1966 size_type __cap = capacity();
1967 if (__cap < __n)
1968 {
1969 size_type __sz = size();
1970 __grow_by(__cap, __n - __cap, __sz, 0, __sz);
1971 }
1972 else
1973 __invalidate_iterators_past(__n);
Howard Hinnant9dcdcde2013-06-28 16:59:191974 value_type* __p = _VSTD::__to_raw_pointer(__get_pointer());
Howard Hinnantbc8d3f92010-05-11 19:42:161975 traits_type::assign(__p, __n, __c);
1976 traits_type::assign(__p[__n], value_type());
1977 __set_size(__n);
1978 return *this;
1979}
1980
1981template <class _CharT, class _Traits, class _Allocator>
1982basic_string<_CharT, _Traits, _Allocator>&
1983basic_string<_CharT, _Traits, _Allocator>::operator=(value_type __c)
1984{
1985 pointer __p;
1986 if (__is_long())
1987 {
1988 __p = __get_long_pointer();
1989 __set_long_size(1);
1990 }
1991 else
1992 {
1993 __p = __get_short_pointer();
1994 __set_short_size(1);
1995 }
1996 traits_type::assign(*__p, __c);
1997 traits_type::assign(*++__p, value_type());
1998 __invalidate_iterators_past(1);
1999 return *this;
2000}
2001
2002template <class _CharT, class _Traits, class _Allocator>
Howard Hinnante32b5e22010-11-17 17:55:082003basic_string<_CharT, _Traits, _Allocator>&
2004basic_string<_CharT, _Traits, _Allocator>::operator=(const basic_string& __str)
2005{
2006 if (this != &__str)
2007 {
2008 __copy_assign_alloc(__str);
Marshall Clowf40ec902016-03-09 18:08:292009 assign(__str.data(), __str.size());
Howard Hinnante32b5e22010-11-17 17:55:082010 }
2011 return *this;
2012}
2013
2014#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
2015
2016template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002017inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnante32b5e22010-11-17 17:55:082018void
2019basic_string<_CharT, _Traits, _Allocator>::__move_assign(basic_string& __str, false_type)
Marshall Clowaf961ed2015-08-18 18:57:002020 _NOEXCEPT_(__alloc_traits::is_always_equal::value)
Howard Hinnante32b5e22010-11-17 17:55:082021{
2022 if (__alloc() != __str.__alloc())
2023 assign(__str);
2024 else
2025 __move_assign(__str, true_type());
2026}
2027
2028template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002029inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnante32b5e22010-11-17 17:55:082030void
2031basic_string<_CharT, _Traits, _Allocator>::__move_assign(basic_string& __str, true_type)
Marshall Clowaf961ed2015-08-18 18:57:002032#if _LIBCPP_STD_VER > 14
2033 _NOEXCEPT
2034#else
Howard Hinnant53f7d4c2011-06-03 18:40:472035 _NOEXCEPT_(is_nothrow_move_assignable<allocator_type>::value)
Marshall Clowaf961ed2015-08-18 18:57:002036#endif
Howard Hinnante32b5e22010-11-17 17:55:082037{
2038 clear();
2039 shrink_to_fit();
Howard Hinnant3fdbbd22011-08-17 20:36:182040 __r_.first() = __str.__r_.first();
2041 __move_assign_alloc(__str);
Howard Hinnante32b5e22010-11-17 17:55:082042 __str.__zero();
2043}
2044
2045template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002046inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnante32b5e22010-11-17 17:55:082047basic_string<_CharT, _Traits, _Allocator>&
2048basic_string<_CharT, _Traits, _Allocator>::operator=(basic_string&& __str)
Marshall Clowaf961ed2015-08-18 18:57:002049 _NOEXCEPT_((__noexcept_move_assign_container<_Allocator, __alloc_traits>::value))
Howard Hinnante32b5e22010-11-17 17:55:082050{
2051 __move_assign(__str, integral_constant<bool,
2052 __alloc_traits::propagate_on_container_move_assignment::value>());
2053 return *this;
2054}
2055
2056#endif
2057
2058template <class _CharT, class _Traits, class _Allocator>
Howard Hinnantbc8d3f92010-05-11 19:42:162059template<class _InputIterator>
2060typename enable_if
2061<
Marshall Clowdf9db312016-01-13 21:54:342062 __is_exactly_input_iterator <_InputIterator>::value
2063 || !__libcpp_string_gets_noexcept_iterator<_InputIterator>::value,
Howard Hinnantbc8d3f92010-05-11 19:42:162064 basic_string<_CharT, _Traits, _Allocator>&
2065>::type
2066basic_string<_CharT, _Traits, _Allocator>::assign(_InputIterator __first, _InputIterator __last)
2067{
Marshall Clowd979eed2016-09-05 01:54:302068 const basic_string __temp(__first, __last, __alloc());
Marshall Clowdf9db312016-01-13 21:54:342069 assign(__temp.data(), __temp.size());
Argyrios Kyrtzidis1dc6f7a2012-10-13 02:03:452070 return *this;
Howard Hinnantbc8d3f92010-05-11 19:42:162071}
2072
2073template <class _CharT, class _Traits, class _Allocator>
2074template<class _ForwardIterator>
2075typename enable_if
2076<
Marshall Clowdf9db312016-01-13 21:54:342077 __is_forward_iterator<_ForwardIterator>::value
2078 && __libcpp_string_gets_noexcept_iterator<_ForwardIterator>::value,
Howard Hinnantbc8d3f92010-05-11 19:42:162079 basic_string<_CharT, _Traits, _Allocator>&
2080>::type
2081basic_string<_CharT, _Traits, _Allocator>::assign(_ForwardIterator __first, _ForwardIterator __last)
2082{
Howard Hinnant0949eed2011-06-30 21:18:192083 size_type __n = static_cast<size_type>(_VSTD::distance(__first, __last));
Howard Hinnantbc8d3f92010-05-11 19:42:162084 size_type __cap = capacity();
2085 if (__cap < __n)
2086 {
2087 size_type __sz = size();
2088 __grow_by(__cap, __n - __cap, __sz, 0, __sz);
2089 }
2090 else
2091 __invalidate_iterators_past(__n);
2092 pointer __p = __get_pointer();
2093 for (; __first != __last; ++__first, ++__p)
2094 traits_type::assign(*__p, *__first);
2095 traits_type::assign(*__p, value_type());
2096 __set_size(__n);
2097 return *this;
2098}
2099
2100template <class _CharT, class _Traits, class _Allocator>
Howard Hinnantbc8d3f92010-05-11 19:42:162101basic_string<_CharT, _Traits, _Allocator>&
2102basic_string<_CharT, _Traits, _Allocator>::assign(const basic_string& __str, size_type __pos, size_type __n)
2103{
2104 size_type __sz = __str.size();
2105 if (__pos > __sz)
2106 this->__throw_out_of_range();
Howard Hinnant0949eed2011-06-30 21:18:192107 return assign(__str.data() + __pos, _VSTD::min(__n, __sz - __pos));
Howard Hinnantbc8d3f92010-05-11 19:42:162108}
2109
2110template <class _CharT, class _Traits, class _Allocator>
Marshall Clow6ac8de02016-09-24 22:45:422111template <class _Tp>
2112typename enable_if
2113<
2114 __can_be_converted_to_string_view<_CharT, _Traits, _Tp>::value,
2115basic_string<_CharT, _Traits, _Allocator>&
2116>::type
2117basic_string<_CharT, _Traits, _Allocator>::assign(const _Tp & __t, size_type __pos, size_type __n)
Marshall Clow1e00d6d2016-07-21 05:31:242118{
Marshall Clow6ac8de02016-09-24 22:45:422119 __self_view __sv = __t;
Marshall Clow1e00d6d2016-07-21 05:31:242120 size_type __sz = __sv.size();
2121 if (__pos > __sz)
2122 this->__throw_out_of_range();
2123 return assign(__sv.data() + __pos, _VSTD::min(__n, __sz - __pos));
2124}
2125
2126
2127template <class _CharT, class _Traits, class _Allocator>
Howard Hinnantbc8d3f92010-05-11 19:42:162128basic_string<_CharT, _Traits, _Allocator>&
Howard Hinnant9dcdcde2013-06-28 16:59:192129basic_string<_CharT, _Traits, _Allocator>::assign(const value_type* __s)
Howard Hinnantbc8d3f92010-05-11 19:42:162130{
Alp Tokerec34c482014-05-15 11:27:392131 _LIBCPP_ASSERT(__s != nullptr, "string::assign received nullptr");
Howard Hinnantbc8d3f92010-05-11 19:42:162132 return assign(__s, traits_type::length(__s));
2133}
2134
2135// append
2136
2137template <class _CharT, class _Traits, class _Allocator>
2138basic_string<_CharT, _Traits, _Allocator>&
Howard Hinnant9dcdcde2013-06-28 16:59:192139basic_string<_CharT, _Traits, _Allocator>::append(const value_type* __s, size_type __n)
Howard Hinnantbc8d3f92010-05-11 19:42:162140{
Alp Tokerec34c482014-05-15 11:27:392141 _LIBCPP_ASSERT(__n == 0 || __s != nullptr, "string::append received nullptr");
Howard Hinnantbc8d3f92010-05-11 19:42:162142 size_type __cap = capacity();
2143 size_type __sz = size();
2144 if (__cap - __sz >= __n)
2145 {
2146 if (__n)
2147 {
Howard Hinnant9dcdcde2013-06-28 16:59:192148 value_type* __p = _VSTD::__to_raw_pointer(__get_pointer());
Howard Hinnantbc8d3f92010-05-11 19:42:162149 traits_type::copy(__p + __sz, __s, __n);
2150 __sz += __n;
2151 __set_size(__sz);
2152 traits_type::assign(__p[__sz], value_type());
2153 }
2154 }
2155 else
2156 __grow_by_and_replace(__cap, __sz + __n - __cap, __sz, __sz, 0, __n, __s);
2157 return *this;
2158}
2159
2160template <class _CharT, class _Traits, class _Allocator>
2161basic_string<_CharT, _Traits, _Allocator>&
2162basic_string<_CharT, _Traits, _Allocator>::append(size_type __n, value_type __c)
2163{
2164 if (__n)
2165 {
2166 size_type __cap = capacity();
2167 size_type __sz = size();
2168 if (__cap - __sz < __n)
2169 __grow_by(__cap, __sz + __n - __cap, __sz, __sz, 0);
2170 pointer __p = __get_pointer();
Howard Hinnant9dcdcde2013-06-28 16:59:192171 traits_type::assign(_VSTD::__to_raw_pointer(__p) + __sz, __n, __c);
Howard Hinnantbc8d3f92010-05-11 19:42:162172 __sz += __n;
2173 __set_size(__sz);
2174 traits_type::assign(__p[__sz], value_type());
2175 }
2176 return *this;
2177}
2178
2179template <class _CharT, class _Traits, class _Allocator>
2180void
2181basic_string<_CharT, _Traits, _Allocator>::push_back(value_type __c)
2182{
Howard Hinnant15467182013-04-30 21:44:482183 bool __is_short = !__is_long();
2184 size_type __cap;
2185 size_type __sz;
2186 if (__is_short)
2187 {
2188 __cap = __min_cap - 1;
2189 __sz = __get_short_size();
2190 }
2191 else
2192 {
2193 __cap = __get_long_cap() - 1;
2194 __sz = __get_long_size();
2195 }
Howard Hinnantbc8d3f92010-05-11 19:42:162196 if (__sz == __cap)
Howard Hinnant15467182013-04-30 21:44:482197 {
Howard Hinnantbc8d3f92010-05-11 19:42:162198 __grow_by(__cap, 1, __sz, __sz, 0);
Howard Hinnant15467182013-04-30 21:44:482199 __is_short = !__is_long();
2200 }
2201 pointer __p;
2202 if (__is_short)
2203 {
2204 __p = __get_short_pointer() + __sz;
2205 __set_short_size(__sz+1);
2206 }
2207 else
2208 {
2209 __p = __get_long_pointer() + __sz;
2210 __set_long_size(__sz+1);
2211 }
Howard Hinnantbc8d3f92010-05-11 19:42:162212 traits_type::assign(*__p, __c);
2213 traits_type::assign(*++__p, value_type());
Howard Hinnantbc8d3f92010-05-11 19:42:162214}
2215
Marshall Clowac655ef2016-09-07 03:32:062216template <class _Tp>
Marshall Clowd979eed2016-09-05 01:54:302217bool __ptr_in_range (const _Tp* __p, const _Tp* __first, const _Tp* __last)
2218{
2219 return __first <= __p && __p < __last;
2220}
2221
Marshall Clowac655ef2016-09-07 03:32:062222template <class _Tp1, class _Tp2>
Eric Fiselier0e5ebbc2016-12-23 23:37:522223bool __ptr_in_range (const _Tp1*, const _Tp2*, const _Tp2*)
Marshall Clowac655ef2016-09-07 03:32:062224{
2225 return false;
2226}
2227
Howard Hinnantbc8d3f92010-05-11 19:42:162228template <class _CharT, class _Traits, class _Allocator>
2229template<class _ForwardIterator>
Eric Fiselier026d38e2016-10-31 02:46:252230basic_string<_CharT, _Traits, _Allocator>&
2231basic_string<_CharT, _Traits, _Allocator>::__append_forward_unsafe(
2232 _ForwardIterator __first, _ForwardIterator __last)
Howard Hinnantbc8d3f92010-05-11 19:42:162233{
Eric Fiselier026d38e2016-10-31 02:46:252234 static_assert(__is_forward_iterator<_ForwardIterator>::value,
2235 "function requires a ForwardIterator");
Howard Hinnantbc8d3f92010-05-11 19:42:162236 size_type __sz = size();
2237 size_type __cap = capacity();
Howard Hinnant0949eed2011-06-30 21:18:192238 size_type __n = static_cast<size_type>(_VSTD::distance(__first, __last));
Howard Hinnantbc8d3f92010-05-11 19:42:162239 if (__n)
2240 {
Marshall Clowd979eed2016-09-05 01:54:302241 if ( __ptr_in_range(&*__first, data(), data() + size()))
2242 {
2243 const basic_string __temp (__first, __last, __alloc());
2244 append(__temp.data(), __temp.size());
2245 }
2246 else
2247 {
2248 if (__cap - __sz < __n)
2249 __grow_by(__cap, __sz + __n - __cap, __sz, __sz, 0);
2250 pointer __p = __get_pointer() + __sz;
2251 for (; __first != __last; ++__p, ++__first)
2252 traits_type::assign(*__p, *__first);
2253 traits_type::assign(*__p, value_type());
2254 __set_size(__sz + __n);
2255 }
Howard Hinnantbc8d3f92010-05-11 19:42:162256 }
2257 return *this;
2258}
2259
2260template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002261inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162262basic_string<_CharT, _Traits, _Allocator>&
2263basic_string<_CharT, _Traits, _Allocator>::append(const basic_string& __str)
2264{
2265 return append(__str.data(), __str.size());
2266}
2267
2268template <class _CharT, class _Traits, class _Allocator>
2269basic_string<_CharT, _Traits, _Allocator>&
2270basic_string<_CharT, _Traits, _Allocator>::append(const basic_string& __str, size_type __pos, size_type __n)
2271{
2272 size_type __sz = __str.size();
2273 if (__pos > __sz)
2274 this->__throw_out_of_range();
Howard Hinnant0949eed2011-06-30 21:18:192275 return append(__str.data() + __pos, _VSTD::min(__n, __sz - __pos));
Howard Hinnantbc8d3f92010-05-11 19:42:162276}
2277
2278template <class _CharT, class _Traits, class _Allocator>
Marshall Clow42a87db2016-10-03 23:40:482279template <class _Tp>
Marshall Clow6ac8de02016-09-24 22:45:422280 typename enable_if
2281 <
2282 __can_be_converted_to_string_view<_CharT, _Traits, _Tp>::value,
2283 basic_string<_CharT, _Traits, _Allocator>&
2284 >::type
2285basic_string<_CharT, _Traits, _Allocator>::append(const _Tp & __t, size_type __pos, size_type __n)
Marshall Clow1e00d6d2016-07-21 05:31:242286{
Marshall Clow6ac8de02016-09-24 22:45:422287 __self_view __sv = __t;
Marshall Clow1e00d6d2016-07-21 05:31:242288 size_type __sz = __sv.size();
2289 if (__pos > __sz)
2290 this->__throw_out_of_range();
2291 return append(__sv.data() + __pos, _VSTD::min(__n, __sz - __pos));
2292}
2293
2294template <class _CharT, class _Traits, class _Allocator>
Howard Hinnantbc8d3f92010-05-11 19:42:162295basic_string<_CharT, _Traits, _Allocator>&
Howard Hinnant9dcdcde2013-06-28 16:59:192296basic_string<_CharT, _Traits, _Allocator>::append(const value_type* __s)
Howard Hinnantbc8d3f92010-05-11 19:42:162297{
Alp Tokerec34c482014-05-15 11:27:392298 _LIBCPP_ASSERT(__s != nullptr, "string::append received nullptr");
Howard Hinnantbc8d3f92010-05-11 19:42:162299 return append(__s, traits_type::length(__s));
2300}
2301
2302// insert
2303
2304template <class _CharT, class _Traits, class _Allocator>
2305basic_string<_CharT, _Traits, _Allocator>&
Howard Hinnant9dcdcde2013-06-28 16:59:192306basic_string<_CharT, _Traits, _Allocator>::insert(size_type __pos, const value_type* __s, size_type __n)
Howard Hinnantbc8d3f92010-05-11 19:42:162307{
Alp Tokerec34c482014-05-15 11:27:392308 _LIBCPP_ASSERT(__n == 0 || __s != nullptr, "string::insert received nullptr");
Howard Hinnantbc8d3f92010-05-11 19:42:162309 size_type __sz = size();
2310 if (__pos > __sz)
2311 this->__throw_out_of_range();
2312 size_type __cap = capacity();
2313 if (__cap - __sz >= __n)
2314 {
2315 if (__n)
2316 {
Howard Hinnant9dcdcde2013-06-28 16:59:192317 value_type* __p = _VSTD::__to_raw_pointer(__get_pointer());
Howard Hinnantbc8d3f92010-05-11 19:42:162318 size_type __n_move = __sz - __pos;
2319 if (__n_move != 0)
2320 {
2321 if (__p + __pos <= __s && __s < __p + __sz)
2322 __s += __n;
2323 traits_type::move(__p + __pos + __n, __p + __pos, __n_move);
2324 }
2325 traits_type::move(__p + __pos, __s, __n);
2326 __sz += __n;
2327 __set_size(__sz);
2328 traits_type::assign(__p[__sz], value_type());
2329 }
2330 }
2331 else
2332 __grow_by_and_replace(__cap, __sz + __n - __cap, __sz, __pos, 0, __n, __s);
2333 return *this;
2334}
2335
2336template <class _CharT, class _Traits, class _Allocator>
2337basic_string<_CharT, _Traits, _Allocator>&
2338basic_string<_CharT, _Traits, _Allocator>::insert(size_type __pos, size_type __n, value_type __c)
2339{
2340 size_type __sz = size();
2341 if (__pos > __sz)
2342 this->__throw_out_of_range();
2343 if (__n)
2344 {
2345 size_type __cap = capacity();
Howard Hinnant9dcdcde2013-06-28 16:59:192346 value_type* __p;
Howard Hinnantbc8d3f92010-05-11 19:42:162347 if (__cap - __sz >= __n)
2348 {
Howard Hinnant9dcdcde2013-06-28 16:59:192349 __p = _VSTD::__to_raw_pointer(__get_pointer());
Howard Hinnantbc8d3f92010-05-11 19:42:162350 size_type __n_move = __sz - __pos;
2351 if (__n_move != 0)
2352 traits_type::move(__p + __pos + __n, __p + __pos, __n_move);
2353 }
2354 else
2355 {
2356 __grow_by(__cap, __sz + __n - __cap, __sz, __pos, 0, __n);
Howard Hinnant9dcdcde2013-06-28 16:59:192357 __p = _VSTD::__to_raw_pointer(__get_long_pointer());
Howard Hinnantbc8d3f92010-05-11 19:42:162358 }
2359 traits_type::assign(__p + __pos, __n, __c);
2360 __sz += __n;
2361 __set_size(__sz);
2362 traits_type::assign(__p[__sz], value_type());
2363 }
2364 return *this;
2365}
2366
2367template <class _CharT, class _Traits, class _Allocator>
2368template<class _InputIterator>
2369typename enable_if
2370<
Marshall Clowdf9db312016-01-13 21:54:342371 __is_exactly_input_iterator<_InputIterator>::value
2372 || !__libcpp_string_gets_noexcept_iterator<_InputIterator>::value,
2373 typename basic_string<_CharT, _Traits, _Allocator>::iterator
Howard Hinnantbc8d3f92010-05-11 19:42:162374>::type
2375basic_string<_CharT, _Traits, _Allocator>::insert(const_iterator __pos, _InputIterator __first, _InputIterator __last)
2376{
Howard Hinnant499cea12013-08-23 17:37:052377#if _LIBCPP_DEBUG_LEVEL >= 2
2378 _LIBCPP_ASSERT(__get_const_db()->__find_c_from_i(&__pos) == this,
2379 "string::insert(iterator, range) called with an iterator not"
2380 " referring to this string");
2381#endif
Marshall Clowd979eed2016-09-05 01:54:302382 const basic_string __temp(__first, __last, __alloc());
Marshall Clowdf9db312016-01-13 21:54:342383 return insert(__pos, __temp.data(), __temp.data() + __temp.size());
Howard Hinnantbc8d3f92010-05-11 19:42:162384}
2385
2386template <class _CharT, class _Traits, class _Allocator>
2387template<class _ForwardIterator>
2388typename enable_if
2389<
Marshall Clowdf9db312016-01-13 21:54:342390 __is_forward_iterator<_ForwardIterator>::value
2391 && __libcpp_string_gets_noexcept_iterator<_ForwardIterator>::value,
Howard Hinnantbc8d3f92010-05-11 19:42:162392 typename basic_string<_CharT, _Traits, _Allocator>::iterator
2393>::type
2394basic_string<_CharT, _Traits, _Allocator>::insert(const_iterator __pos, _ForwardIterator __first, _ForwardIterator __last)
2395{
Howard Hinnant499cea12013-08-23 17:37:052396#if _LIBCPP_DEBUG_LEVEL >= 2
2397 _LIBCPP_ASSERT(__get_const_db()->__find_c_from_i(&__pos) == this,
2398 "string::insert(iterator, range) called with an iterator not"
2399 " referring to this string");
2400#endif
Howard Hinnantbc8d3f92010-05-11 19:42:162401 size_type __ip = static_cast<size_type>(__pos - begin());
Howard Hinnant0949eed2011-06-30 21:18:192402 size_type __n = static_cast<size_type>(_VSTD::distance(__first, __last));
Howard Hinnantbc8d3f92010-05-11 19:42:162403 if (__n)
2404 {
Marshall Clowd979eed2016-09-05 01:54:302405 if ( __ptr_in_range(&*__first, data(), data() + size()))
2406 {
2407 const basic_string __temp(__first, __last, __alloc());
2408 return insert(__pos, __temp.data(), __temp.data() + __temp.size());
2409 }
2410
2411 size_type __sz = size();
2412 size_type __cap = capacity();
Howard Hinnant9dcdcde2013-06-28 16:59:192413 value_type* __p;
Howard Hinnantbc8d3f92010-05-11 19:42:162414 if (__cap - __sz >= __n)
2415 {
Howard Hinnant9dcdcde2013-06-28 16:59:192416 __p = _VSTD::__to_raw_pointer(__get_pointer());
Howard Hinnantbc8d3f92010-05-11 19:42:162417 size_type __n_move = __sz - __ip;
2418 if (__n_move != 0)
2419 traits_type::move(__p + __ip + __n, __p + __ip, __n_move);
2420 }
2421 else
2422 {
2423 __grow_by(__cap, __sz + __n - __cap, __sz, __ip, 0, __n);
Howard Hinnant9dcdcde2013-06-28 16:59:192424 __p = _VSTD::__to_raw_pointer(__get_long_pointer());
Howard Hinnantbc8d3f92010-05-11 19:42:162425 }
2426 __sz += __n;
2427 __set_size(__sz);
2428 traits_type::assign(__p[__sz], value_type());
2429 for (__p += __ip; __first != __last; ++__p, ++__first)
2430 traits_type::assign(*__p, *__first);
2431 }
2432 return begin() + __ip;
2433}
2434
2435template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002436inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162437basic_string<_CharT, _Traits, _Allocator>&
2438basic_string<_CharT, _Traits, _Allocator>::insert(size_type __pos1, const basic_string& __str)
2439{
2440 return insert(__pos1, __str.data(), __str.size());
2441}
2442
2443template <class _CharT, class _Traits, class _Allocator>
2444basic_string<_CharT, _Traits, _Allocator>&
2445basic_string<_CharT, _Traits, _Allocator>::insert(size_type __pos1, const basic_string& __str,
2446 size_type __pos2, size_type __n)
2447{
2448 size_type __str_sz = __str.size();
2449 if (__pos2 > __str_sz)
2450 this->__throw_out_of_range();
Howard Hinnant0949eed2011-06-30 21:18:192451 return insert(__pos1, __str.data() + __pos2, _VSTD::min(__n, __str_sz - __pos2));
Howard Hinnantbc8d3f92010-05-11 19:42:162452}
2453
2454template <class _CharT, class _Traits, class _Allocator>
Marshall Clow6ac8de02016-09-24 22:45:422455template <class _Tp>
2456typename enable_if
2457<
2458 __can_be_converted_to_string_view<_CharT, _Traits, _Tp>::value,
2459basic_string<_CharT, _Traits, _Allocator>&
2460>::type
2461basic_string<_CharT, _Traits, _Allocator>::insert(size_type __pos1, const _Tp& __t,
Marshall Clow1e00d6d2016-07-21 05:31:242462 size_type __pos2, size_type __n)
2463{
Marshall Clow6ac8de02016-09-24 22:45:422464 __self_view __sv = __t;
Marshall Clow1e00d6d2016-07-21 05:31:242465 size_type __str_sz = __sv.size();
2466 if (__pos2 > __str_sz)
2467 this->__throw_out_of_range();
2468 return insert(__pos1, __sv.data() + __pos2, _VSTD::min(__n, __str_sz - __pos2));
2469}
2470
2471template <class _CharT, class _Traits, class _Allocator>
Howard Hinnantbc8d3f92010-05-11 19:42:162472basic_string<_CharT, _Traits, _Allocator>&
Howard Hinnant9dcdcde2013-06-28 16:59:192473basic_string<_CharT, _Traits, _Allocator>::insert(size_type __pos, const value_type* __s)
Howard Hinnantbc8d3f92010-05-11 19:42:162474{
Alp Tokerec34c482014-05-15 11:27:392475 _LIBCPP_ASSERT(__s != nullptr, "string::insert received nullptr");
Howard Hinnantbc8d3f92010-05-11 19:42:162476 return insert(__pos, __s, traits_type::length(__s));
2477}
2478
2479template <class _CharT, class _Traits, class _Allocator>
2480typename basic_string<_CharT, _Traits, _Allocator>::iterator
2481basic_string<_CharT, _Traits, _Allocator>::insert(const_iterator __pos, value_type __c)
2482{
2483 size_type __ip = static_cast<size_type>(__pos - begin());
2484 size_type __sz = size();
2485 size_type __cap = capacity();
Howard Hinnant9dcdcde2013-06-28 16:59:192486 value_type* __p;
Howard Hinnantbc8d3f92010-05-11 19:42:162487 if (__cap == __sz)
2488 {
2489 __grow_by(__cap, 1, __sz, __ip, 0, 1);
Howard Hinnant9dcdcde2013-06-28 16:59:192490 __p = _VSTD::__to_raw_pointer(__get_long_pointer());
Howard Hinnantbc8d3f92010-05-11 19:42:162491 }
2492 else
2493 {
Howard Hinnant9dcdcde2013-06-28 16:59:192494 __p = _VSTD::__to_raw_pointer(__get_pointer());
Howard Hinnantbc8d3f92010-05-11 19:42:162495 size_type __n_move = __sz - __ip;
2496 if (__n_move != 0)
2497 traits_type::move(__p + __ip + 1, __p + __ip, __n_move);
2498 }
2499 traits_type::assign(__p[__ip], __c);
2500 traits_type::assign(__p[++__sz], value_type());
2501 __set_size(__sz);
2502 return begin() + static_cast<difference_type>(__ip);
2503}
2504
2505template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002506inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162507typename basic_string<_CharT, _Traits, _Allocator>::iterator
2508basic_string<_CharT, _Traits, _Allocator>::insert(const_iterator __pos, size_type __n, value_type __c)
2509{
Howard Hinnant499cea12013-08-23 17:37:052510#if _LIBCPP_DEBUG_LEVEL >= 2
2511 _LIBCPP_ASSERT(__get_const_db()->__find_c_from_i(&__pos) == this,
2512 "string::insert(iterator, n, value) called with an iterator not"
2513 " referring to this string");
2514#endif
Howard Hinnantbc8d3f92010-05-11 19:42:162515 difference_type __p = __pos - begin();
2516 insert(static_cast<size_type>(__p), __n, __c);
2517 return begin() + __p;
2518}
2519
2520// replace
2521
2522template <class _CharT, class _Traits, class _Allocator>
2523basic_string<_CharT, _Traits, _Allocator>&
Howard Hinnant9dcdcde2013-06-28 16:59:192524basic_string<_CharT, _Traits, _Allocator>::replace(size_type __pos, size_type __n1, const value_type* __s, size_type __n2)
Howard Hinnantbc8d3f92010-05-11 19:42:162525{
Alp Tokerec34c482014-05-15 11:27:392526 _LIBCPP_ASSERT(__n2 == 0 || __s != nullptr, "string::replace received nullptr");
Howard Hinnantbc8d3f92010-05-11 19:42:162527 size_type __sz = size();
2528 if (__pos > __sz)
2529 this->__throw_out_of_range();
Howard Hinnant0949eed2011-06-30 21:18:192530 __n1 = _VSTD::min(__n1, __sz - __pos);
Howard Hinnantbc8d3f92010-05-11 19:42:162531 size_type __cap = capacity();
2532 if (__cap - __sz + __n1 >= __n2)
2533 {
Howard Hinnant9dcdcde2013-06-28 16:59:192534 value_type* __p = _VSTD::__to_raw_pointer(__get_pointer());
Howard Hinnantbc8d3f92010-05-11 19:42:162535 if (__n1 != __n2)
2536 {
2537 size_type __n_move = __sz - __pos - __n1;
2538 if (__n_move != 0)
2539 {
2540 if (__n1 > __n2)
2541 {
2542 traits_type::move(__p + __pos, __s, __n2);
2543 traits_type::move(__p + __pos + __n2, __p + __pos + __n1, __n_move);
2544 goto __finish;
2545 }
2546 if (__p + __pos < __s && __s < __p + __sz)
2547 {
2548 if (__p + __pos + __n1 <= __s)
2549 __s += __n2 - __n1;
2550 else // __p + __pos < __s < __p + __pos + __n1
2551 {
2552 traits_type::move(__p + __pos, __s, __n1);
2553 __pos += __n1;
2554 __s += __n2;
2555 __n2 -= __n1;
2556 __n1 = 0;
2557 }
2558 }
2559 traits_type::move(__p + __pos + __n2, __p + __pos + __n1, __n_move);
2560 }
2561 }
2562 traits_type::move(__p + __pos, __s, __n2);
2563__finish:
2564 __sz += __n2 - __n1;
2565 __set_size(__sz);
2566 __invalidate_iterators_past(__sz);
2567 traits_type::assign(__p[__sz], value_type());
2568 }
2569 else
2570 __grow_by_and_replace(__cap, __sz - __n1 + __n2 - __cap, __sz, __pos, __n1, __n2, __s);
2571 return *this;
2572}
2573
2574template <class _CharT, class _Traits, class _Allocator>
2575basic_string<_CharT, _Traits, _Allocator>&
2576basic_string<_CharT, _Traits, _Allocator>::replace(size_type __pos, size_type __n1, size_type __n2, value_type __c)
2577{
2578 size_type __sz = size();
2579 if (__pos > __sz)
2580 this->__throw_out_of_range();
Howard Hinnant0949eed2011-06-30 21:18:192581 __n1 = _VSTD::min(__n1, __sz - __pos);
Howard Hinnantbc8d3f92010-05-11 19:42:162582 size_type __cap = capacity();
Howard Hinnant9dcdcde2013-06-28 16:59:192583 value_type* __p;
Howard Hinnantbc8d3f92010-05-11 19:42:162584 if (__cap - __sz + __n1 >= __n2)
2585 {
Howard Hinnant9dcdcde2013-06-28 16:59:192586 __p = _VSTD::__to_raw_pointer(__get_pointer());
Howard Hinnantbc8d3f92010-05-11 19:42:162587 if (__n1 != __n2)
2588 {
2589 size_type __n_move = __sz - __pos - __n1;
2590 if (__n_move != 0)
2591 traits_type::move(__p + __pos + __n2, __p + __pos + __n1, __n_move);
2592 }
2593 }
2594 else
2595 {
2596 __grow_by(__cap, __sz - __n1 + __n2 - __cap, __sz, __pos, __n1, __n2);
Howard Hinnant9dcdcde2013-06-28 16:59:192597 __p = _VSTD::__to_raw_pointer(__get_long_pointer());
Howard Hinnantbc8d3f92010-05-11 19:42:162598 }
2599 traits_type::assign(__p + __pos, __n2, __c);
2600 __sz += __n2 - __n1;
2601 __set_size(__sz);
2602 __invalidate_iterators_past(__sz);
2603 traits_type::assign(__p[__sz], value_type());
2604 return *this;
2605}
2606
2607template <class _CharT, class _Traits, class _Allocator>
2608template<class _InputIterator>
2609typename enable_if
2610<
2611 __is_input_iterator<_InputIterator>::value,
2612 basic_string<_CharT, _Traits, _Allocator>&
2613>::type
Howard Hinnant7b2cb482010-11-17 21:11:402614basic_string<_CharT, _Traits, _Allocator>::replace(const_iterator __i1, const_iterator __i2,
Howard Hinnantbc8d3f92010-05-11 19:42:162615 _InputIterator __j1, _InputIterator __j2)
2616{
Marshall Clowd979eed2016-09-05 01:54:302617 const basic_string __temp(__j1, __j2, __alloc());
Marshall Clowdf9db312016-01-13 21:54:342618 return this->replace(__i1, __i2, __temp);
Howard Hinnantbc8d3f92010-05-11 19:42:162619}
2620
2621template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002622inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162623basic_string<_CharT, _Traits, _Allocator>&
2624basic_string<_CharT, _Traits, _Allocator>::replace(size_type __pos1, size_type __n1, const basic_string& __str)
2625{
2626 return replace(__pos1, __n1, __str.data(), __str.size());
2627}
2628
2629template <class _CharT, class _Traits, class _Allocator>
2630basic_string<_CharT, _Traits, _Allocator>&
2631basic_string<_CharT, _Traits, _Allocator>::replace(size_type __pos1, size_type __n1, const basic_string& __str,
2632 size_type __pos2, size_type __n2)
2633{
2634 size_type __str_sz = __str.size();
2635 if (__pos2 > __str_sz)
2636 this->__throw_out_of_range();
Howard Hinnant0949eed2011-06-30 21:18:192637 return replace(__pos1, __n1, __str.data() + __pos2, _VSTD::min(__n2, __str_sz - __pos2));
Howard Hinnantbc8d3f92010-05-11 19:42:162638}
2639
2640template <class _CharT, class _Traits, class _Allocator>
Marshall Clow6ac8de02016-09-24 22:45:422641template <class _Tp>
2642typename enable_if
2643<
2644__can_be_converted_to_string_view<_CharT, _Traits, _Tp>::value,
2645basic_string<_CharT, _Traits, _Allocator>&
2646>::type
2647basic_string<_CharT, _Traits, _Allocator>::replace(size_type __pos1, size_type __n1, const _Tp& __t,
Marshall Clow1e00d6d2016-07-21 05:31:242648 size_type __pos2, size_type __n2)
2649{
Marshall Clow6ac8de02016-09-24 22:45:422650 __self_view __sv = __t;
Marshall Clow1e00d6d2016-07-21 05:31:242651 size_type __str_sz = __sv.size();
2652 if (__pos2 > __str_sz)
2653 this->__throw_out_of_range();
2654 return replace(__pos1, __n1, __sv.data() + __pos2, _VSTD::min(__n2, __str_sz - __pos2));
2655}
2656
2657template <class _CharT, class _Traits, class _Allocator>
2658basic_string<_CharT, _Traits, _Allocator>&
Howard Hinnant9dcdcde2013-06-28 16:59:192659basic_string<_CharT, _Traits, _Allocator>::replace(size_type __pos, size_type __n1, const value_type* __s)
Howard Hinnantbc8d3f92010-05-11 19:42:162660{
Alp Tokerec34c482014-05-15 11:27:392661 _LIBCPP_ASSERT(__s != nullptr, "string::replace received nullptr");
Howard Hinnantbc8d3f92010-05-11 19:42:162662 return replace(__pos, __n1, __s, traits_type::length(__s));
2663}
2664
2665template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002666inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162667basic_string<_CharT, _Traits, _Allocator>&
Howard Hinnant7b2cb482010-11-17 21:11:402668basic_string<_CharT, _Traits, _Allocator>::replace(const_iterator __i1, const_iterator __i2, const basic_string& __str)
Howard Hinnantbc8d3f92010-05-11 19:42:162669{
2670 return replace(static_cast<size_type>(__i1 - begin()), static_cast<size_type>(__i2 - __i1),
2671 __str.data(), __str.size());
2672}
2673
2674template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002675inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162676basic_string<_CharT, _Traits, _Allocator>&
Howard Hinnant9dcdcde2013-06-28 16:59:192677basic_string<_CharT, _Traits, _Allocator>::replace(const_iterator __i1, const_iterator __i2, const value_type* __s, size_type __n)
Howard Hinnantbc8d3f92010-05-11 19:42:162678{
2679 return replace(static_cast<size_type>(__i1 - begin()), static_cast<size_type>(__i2 - __i1), __s, __n);
2680}
2681
2682template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002683inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162684basic_string<_CharT, _Traits, _Allocator>&
Howard Hinnant9dcdcde2013-06-28 16:59:192685basic_string<_CharT, _Traits, _Allocator>::replace(const_iterator __i1, const_iterator __i2, const value_type* __s)
Howard Hinnantbc8d3f92010-05-11 19:42:162686{
2687 return replace(static_cast<size_type>(__i1 - begin()), static_cast<size_type>(__i2 - __i1), __s);
2688}
2689
2690template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002691inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162692basic_string<_CharT, _Traits, _Allocator>&
Howard Hinnant7b2cb482010-11-17 21:11:402693basic_string<_CharT, _Traits, _Allocator>::replace(const_iterator __i1, const_iterator __i2, size_type __n, value_type __c)
Howard Hinnantbc8d3f92010-05-11 19:42:162694{
2695 return replace(static_cast<size_type>(__i1 - begin()), static_cast<size_type>(__i2 - __i1), __n, __c);
2696}
2697
2698// erase
2699
2700template <class _CharT, class _Traits, class _Allocator>
2701basic_string<_CharT, _Traits, _Allocator>&
2702basic_string<_CharT, _Traits, _Allocator>::erase(size_type __pos, size_type __n)
2703{
2704 size_type __sz = size();
2705 if (__pos > __sz)
2706 this->__throw_out_of_range();
2707 if (__n)
2708 {
Howard Hinnant9dcdcde2013-06-28 16:59:192709 value_type* __p = _VSTD::__to_raw_pointer(__get_pointer());
Howard Hinnant0949eed2011-06-30 21:18:192710 __n = _VSTD::min(__n, __sz - __pos);
Howard Hinnantbc8d3f92010-05-11 19:42:162711 size_type __n_move = __sz - __pos - __n;
2712 if (__n_move != 0)
2713 traits_type::move(__p + __pos, __p + __pos + __n, __n_move);
2714 __sz -= __n;
2715 __set_size(__sz);
2716 __invalidate_iterators_past(__sz);
2717 traits_type::assign(__p[__sz], value_type());
2718 }
2719 return *this;
2720}
2721
2722template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002723inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162724typename basic_string<_CharT, _Traits, _Allocator>::iterator
2725basic_string<_CharT, _Traits, _Allocator>::erase(const_iterator __pos)
2726{
Howard Hinnant499cea12013-08-23 17:37:052727#if _LIBCPP_DEBUG_LEVEL >= 2
2728 _LIBCPP_ASSERT(__get_const_db()->__find_c_from_i(&__pos) == this,
2729 "string::erase(iterator) called with an iterator not"
2730 " referring to this string");
2731#endif
2732 _LIBCPP_ASSERT(__pos != end(),
2733 "string::erase(iterator) called with a non-dereferenceable iterator");
Howard Hinnantbc8d3f92010-05-11 19:42:162734 iterator __b = begin();
2735 size_type __r = static_cast<size_type>(__pos - __b);
2736 erase(__r, 1);
Howard Hinnantec3773c2011-12-01 20:21:042737 return __b + static_cast<difference_type>(__r);
Howard Hinnantbc8d3f92010-05-11 19:42:162738}
2739
2740template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002741inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162742typename basic_string<_CharT, _Traits, _Allocator>::iterator
2743basic_string<_CharT, _Traits, _Allocator>::erase(const_iterator __first, const_iterator __last)
2744{
Howard Hinnant499cea12013-08-23 17:37:052745#if _LIBCPP_DEBUG_LEVEL >= 2
2746 _LIBCPP_ASSERT(__get_const_db()->__find_c_from_i(&__first) == this,
2747 "string::erase(iterator, iterator) called with an iterator not"
2748 " referring to this string");
2749#endif
2750 _LIBCPP_ASSERT(__first <= __last, "string::erase(first, last) called with invalid range");
Howard Hinnantbc8d3f92010-05-11 19:42:162751 iterator __b = begin();
2752 size_type __r = static_cast<size_type>(__first - __b);
2753 erase(__r, static_cast<size_type>(__last - __first));
Howard Hinnantec3773c2011-12-01 20:21:042754 return __b + static_cast<difference_type>(__r);
Howard Hinnantbc8d3f92010-05-11 19:42:162755}
2756
2757template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002758inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162759void
2760basic_string<_CharT, _Traits, _Allocator>::pop_back()
2761{
Howard Hinnant499cea12013-08-23 17:37:052762 _LIBCPP_ASSERT(!empty(), "string::pop_back(): string is already empty");
Howard Hinnantbc8d3f92010-05-11 19:42:162763 size_type __sz;
2764 if (__is_long())
2765 {
2766 __sz = __get_long_size() - 1;
2767 __set_long_size(__sz);
2768 traits_type::assign(*(__get_long_pointer() + __sz), value_type());
2769 }
2770 else
2771 {
2772 __sz = __get_short_size() - 1;
2773 __set_short_size(__sz);
2774 traits_type::assign(*(__get_short_pointer() + __sz), value_type());
2775 }
2776 __invalidate_iterators_past(__sz);
2777}
2778
2779template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002780inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162781void
Howard Hinnanta6119a82011-05-29 19:57:122782basic_string<_CharT, _Traits, _Allocator>::clear() _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:162783{
2784 __invalidate_all_iterators();
2785 if (__is_long())
2786 {
2787 traits_type::assign(*__get_long_pointer(), value_type());
2788 __set_long_size(0);
2789 }
2790 else
2791 {
2792 traits_type::assign(*__get_short_pointer(), value_type());
2793 __set_short_size(0);
2794 }
2795}
2796
2797template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002798inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162799void
2800basic_string<_CharT, _Traits, _Allocator>::__erase_to_end(size_type __pos)
2801{
2802 if (__is_long())
2803 {
2804 traits_type::assign(*(__get_long_pointer() + __pos), value_type());
2805 __set_long_size(__pos);
2806 }
2807 else
2808 {
2809 traits_type::assign(*(__get_short_pointer() + __pos), value_type());
2810 __set_short_size(__pos);
2811 }
2812 __invalidate_iterators_past(__pos);
2813}
2814
2815template <class _CharT, class _Traits, class _Allocator>
2816void
2817basic_string<_CharT, _Traits, _Allocator>::resize(size_type __n, value_type __c)
2818{
2819 size_type __sz = size();
2820 if (__n > __sz)
2821 append(__n - __sz, __c);
2822 else
2823 __erase_to_end(__n);
2824}
2825
2826template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002827inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162828typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnanta6119a82011-05-29 19:57:122829basic_string<_CharT, _Traits, _Allocator>::max_size() const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:162830{
Howard Hinnante32b5e22010-11-17 17:55:082831 size_type __m = __alloc_traits::max_size(__alloc());
Howard Hinnantbc8d3f92010-05-11 19:42:162832#if _LIBCPP_BIG_ENDIAN
Marshall Clow09f85502013-10-31 17:23:082833 return (__m <= ~__long_mask ? __m : __m/2) - __alignment;
Howard Hinnantbc8d3f92010-05-11 19:42:162834#else
Marshall Clow09f85502013-10-31 17:23:082835 return __m - __alignment;
Howard Hinnantbc8d3f92010-05-11 19:42:162836#endif
2837}
2838
2839template <class _CharT, class _Traits, class _Allocator>
2840void
2841basic_string<_CharT, _Traits, _Allocator>::reserve(size_type __res_arg)
2842{
2843 if (__res_arg > max_size())
2844 this->__throw_length_error();
2845 size_type __cap = capacity();
2846 size_type __sz = size();
Howard Hinnant0949eed2011-06-30 21:18:192847 __res_arg = _VSTD::max(__res_arg, __sz);
Howard Hinnantbc8d3f92010-05-11 19:42:162848 __res_arg = __recommend(__res_arg);
2849 if (__res_arg != __cap)
2850 {
2851 pointer __new_data, __p;
2852 bool __was_long, __now_long;
2853 if (__res_arg == __min_cap - 1)
2854 {
2855 __was_long = true;
2856 __now_long = false;
2857 __new_data = __get_short_pointer();
2858 __p = __get_long_pointer();
2859 }
2860 else
2861 {
2862 if (__res_arg > __cap)
Howard Hinnante32b5e22010-11-17 17:55:082863 __new_data = __alloc_traits::allocate(__alloc(), __res_arg+1);
Howard Hinnantbc8d3f92010-05-11 19:42:162864 else
2865 {
2866 #ifndef _LIBCPP_NO_EXCEPTIONS
2867 try
2868 {
Howard Hinnant324bb032010-08-22 00:02:432869 #endif // _LIBCPP_NO_EXCEPTIONS
Howard Hinnante32b5e22010-11-17 17:55:082870 __new_data = __alloc_traits::allocate(__alloc(), __res_arg+1);
Howard Hinnantbc8d3f92010-05-11 19:42:162871 #ifndef _LIBCPP_NO_EXCEPTIONS
2872 }
2873 catch (...)
2874 {
2875 return;
2876 }
Howard Hinnant324bb032010-08-22 00:02:432877 #else // _LIBCPP_NO_EXCEPTIONS
Howard Hinnant9dcdcde2013-06-28 16:59:192878 if (__new_data == nullptr)
Howard Hinnantbc8d3f92010-05-11 19:42:162879 return;
Howard Hinnant324bb032010-08-22 00:02:432880 #endif // _LIBCPP_NO_EXCEPTIONS
Howard Hinnantbc8d3f92010-05-11 19:42:162881 }
2882 __now_long = true;
2883 __was_long = __is_long();
2884 __p = __get_pointer();
2885 }
Howard Hinnant9dcdcde2013-06-28 16:59:192886 traits_type::copy(_VSTD::__to_raw_pointer(__new_data),
2887 _VSTD::__to_raw_pointer(__p), size()+1);
Howard Hinnantbc8d3f92010-05-11 19:42:162888 if (__was_long)
Howard Hinnante32b5e22010-11-17 17:55:082889 __alloc_traits::deallocate(__alloc(), __p, __cap+1);
Howard Hinnantbc8d3f92010-05-11 19:42:162890 if (__now_long)
2891 {
2892 __set_long_cap(__res_arg+1);
2893 __set_long_size(__sz);
2894 __set_long_pointer(__new_data);
2895 }
2896 else
2897 __set_short_size(__sz);
2898 __invalidate_all_iterators();
2899 }
2900}
2901
2902template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002903inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162904typename basic_string<_CharT, _Traits, _Allocator>::const_reference
Marshall Clow1e00d6d2016-07-21 05:31:242905basic_string<_CharT, _Traits, _Allocator>::operator[](size_type __pos) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:162906{
Howard Hinnant499cea12013-08-23 17:37:052907 _LIBCPP_ASSERT(__pos <= size(), "string index out of bounds");
Howard Hinnantbc8d3f92010-05-11 19:42:162908 return *(data() + __pos);
2909}
2910
2911template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002912inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162913typename basic_string<_CharT, _Traits, _Allocator>::reference
Marshall Clow1e00d6d2016-07-21 05:31:242914basic_string<_CharT, _Traits, _Allocator>::operator[](size_type __pos) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:162915{
Howard Hinnant499cea12013-08-23 17:37:052916 _LIBCPP_ASSERT(__pos <= size(), "string index out of bounds");
Howard Hinnantbc8d3f92010-05-11 19:42:162917 return *(__get_pointer() + __pos);
2918}
2919
2920template <class _CharT, class _Traits, class _Allocator>
2921typename basic_string<_CharT, _Traits, _Allocator>::const_reference
2922basic_string<_CharT, _Traits, _Allocator>::at(size_type __n) const
2923{
2924 if (__n >= size())
2925 this->__throw_out_of_range();
2926 return (*this)[__n];
2927}
2928
2929template <class _CharT, class _Traits, class _Allocator>
2930typename basic_string<_CharT, _Traits, _Allocator>::reference
2931basic_string<_CharT, _Traits, _Allocator>::at(size_type __n)
2932{
2933 if (__n >= size())
2934 this->__throw_out_of_range();
2935 return (*this)[__n];
2936}
2937
2938template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002939inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162940typename basic_string<_CharT, _Traits, _Allocator>::reference
2941basic_string<_CharT, _Traits, _Allocator>::front()
2942{
Howard Hinnant499cea12013-08-23 17:37:052943 _LIBCPP_ASSERT(!empty(), "string::front(): string is empty");
Howard Hinnantbc8d3f92010-05-11 19:42:162944 return *__get_pointer();
2945}
2946
2947template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002948inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162949typename basic_string<_CharT, _Traits, _Allocator>::const_reference
2950basic_string<_CharT, _Traits, _Allocator>::front() const
2951{
Howard Hinnant499cea12013-08-23 17:37:052952 _LIBCPP_ASSERT(!empty(), "string::front(): string is empty");
Howard Hinnantbc8d3f92010-05-11 19:42:162953 return *data();
2954}
2955
2956template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002957inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162958typename basic_string<_CharT, _Traits, _Allocator>::reference
2959basic_string<_CharT, _Traits, _Allocator>::back()
2960{
Howard Hinnant499cea12013-08-23 17:37:052961 _LIBCPP_ASSERT(!empty(), "string::back(): string is empty");
Howard Hinnantbc8d3f92010-05-11 19:42:162962 return *(__get_pointer() + size() - 1);
2963}
2964
2965template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002966inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162967typename basic_string<_CharT, _Traits, _Allocator>::const_reference
2968basic_string<_CharT, _Traits, _Allocator>::back() const
2969{
Howard Hinnant499cea12013-08-23 17:37:052970 _LIBCPP_ASSERT(!empty(), "string::back(): string is empty");
Howard Hinnantbc8d3f92010-05-11 19:42:162971 return *(data() + size() - 1);
2972}
2973
2974template <class _CharT, class _Traits, class _Allocator>
2975typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnant9dcdcde2013-06-28 16:59:192976basic_string<_CharT, _Traits, _Allocator>::copy(value_type* __s, size_type __n, size_type __pos) const
Howard Hinnantbc8d3f92010-05-11 19:42:162977{
2978 size_type __sz = size();
2979 if (__pos > __sz)
2980 this->__throw_out_of_range();
Howard Hinnant0949eed2011-06-30 21:18:192981 size_type __rlen = _VSTD::min(__n, __sz - __pos);
Howard Hinnantbc8d3f92010-05-11 19:42:162982 traits_type::copy(__s, data() + __pos, __rlen);
2983 return __rlen;
2984}
2985
2986template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002987inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162988basic_string<_CharT, _Traits, _Allocator>
2989basic_string<_CharT, _Traits, _Allocator>::substr(size_type __pos, size_type __n) const
2990{
2991 return basic_string(*this, __pos, __n, __alloc());
2992}
2993
2994template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:002995inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:162996void
2997basic_string<_CharT, _Traits, _Allocator>::swap(basic_string& __str)
Marshall Clow7d914d12015-07-13 20:04:562998#if _LIBCPP_STD_VER >= 14
2999 _NOEXCEPT
3000#else
3001 _NOEXCEPT_(!__alloc_traits::propagate_on_container_swap::value ||
3002 __is_nothrow_swappable<allocator_type>::value)
3003#endif
Howard Hinnantbc8d3f92010-05-11 19:42:163004{
Howard Hinnant499cea12013-08-23 17:37:053005#if _LIBCPP_DEBUG_LEVEL >= 2
3006 if (!__is_long())
3007 __get_db()->__invalidate_all(this);
3008 if (!__str.__is_long())
3009 __get_db()->__invalidate_all(&__str);
3010 __get_db()->swap(this, &__str);
3011#endif
Howard Hinnant0949eed2011-06-30 21:18:193012 _VSTD::swap(__r_.first(), __str.__r_.first());
Marshall Clow7d914d12015-07-13 20:04:563013 __swap_allocator(__alloc(), __str.__alloc());
Howard Hinnantbc8d3f92010-05-11 19:42:163014}
3015
3016// find
3017
3018template <class _Traits>
3019struct _LIBCPP_HIDDEN __traits_eq
3020{
3021 typedef typename _Traits::char_type char_type;
Howard Hinnanta6119a82011-05-29 19:57:123022 _LIBCPP_INLINE_VISIBILITY
3023 bool operator()(const char_type& __x, const char_type& __y) _NOEXCEPT
3024 {return _Traits::eq(__x, __y);}
Howard Hinnantbc8d3f92010-05-11 19:42:163025};
3026
3027template<class _CharT, class _Traits, class _Allocator>
3028typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnant9dcdcde2013-06-28 16:59:193029basic_string<_CharT, _Traits, _Allocator>::find(const value_type* __s,
Howard Hinnanta6119a82011-05-29 19:57:123030 size_type __pos,
3031 size_type __n) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163032{
Alp Tokerec34c482014-05-15 11:27:393033 _LIBCPP_ASSERT(__n == 0 || __s != nullptr, "string::find(): received nullptr");
Marshall Clow1e00d6d2016-07-21 05:31:243034 return __str_find<value_type, size_type, traits_type, npos>
Marshall Clow360f3192014-06-02 02:22:493035 (data(), size(), __s, __pos, __n);
Howard Hinnantbc8d3f92010-05-11 19:42:163036}
3037
3038template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003039inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163040typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnanta6119a82011-05-29 19:57:123041basic_string<_CharT, _Traits, _Allocator>::find(const basic_string& __str,
3042 size_type __pos) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163043{
Marshall Clow1e00d6d2016-07-21 05:31:243044 return __str_find<value_type, size_type, traits_type, npos>
Marshall Clow360f3192014-06-02 02:22:493045 (data(), size(), __str.data(), __pos, __str.size());
Howard Hinnantbc8d3f92010-05-11 19:42:163046}
3047
3048template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003049inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163050typename basic_string<_CharT, _Traits, _Allocator>::size_type
Marshall Clow1e00d6d2016-07-21 05:31:243051basic_string<_CharT, _Traits, _Allocator>::find(__self_view __sv,
3052 size_type __pos) const _NOEXCEPT
3053{
3054 return __str_find<value_type, size_type, traits_type, npos>
3055 (data(), size(), __sv.data(), __pos, __sv.size());
3056}
3057
3058template<class _CharT, class _Traits, class _Allocator>
3059inline _LIBCPP_INLINE_VISIBILITY
3060typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnant9dcdcde2013-06-28 16:59:193061basic_string<_CharT, _Traits, _Allocator>::find(const value_type* __s,
Howard Hinnanta6119a82011-05-29 19:57:123062 size_type __pos) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163063{
Alp Tokerec34c482014-05-15 11:27:393064 _LIBCPP_ASSERT(__s != nullptr, "string::find(): received nullptr");
Marshall Clow1e00d6d2016-07-21 05:31:243065 return __str_find<value_type, size_type, traits_type, npos>
Marshall Clow360f3192014-06-02 02:22:493066 (data(), size(), __s, __pos, traits_type::length(__s));
Howard Hinnantbc8d3f92010-05-11 19:42:163067}
3068
3069template<class _CharT, class _Traits, class _Allocator>
3070typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnanta6119a82011-05-29 19:57:123071basic_string<_CharT, _Traits, _Allocator>::find(value_type __c,
3072 size_type __pos) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163073{
Marshall Clow1e00d6d2016-07-21 05:31:243074 return __str_find<value_type, size_type, traits_type, npos>
Marshall Clow360f3192014-06-02 02:22:493075 (data(), size(), __c, __pos);
Howard Hinnantbc8d3f92010-05-11 19:42:163076}
3077
3078// rfind
3079
3080template<class _CharT, class _Traits, class _Allocator>
3081typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnant9dcdcde2013-06-28 16:59:193082basic_string<_CharT, _Traits, _Allocator>::rfind(const value_type* __s,
Howard Hinnanta6119a82011-05-29 19:57:123083 size_type __pos,
3084 size_type __n) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163085{
Alp Tokerec34c482014-05-15 11:27:393086 _LIBCPP_ASSERT(__n == 0 || __s != nullptr, "string::rfind(): received nullptr");
Marshall Clow1e00d6d2016-07-21 05:31:243087 return __str_rfind<value_type, size_type, traits_type, npos>
Marshall Clow360f3192014-06-02 02:22:493088 (data(), size(), __s, __pos, __n);
Howard Hinnantbc8d3f92010-05-11 19:42:163089}
3090
3091template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003092inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163093typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnanta6119a82011-05-29 19:57:123094basic_string<_CharT, _Traits, _Allocator>::rfind(const basic_string& __str,
3095 size_type __pos) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163096{
Marshall Clow1e00d6d2016-07-21 05:31:243097 return __str_rfind<value_type, size_type, traits_type, npos>
Marshall Clow360f3192014-06-02 02:22:493098 (data(), size(), __str.data(), __pos, __str.size());
Howard Hinnantbc8d3f92010-05-11 19:42:163099}
3100
3101template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003102inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163103typename basic_string<_CharT, _Traits, _Allocator>::size_type
Marshall Clow1e00d6d2016-07-21 05:31:243104basic_string<_CharT, _Traits, _Allocator>::rfind(__self_view __sv,
3105 size_type __pos) const _NOEXCEPT
3106{
3107 return __str_rfind<value_type, size_type, traits_type, npos>
3108 (data(), size(), __sv.data(), __pos, __sv.size());
3109}
3110
3111template<class _CharT, class _Traits, class _Allocator>
3112inline _LIBCPP_INLINE_VISIBILITY
3113typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnant9dcdcde2013-06-28 16:59:193114basic_string<_CharT, _Traits, _Allocator>::rfind(const value_type* __s,
Howard Hinnanta6119a82011-05-29 19:57:123115 size_type __pos) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163116{
Alp Tokerec34c482014-05-15 11:27:393117 _LIBCPP_ASSERT(__s != nullptr, "string::rfind(): received nullptr");
Marshall Clow1e00d6d2016-07-21 05:31:243118 return __str_rfind<value_type, size_type, traits_type, npos>
Marshall Clow360f3192014-06-02 02:22:493119 (data(), size(), __s, __pos, traits_type::length(__s));
Howard Hinnantbc8d3f92010-05-11 19:42:163120}
3121
3122template<class _CharT, class _Traits, class _Allocator>
3123typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnanta6119a82011-05-29 19:57:123124basic_string<_CharT, _Traits, _Allocator>::rfind(value_type __c,
3125 size_type __pos) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163126{
Marshall Clow1e00d6d2016-07-21 05:31:243127 return __str_rfind<value_type, size_type, traits_type, npos>
Marshall Clow360f3192014-06-02 02:22:493128 (data(), size(), __c, __pos);
Howard Hinnantbc8d3f92010-05-11 19:42:163129}
3130
3131// find_first_of
3132
3133template<class _CharT, class _Traits, class _Allocator>
3134typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnant9dcdcde2013-06-28 16:59:193135basic_string<_CharT, _Traits, _Allocator>::find_first_of(const value_type* __s,
Howard Hinnanta6119a82011-05-29 19:57:123136 size_type __pos,
3137 size_type __n) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163138{
Alp Tokerec34c482014-05-15 11:27:393139 _LIBCPP_ASSERT(__n == 0 || __s != nullptr, "string::find_first_of(): received nullptr");
Marshall Clow1e00d6d2016-07-21 05:31:243140 return __str_find_first_of<value_type, size_type, traits_type, npos>
Marshall Clow8eb5acc2014-02-16 01:57:263141 (data(), size(), __s, __pos, __n);
Howard Hinnantbc8d3f92010-05-11 19:42:163142}
3143
3144template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003145inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163146typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnanta6119a82011-05-29 19:57:123147basic_string<_CharT, _Traits, _Allocator>::find_first_of(const basic_string& __str,
3148 size_type __pos) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163149{
Marshall Clow1e00d6d2016-07-21 05:31:243150 return __str_find_first_of<value_type, size_type, traits_type, npos>
Marshall Clow8eb5acc2014-02-16 01:57:263151 (data(), size(), __str.data(), __pos, __str.size());
Howard Hinnantbc8d3f92010-05-11 19:42:163152}
3153
3154template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003155inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163156typename basic_string<_CharT, _Traits, _Allocator>::size_type
Marshall Clow1e00d6d2016-07-21 05:31:243157basic_string<_CharT, _Traits, _Allocator>::find_first_of(__self_view __sv,
3158 size_type __pos) const _NOEXCEPT
3159{
3160 return __str_find_first_of<value_type, size_type, traits_type, npos>
3161 (data(), size(), __sv.data(), __pos, __sv.size());
3162}
3163
3164template<class _CharT, class _Traits, class _Allocator>
3165inline _LIBCPP_INLINE_VISIBILITY
3166typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnant9dcdcde2013-06-28 16:59:193167basic_string<_CharT, _Traits, _Allocator>::find_first_of(const value_type* __s,
Howard Hinnanta6119a82011-05-29 19:57:123168 size_type __pos) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163169{
Alp Tokerec34c482014-05-15 11:27:393170 _LIBCPP_ASSERT(__s != nullptr, "string::find_first_of(): received nullptr");
Marshall Clow1e00d6d2016-07-21 05:31:243171 return __str_find_first_of<value_type, size_type, traits_type, npos>
Marshall Clow8eb5acc2014-02-16 01:57:263172 (data(), size(), __s, __pos, traits_type::length(__s));
Howard Hinnantbc8d3f92010-05-11 19:42:163173}
3174
3175template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003176inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163177typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnanta6119a82011-05-29 19:57:123178basic_string<_CharT, _Traits, _Allocator>::find_first_of(value_type __c,
3179 size_type __pos) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163180{
3181 return find(__c, __pos);
3182}
3183
3184// find_last_of
3185
3186template<class _CharT, class _Traits, class _Allocator>
3187typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnant9dcdcde2013-06-28 16:59:193188basic_string<_CharT, _Traits, _Allocator>::find_last_of(const value_type* __s,
Howard Hinnanta6119a82011-05-29 19:57:123189 size_type __pos,
3190 size_type __n) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163191{
Alp Tokerec34c482014-05-15 11:27:393192 _LIBCPP_ASSERT(__n == 0 || __s != nullptr, "string::find_last_of(): received nullptr");
Marshall Clow1e00d6d2016-07-21 05:31:243193 return __str_find_last_of<value_type, size_type, traits_type, npos>
Marshall Clow8eb5acc2014-02-16 01:57:263194 (data(), size(), __s, __pos, __n);
Howard Hinnantbc8d3f92010-05-11 19:42:163195}
3196
3197template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003198inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163199typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnanta6119a82011-05-29 19:57:123200basic_string<_CharT, _Traits, _Allocator>::find_last_of(const basic_string& __str,
3201 size_type __pos) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163202{
Marshall Clow1e00d6d2016-07-21 05:31:243203 return __str_find_last_of<value_type, size_type, traits_type, npos>
Marshall Clow8eb5acc2014-02-16 01:57:263204 (data(), size(), __str.data(), __pos, __str.size());
Howard Hinnantbc8d3f92010-05-11 19:42:163205}
3206
3207template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003208inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163209typename basic_string<_CharT, _Traits, _Allocator>::size_type
Marshall Clow1e00d6d2016-07-21 05:31:243210basic_string<_CharT, _Traits, _Allocator>::find_last_of(__self_view __sv,
3211 size_type __pos) const _NOEXCEPT
3212{
3213 return __str_find_last_of<value_type, size_type, traits_type, npos>
3214 (data(), size(), __sv.data(), __pos, __sv.size());
3215}
3216
3217template<class _CharT, class _Traits, class _Allocator>
3218inline _LIBCPP_INLINE_VISIBILITY
3219typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnant9dcdcde2013-06-28 16:59:193220basic_string<_CharT, _Traits, _Allocator>::find_last_of(const value_type* __s,
Howard Hinnanta6119a82011-05-29 19:57:123221 size_type __pos) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163222{
Alp Tokerec34c482014-05-15 11:27:393223 _LIBCPP_ASSERT(__s != nullptr, "string::find_last_of(): received nullptr");
Marshall Clow1e00d6d2016-07-21 05:31:243224 return __str_find_last_of<value_type, size_type, traits_type, npos>
Marshall Clow8eb5acc2014-02-16 01:57:263225 (data(), size(), __s, __pos, traits_type::length(__s));
Howard Hinnantbc8d3f92010-05-11 19:42:163226}
3227
3228template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003229inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163230typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnanta6119a82011-05-29 19:57:123231basic_string<_CharT, _Traits, _Allocator>::find_last_of(value_type __c,
3232 size_type __pos) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163233{
3234 return rfind(__c, __pos);
3235}
3236
3237// find_first_not_of
3238
3239template<class _CharT, class _Traits, class _Allocator>
3240typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnant9dcdcde2013-06-28 16:59:193241basic_string<_CharT, _Traits, _Allocator>::find_first_not_of(const value_type* __s,
Howard Hinnanta6119a82011-05-29 19:57:123242 size_type __pos,
3243 size_type __n) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163244{
Alp Tokerec34c482014-05-15 11:27:393245 _LIBCPP_ASSERT(__n == 0 || __s != nullptr, "string::find_first_not_of(): received nullptr");
Marshall Clow1e00d6d2016-07-21 05:31:243246 return __str_find_first_not_of<value_type, size_type, traits_type, npos>
Marshall Clow8eb5acc2014-02-16 01:57:263247 (data(), size(), __s, __pos, __n);
Howard Hinnantbc8d3f92010-05-11 19:42:163248}
3249
3250template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003251inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163252typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnanta6119a82011-05-29 19:57:123253basic_string<_CharT, _Traits, _Allocator>::find_first_not_of(const basic_string& __str,
3254 size_type __pos) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163255{
Marshall Clow1e00d6d2016-07-21 05:31:243256 return __str_find_first_not_of<value_type, size_type, traits_type, npos>
Marshall Clow8eb5acc2014-02-16 01:57:263257 (data(), size(), __str.data(), __pos, __str.size());
Howard Hinnantbc8d3f92010-05-11 19:42:163258}
3259
3260template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003261inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163262typename basic_string<_CharT, _Traits, _Allocator>::size_type
Marshall Clow1e00d6d2016-07-21 05:31:243263basic_string<_CharT, _Traits, _Allocator>::find_first_not_of(__self_view __sv,
3264 size_type __pos) const _NOEXCEPT
3265{
3266 return __str_find_first_not_of<value_type, size_type, traits_type, npos>
3267 (data(), size(), __sv.data(), __pos, __sv.size());
3268}
3269
3270template<class _CharT, class _Traits, class _Allocator>
3271inline _LIBCPP_INLINE_VISIBILITY
3272typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnant9dcdcde2013-06-28 16:59:193273basic_string<_CharT, _Traits, _Allocator>::find_first_not_of(const value_type* __s,
Howard Hinnanta6119a82011-05-29 19:57:123274 size_type __pos) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163275{
Alp Tokerec34c482014-05-15 11:27:393276 _LIBCPP_ASSERT(__s != nullptr, "string::find_first_not_of(): received nullptr");
Marshall Clow1e00d6d2016-07-21 05:31:243277 return __str_find_first_not_of<value_type, size_type, traits_type, npos>
Marshall Clow8eb5acc2014-02-16 01:57:263278 (data(), size(), __s, __pos, traits_type::length(__s));
Howard Hinnantbc8d3f92010-05-11 19:42:163279}
3280
3281template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003282inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163283typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnanta6119a82011-05-29 19:57:123284basic_string<_CharT, _Traits, _Allocator>::find_first_not_of(value_type __c,
3285 size_type __pos) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163286{
Marshall Clow1e00d6d2016-07-21 05:31:243287 return __str_find_first_not_of<value_type, size_type, traits_type, npos>
Marshall Clow8eb5acc2014-02-16 01:57:263288 (data(), size(), __c, __pos);
Howard Hinnantbc8d3f92010-05-11 19:42:163289}
3290
3291// find_last_not_of
3292
3293template<class _CharT, class _Traits, class _Allocator>
3294typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnant9dcdcde2013-06-28 16:59:193295basic_string<_CharT, _Traits, _Allocator>::find_last_not_of(const value_type* __s,
Howard Hinnanta6119a82011-05-29 19:57:123296 size_type __pos,
3297 size_type __n) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163298{
Alp Tokerec34c482014-05-15 11:27:393299 _LIBCPP_ASSERT(__n == 0 || __s != nullptr, "string::find_last_not_of(): received nullptr");
Marshall Clow1e00d6d2016-07-21 05:31:243300 return __str_find_last_not_of<value_type, size_type, traits_type, npos>
Marshall Clow8eb5acc2014-02-16 01:57:263301 (data(), size(), __s, __pos, __n);
Howard Hinnantbc8d3f92010-05-11 19:42:163302}
3303
3304template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003305inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163306typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnanta6119a82011-05-29 19:57:123307basic_string<_CharT, _Traits, _Allocator>::find_last_not_of(const basic_string& __str,
3308 size_type __pos) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163309{
Marshall Clow1e00d6d2016-07-21 05:31:243310 return __str_find_last_not_of<value_type, size_type, traits_type, npos>
Marshall Clow8eb5acc2014-02-16 01:57:263311 (data(), size(), __str.data(), __pos, __str.size());
Howard Hinnantbc8d3f92010-05-11 19:42:163312}
3313
3314template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003315inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163316typename basic_string<_CharT, _Traits, _Allocator>::size_type
Marshall Clow1e00d6d2016-07-21 05:31:243317basic_string<_CharT, _Traits, _Allocator>::find_last_not_of(__self_view __sv,
3318 size_type __pos) const _NOEXCEPT
3319{
3320 return __str_find_last_not_of<value_type, size_type, traits_type, npos>
3321 (data(), size(), __sv.data(), __pos, __sv.size());
3322}
3323
3324template<class _CharT, class _Traits, class _Allocator>
3325inline _LIBCPP_INLINE_VISIBILITY
3326typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnant9dcdcde2013-06-28 16:59:193327basic_string<_CharT, _Traits, _Allocator>::find_last_not_of(const value_type* __s,
Howard Hinnanta6119a82011-05-29 19:57:123328 size_type __pos) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163329{
Alp Tokerec34c482014-05-15 11:27:393330 _LIBCPP_ASSERT(__s != nullptr, "string::find_last_not_of(): received nullptr");
Marshall Clow1e00d6d2016-07-21 05:31:243331 return __str_find_last_not_of<value_type, size_type, traits_type, npos>
Marshall Clow8eb5acc2014-02-16 01:57:263332 (data(), size(), __s, __pos, traits_type::length(__s));
Howard Hinnantbc8d3f92010-05-11 19:42:163333}
3334
3335template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003336inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163337typename basic_string<_CharT, _Traits, _Allocator>::size_type
Howard Hinnanta6119a82011-05-29 19:57:123338basic_string<_CharT, _Traits, _Allocator>::find_last_not_of(value_type __c,
3339 size_type __pos) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163340{
Marshall Clow1e00d6d2016-07-21 05:31:243341 return __str_find_last_not_of<value_type, size_type, traits_type, npos>
Marshall Clow8eb5acc2014-02-16 01:57:263342 (data(), size(), __c, __pos);
Howard Hinnantbc8d3f92010-05-11 19:42:163343}
3344
3345// compare
3346
3347template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003348inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163349int
Marshall Clow1e00d6d2016-07-21 05:31:243350basic_string<_CharT, _Traits, _Allocator>::compare(__self_view __sv) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163351{
Howard Hinnantfa06d752011-07-24 21:45:063352 size_t __lhs_sz = size();
Marshall Clow1e00d6d2016-07-21 05:31:243353 size_t __rhs_sz = __sv.size();
3354 int __result = traits_type::compare(data(), __sv.data(),
Howard Hinnantfa06d752011-07-24 21:45:063355 _VSTD::min(__lhs_sz, __rhs_sz));
3356 if (__result != 0)
3357 return __result;
3358 if (__lhs_sz < __rhs_sz)
3359 return -1;
3360 if (__lhs_sz > __rhs_sz)
3361 return 1;
3362 return 0;
Howard Hinnantbc8d3f92010-05-11 19:42:163363}
3364
3365template <class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003366inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163367int
Marshall Clow1e00d6d2016-07-21 05:31:243368basic_string<_CharT, _Traits, _Allocator>::compare(const basic_string& __str) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163369{
Marshall Clow1e00d6d2016-07-21 05:31:243370 return compare(__self_view(__str));
Howard Hinnantbc8d3f92010-05-11 19:42:163371}
3372
3373template <class _CharT, class _Traits, class _Allocator>
3374int
Howard Hinnanta6119a82011-05-29 19:57:123375basic_string<_CharT, _Traits, _Allocator>::compare(size_type __pos1,
3376 size_type __n1,
Howard Hinnant9dcdcde2013-06-28 16:59:193377 const value_type* __s,
Howard Hinnanta6119a82011-05-29 19:57:123378 size_type __n2) const
Howard Hinnantbc8d3f92010-05-11 19:42:163379{
Alp Tokerec34c482014-05-15 11:27:393380 _LIBCPP_ASSERT(__n2 == 0 || __s != nullptr, "string::compare(): received nullptr");
Howard Hinnantbc8d3f92010-05-11 19:42:163381 size_type __sz = size();
3382 if (__pos1 > __sz || __n2 == npos)
3383 this->__throw_out_of_range();
Howard Hinnant0949eed2011-06-30 21:18:193384 size_type __rlen = _VSTD::min(__n1, __sz - __pos1);
3385 int __r = traits_type::compare(data() + __pos1, __s, _VSTD::min(__rlen, __n2));
Howard Hinnantbc8d3f92010-05-11 19:42:163386 if (__r == 0)
3387 {
3388 if (__rlen < __n2)
3389 __r = -1;
3390 else if (__rlen > __n2)
3391 __r = 1;
3392 }
3393 return __r;
3394}
3395
Marshall Clow1e00d6d2016-07-21 05:31:243396template <class _CharT, class _Traits, class _Allocator>
3397inline _LIBCPP_INLINE_VISIBILITY
3398int
3399basic_string<_CharT, _Traits, _Allocator>::compare(size_type __pos1,
3400 size_type __n1,
3401 __self_view __sv) const
3402{
3403 return compare(__pos1, __n1, __sv.data(), __sv.size());
3404}
3405
3406template <class _CharT, class _Traits, class _Allocator>
3407inline _LIBCPP_INLINE_VISIBILITY
3408int
3409basic_string<_CharT, _Traits, _Allocator>::compare(size_type __pos1,
3410 size_type __n1,
3411 const basic_string& __str) const
3412{
3413 return compare(__pos1, __n1, __str.data(), __str.size());
3414}
3415
3416template <class _CharT, class _Traits, class _Allocator>
Marshall Clow6ac8de02016-09-24 22:45:423417template <class _Tp>
3418typename enable_if
3419<
3420__can_be_converted_to_string_view<_CharT, _Traits, _Tp>::value,
3421int
3422>::type
Marshall Clow1e00d6d2016-07-21 05:31:243423basic_string<_CharT, _Traits, _Allocator>::compare(size_type __pos1,
3424 size_type __n1,
Marshall Clow6ac8de02016-09-24 22:45:423425 const _Tp& __t,
Marshall Clow1e00d6d2016-07-21 05:31:243426 size_type __pos2,
3427 size_type __n2) const
3428{
Marshall Clow6ac8de02016-09-24 22:45:423429 __self_view __sv = __t;
Marshall Clow1e00d6d2016-07-21 05:31:243430 return __self_view(*this).substr(__pos1, __n1).compare(__sv.substr(__pos2, __n2));
3431}
3432
3433template <class _CharT, class _Traits, class _Allocator>
3434int
3435basic_string<_CharT, _Traits, _Allocator>::compare(size_type __pos1,
3436 size_type __n1,
3437 const basic_string& __str,
3438 size_type __pos2,
3439 size_type __n2) const
3440{
3441 return compare(__pos1, __n1, __self_view(__str), __pos2, __n2);
3442}
3443
3444template <class _CharT, class _Traits, class _Allocator>
3445int
3446basic_string<_CharT, _Traits, _Allocator>::compare(const value_type* __s) const _NOEXCEPT
3447{
3448 _LIBCPP_ASSERT(__s != nullptr, "string::compare(): received nullptr");
3449 return compare(0, npos, __s, traits_type::length(__s));
3450}
3451
3452template <class _CharT, class _Traits, class _Allocator>
3453int
3454basic_string<_CharT, _Traits, _Allocator>::compare(size_type __pos1,
3455 size_type __n1,
3456 const value_type* __s) const
3457{
3458 _LIBCPP_ASSERT(__s != nullptr, "string::compare(): received nullptr");
3459 return compare(__pos1, __n1, __s, traits_type::length(__s));
3460}
3461
Howard Hinnantbc8d3f92010-05-11 19:42:163462// __invariants
3463
3464template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003465inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163466bool
3467basic_string<_CharT, _Traits, _Allocator>::__invariants() const
3468{
3469 if (size() > capacity())
3470 return false;
3471 if (capacity() < __min_cap - 1)
3472 return false;
3473 if (data() == 0)
3474 return false;
3475 if (data()[size()] != value_type(0))
3476 return false;
3477 return true;
3478}
3479
3480// operator==
3481
3482template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003483inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163484bool
3485operator==(const basic_string<_CharT, _Traits, _Allocator>& __lhs,
Howard Hinnanta6119a82011-05-29 19:57:123486 const basic_string<_CharT, _Traits, _Allocator>& __rhs) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163487{
Howard Hinnant08dd2532013-04-22 23:55:133488 size_t __lhs_sz = __lhs.size();
3489 return __lhs_sz == __rhs.size() && _Traits::compare(__lhs.data(),
3490 __rhs.data(),
3491 __lhs_sz) == 0;
3492}
3493
3494template<class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003495inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant08dd2532013-04-22 23:55:133496bool
3497operator==(const basic_string<char, char_traits<char>, _Allocator>& __lhs,
3498 const basic_string<char, char_traits<char>, _Allocator>& __rhs) _NOEXCEPT
3499{
3500 size_t __lhs_sz = __lhs.size();
3501 if (__lhs_sz != __rhs.size())
3502 return false;
3503 const char* __lp = __lhs.data();
3504 const char* __rp = __rhs.data();
3505 if (__lhs.__is_long())
3506 return char_traits<char>::compare(__lp, __rp, __lhs_sz) == 0;
3507 for (; __lhs_sz != 0; --__lhs_sz, ++__lp, ++__rp)
3508 if (*__lp != *__rp)
3509 return false;
3510 return true;
Howard Hinnantbc8d3f92010-05-11 19:42:163511}
3512
3513template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003514inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163515bool
Howard Hinnanta6119a82011-05-29 19:57:123516operator==(const _CharT* __lhs,
3517 const basic_string<_CharT, _Traits, _Allocator>& __rhs) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163518{
Eric Fiselier4f241822015-08-28 03:02:373519 typedef basic_string<_CharT, _Traits, _Allocator> _String;
3520 _LIBCPP_ASSERT(__lhs != nullptr, "operator==(char*, basic_string): received nullptr");
3521 size_t __lhs_len = _Traits::length(__lhs);
3522 if (__lhs_len != __rhs.size()) return false;
3523 return __rhs.compare(0, _String::npos, __lhs, __lhs_len) == 0;
Howard Hinnantbc8d3f92010-05-11 19:42:163524}
3525
Howard Hinnantbc8d3f92010-05-11 19:42:163526template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003527inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163528bool
Howard Hinnanta6119a82011-05-29 19:57:123529operator==(const basic_string<_CharT,_Traits,_Allocator>& __lhs,
3530 const _CharT* __rhs) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163531{
Eric Fiselier4f241822015-08-28 03:02:373532 typedef basic_string<_CharT, _Traits, _Allocator> _String;
3533 _LIBCPP_ASSERT(__rhs != nullptr, "operator==(basic_string, char*): received nullptr");
3534 size_t __rhs_len = _Traits::length(__rhs);
3535 if (__rhs_len != __lhs.size()) return false;
3536 return __lhs.compare(0, _String::npos, __rhs, __rhs_len) == 0;
Howard Hinnantbc8d3f92010-05-11 19:42:163537}
3538
Howard Hinnant324bb032010-08-22 00:02:433539template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003540inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163541bool
3542operator!=(const basic_string<_CharT,_Traits,_Allocator>& __lhs,
Howard Hinnanta6119a82011-05-29 19:57:123543 const basic_string<_CharT, _Traits, _Allocator>& __rhs) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163544{
3545 return !(__lhs == __rhs);
3546}
3547
3548template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003549inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163550bool
Howard Hinnanta6119a82011-05-29 19:57:123551operator!=(const _CharT* __lhs,
3552 const basic_string<_CharT, _Traits, _Allocator>& __rhs) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163553{
3554 return !(__lhs == __rhs);
3555}
3556
3557template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003558inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163559bool
Howard Hinnanta6119a82011-05-29 19:57:123560operator!=(const basic_string<_CharT, _Traits, _Allocator>& __lhs,
3561 const _CharT* __rhs) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163562{
3563 return !(__lhs == __rhs);
3564}
3565
3566// operator<
3567
3568template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003569inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163570bool
3571operator< (const basic_string<_CharT, _Traits, _Allocator>& __lhs,
Howard Hinnanta6119a82011-05-29 19:57:123572 const basic_string<_CharT, _Traits, _Allocator>& __rhs) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163573{
Howard Hinnant2644a7b2011-07-24 15:07:213574 return __lhs.compare(__rhs) < 0;
Howard Hinnantbc8d3f92010-05-11 19:42:163575}
3576
3577template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003578inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163579bool
Howard Hinnanta6119a82011-05-29 19:57:123580operator< (const basic_string<_CharT, _Traits, _Allocator>& __lhs,
3581 const _CharT* __rhs) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163582{
Howard Hinnant2644a7b2011-07-24 15:07:213583 return __lhs.compare(__rhs) < 0;
Howard Hinnantbc8d3f92010-05-11 19:42:163584}
3585
3586template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003587inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163588bool
Howard Hinnanta6119a82011-05-29 19:57:123589operator< (const _CharT* __lhs,
3590 const basic_string<_CharT, _Traits, _Allocator>& __rhs) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163591{
3592 return __rhs.compare(__lhs) > 0;
3593}
3594
Howard Hinnantbc8d3f92010-05-11 19:42:163595// operator>
3596
3597template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003598inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163599bool
3600operator> (const basic_string<_CharT, _Traits, _Allocator>& __lhs,
Howard Hinnanta6119a82011-05-29 19:57:123601 const basic_string<_CharT, _Traits, _Allocator>& __rhs) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163602{
3603 return __rhs < __lhs;
3604}
3605
3606template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003607inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163608bool
Howard Hinnanta6119a82011-05-29 19:57:123609operator> (const basic_string<_CharT, _Traits, _Allocator>& __lhs,
3610 const _CharT* __rhs) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163611{
3612 return __rhs < __lhs;
3613}
3614
3615template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003616inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163617bool
Howard Hinnanta6119a82011-05-29 19:57:123618operator> (const _CharT* __lhs,
3619 const basic_string<_CharT, _Traits, _Allocator>& __rhs) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163620{
3621 return __rhs < __lhs;
3622}
3623
3624// operator<=
3625
3626template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003627inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163628bool
3629operator<=(const basic_string<_CharT, _Traits, _Allocator>& __lhs,
Howard Hinnanta6119a82011-05-29 19:57:123630 const basic_string<_CharT, _Traits, _Allocator>& __rhs) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163631{
3632 return !(__rhs < __lhs);
3633}
3634
3635template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003636inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163637bool
Howard Hinnanta6119a82011-05-29 19:57:123638operator<=(const basic_string<_CharT, _Traits, _Allocator>& __lhs,
3639 const _CharT* __rhs) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163640{
3641 return !(__rhs < __lhs);
3642}
3643
3644template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003645inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163646bool
Howard Hinnanta6119a82011-05-29 19:57:123647operator<=(const _CharT* __lhs,
3648 const basic_string<_CharT, _Traits, _Allocator>& __rhs) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163649{
3650 return !(__rhs < __lhs);
3651}
3652
3653// operator>=
3654
3655template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003656inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163657bool
3658operator>=(const basic_string<_CharT, _Traits, _Allocator>& __lhs,
Howard Hinnanta6119a82011-05-29 19:57:123659 const basic_string<_CharT, _Traits, _Allocator>& __rhs) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163660{
3661 return !(__lhs < __rhs);
3662}
3663
3664template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003665inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163666bool
Howard Hinnanta6119a82011-05-29 19:57:123667operator>=(const basic_string<_CharT, _Traits, _Allocator>& __lhs,
3668 const _CharT* __rhs) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163669{
3670 return !(__lhs < __rhs);
3671}
3672
3673template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003674inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163675bool
Howard Hinnanta6119a82011-05-29 19:57:123676operator>=(const _CharT* __lhs,
3677 const basic_string<_CharT, _Traits, _Allocator>& __rhs) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163678{
3679 return !(__lhs < __rhs);
3680}
3681
3682// operator +
3683
3684template<class _CharT, class _Traits, class _Allocator>
3685basic_string<_CharT, _Traits, _Allocator>
3686operator+(const basic_string<_CharT, _Traits, _Allocator>& __lhs,
3687 const basic_string<_CharT, _Traits, _Allocator>& __rhs)
3688{
3689 basic_string<_CharT, _Traits, _Allocator> __r(__lhs.get_allocator());
3690 typename basic_string<_CharT, _Traits, _Allocator>::size_type __lhs_sz = __lhs.size();
3691 typename basic_string<_CharT, _Traits, _Allocator>::size_type __rhs_sz = __rhs.size();
3692 __r.__init(__lhs.data(), __lhs_sz, __lhs_sz + __rhs_sz);
3693 __r.append(__rhs.data(), __rhs_sz);
3694 return __r;
3695}
3696
3697template<class _CharT, class _Traits, class _Allocator>
3698basic_string<_CharT, _Traits, _Allocator>
3699operator+(const _CharT* __lhs , const basic_string<_CharT,_Traits,_Allocator>& __rhs)
3700{
3701 basic_string<_CharT, _Traits, _Allocator> __r(__rhs.get_allocator());
3702 typename basic_string<_CharT, _Traits, _Allocator>::size_type __lhs_sz = _Traits::length(__lhs);
3703 typename basic_string<_CharT, _Traits, _Allocator>::size_type __rhs_sz = __rhs.size();
3704 __r.__init(__lhs, __lhs_sz, __lhs_sz + __rhs_sz);
3705 __r.append(__rhs.data(), __rhs_sz);
3706 return __r;
3707}
3708
3709template<class _CharT, class _Traits, class _Allocator>
3710basic_string<_CharT, _Traits, _Allocator>
3711operator+(_CharT __lhs, const basic_string<_CharT,_Traits,_Allocator>& __rhs)
3712{
3713 basic_string<_CharT, _Traits, _Allocator> __r(__rhs.get_allocator());
3714 typename basic_string<_CharT, _Traits, _Allocator>::size_type __rhs_sz = __rhs.size();
3715 __r.__init(&__lhs, 1, 1 + __rhs_sz);
3716 __r.append(__rhs.data(), __rhs_sz);
3717 return __r;
3718}
3719
3720template<class _CharT, class _Traits, class _Allocator>
3721basic_string<_CharT, _Traits, _Allocator>
3722operator+(const basic_string<_CharT, _Traits, _Allocator>& __lhs, const _CharT* __rhs)
3723{
3724 basic_string<_CharT, _Traits, _Allocator> __r(__lhs.get_allocator());
3725 typename basic_string<_CharT, _Traits, _Allocator>::size_type __lhs_sz = __lhs.size();
3726 typename basic_string<_CharT, _Traits, _Allocator>::size_type __rhs_sz = _Traits::length(__rhs);
3727 __r.__init(__lhs.data(), __lhs_sz, __lhs_sz + __rhs_sz);
3728 __r.append(__rhs, __rhs_sz);
3729 return __r;
3730}
3731
3732template<class _CharT, class _Traits, class _Allocator>
3733basic_string<_CharT, _Traits, _Allocator>
3734operator+(const basic_string<_CharT, _Traits, _Allocator>& __lhs, _CharT __rhs)
3735{
3736 basic_string<_CharT, _Traits, _Allocator> __r(__lhs.get_allocator());
3737 typename basic_string<_CharT, _Traits, _Allocator>::size_type __lhs_sz = __lhs.size();
3738 __r.__init(__lhs.data(), __lhs_sz, __lhs_sz + 1);
3739 __r.push_back(__rhs);
3740 return __r;
3741}
3742
Howard Hinnant73d21a42010-09-04 23:28:193743#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
Howard Hinnantbc8d3f92010-05-11 19:42:163744
3745template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003746inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163747basic_string<_CharT, _Traits, _Allocator>
3748operator+(basic_string<_CharT, _Traits, _Allocator>&& __lhs, const basic_string<_CharT, _Traits, _Allocator>& __rhs)
3749{
Howard Hinnant0949eed2011-06-30 21:18:193750 return _VSTD::move(__lhs.append(__rhs));
Howard Hinnantbc8d3f92010-05-11 19:42:163751}
3752
3753template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003754inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163755basic_string<_CharT, _Traits, _Allocator>
3756operator+(const basic_string<_CharT, _Traits, _Allocator>& __lhs, basic_string<_CharT, _Traits, _Allocator>&& __rhs)
3757{
Howard Hinnant0949eed2011-06-30 21:18:193758 return _VSTD::move(__rhs.insert(0, __lhs));
Howard Hinnantbc8d3f92010-05-11 19:42:163759}
3760
3761template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003762inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163763basic_string<_CharT, _Traits, _Allocator>
3764operator+(basic_string<_CharT, _Traits, _Allocator>&& __lhs, basic_string<_CharT, _Traits, _Allocator>&& __rhs)
3765{
Howard Hinnant0949eed2011-06-30 21:18:193766 return _VSTD::move(__lhs.append(__rhs));
Howard Hinnantbc8d3f92010-05-11 19:42:163767}
3768
3769template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003770inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163771basic_string<_CharT, _Traits, _Allocator>
3772operator+(const _CharT* __lhs , basic_string<_CharT,_Traits,_Allocator>&& __rhs)
3773{
Howard Hinnant0949eed2011-06-30 21:18:193774 return _VSTD::move(__rhs.insert(0, __lhs));
Howard Hinnantbc8d3f92010-05-11 19:42:163775}
3776
3777template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003778inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163779basic_string<_CharT, _Traits, _Allocator>
3780operator+(_CharT __lhs, basic_string<_CharT,_Traits,_Allocator>&& __rhs)
3781{
3782 __rhs.insert(__rhs.begin(), __lhs);
Howard Hinnant0949eed2011-06-30 21:18:193783 return _VSTD::move(__rhs);
Howard Hinnantbc8d3f92010-05-11 19:42:163784}
3785
3786template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003787inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163788basic_string<_CharT, _Traits, _Allocator>
3789operator+(basic_string<_CharT, _Traits, _Allocator>&& __lhs, const _CharT* __rhs)
3790{
Howard Hinnant0949eed2011-06-30 21:18:193791 return _VSTD::move(__lhs.append(__rhs));
Howard Hinnantbc8d3f92010-05-11 19:42:163792}
3793
3794template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003795inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163796basic_string<_CharT, _Traits, _Allocator>
3797operator+(basic_string<_CharT, _Traits, _Allocator>&& __lhs, _CharT __rhs)
3798{
3799 __lhs.push_back(__rhs);
Howard Hinnant0949eed2011-06-30 21:18:193800 return _VSTD::move(__lhs);
Howard Hinnantbc8d3f92010-05-11 19:42:163801}
3802
Howard Hinnant73d21a42010-09-04 23:28:193803#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
Howard Hinnantbc8d3f92010-05-11 19:42:163804
3805// swap
3806
3807template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant1e564242013-10-04 22:09:003808inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:163809void
Howard Hinnanta6119a82011-05-29 19:57:123810swap(basic_string<_CharT, _Traits, _Allocator>& __lhs,
Howard Hinnant53f7d4c2011-06-03 18:40:473811 basic_string<_CharT, _Traits, _Allocator>& __rhs)
3812 _NOEXCEPT_(_NOEXCEPT_(__lhs.swap(__rhs)))
Howard Hinnantbc8d3f92010-05-11 19:42:163813{
3814 __lhs.swap(__rhs);
3815}
3816
Howard Hinnantbc8d3f92010-05-11 19:42:163817#ifndef _LIBCPP_HAS_NO_UNICODE_CHARS
3818
3819typedef basic_string<char16_t> u16string;
3820typedef basic_string<char32_t> u32string;
3821
Howard Hinnant324bb032010-08-22 00:02:433822#endif // _LIBCPP_HAS_NO_UNICODE_CHARS
Howard Hinnantbc8d3f92010-05-11 19:42:163823
Howard Hinnant0f678bd2013-08-12 18:38:343824_LIBCPP_FUNC_VIS int stoi (const string& __str, size_t* __idx = 0, int __base = 10);
3825_LIBCPP_FUNC_VIS long stol (const string& __str, size_t* __idx = 0, int __base = 10);
3826_LIBCPP_FUNC_VIS unsigned long stoul (const string& __str, size_t* __idx = 0, int __base = 10);
3827_LIBCPP_FUNC_VIS long long stoll (const string& __str, size_t* __idx = 0, int __base = 10);
3828_LIBCPP_FUNC_VIS unsigned long long stoull(const string& __str, size_t* __idx = 0, int __base = 10);
Howard Hinnanta6a062d2010-06-02 18:20:393829
Howard Hinnant0f678bd2013-08-12 18:38:343830_LIBCPP_FUNC_VIS float stof (const string& __str, size_t* __idx = 0);
3831_LIBCPP_FUNC_VIS double stod (const string& __str, size_t* __idx = 0);
3832_LIBCPP_FUNC_VIS long double stold(const string& __str, size_t* __idx = 0);
Howard Hinnanta6a062d2010-06-02 18:20:393833
Howard Hinnant0f678bd2013-08-12 18:38:343834_LIBCPP_FUNC_VIS string to_string(int __val);
3835_LIBCPP_FUNC_VIS string to_string(unsigned __val);
3836_LIBCPP_FUNC_VIS string to_string(long __val);
3837_LIBCPP_FUNC_VIS string to_string(unsigned long __val);
3838_LIBCPP_FUNC_VIS string to_string(long long __val);
3839_LIBCPP_FUNC_VIS string to_string(unsigned long long __val);
3840_LIBCPP_FUNC_VIS string to_string(float __val);
3841_LIBCPP_FUNC_VIS string to_string(double __val);
3842_LIBCPP_FUNC_VIS string to_string(long double __val);
Howard Hinnanta6a062d2010-06-02 18:20:393843
Howard Hinnant0f678bd2013-08-12 18:38:343844_LIBCPP_FUNC_VIS int stoi (const wstring& __str, size_t* __idx = 0, int __base = 10);
3845_LIBCPP_FUNC_VIS long stol (const wstring& __str, size_t* __idx = 0, int __base = 10);
3846_LIBCPP_FUNC_VIS unsigned long stoul (const wstring& __str, size_t* __idx = 0, int __base = 10);
3847_LIBCPP_FUNC_VIS long long stoll (const wstring& __str, size_t* __idx = 0, int __base = 10);
3848_LIBCPP_FUNC_VIS unsigned long long stoull(const wstring& __str, size_t* __idx = 0, int __base = 10);
Howard Hinnanta6a062d2010-06-02 18:20:393849
Howard Hinnant0f678bd2013-08-12 18:38:343850_LIBCPP_FUNC_VIS float stof (const wstring& __str, size_t* __idx = 0);
3851_LIBCPP_FUNC_VIS double stod (const wstring& __str, size_t* __idx = 0);
3852_LIBCPP_FUNC_VIS long double stold(const wstring& __str, size_t* __idx = 0);
Howard Hinnanta6a062d2010-06-02 18:20:393853
Howard Hinnant0f678bd2013-08-12 18:38:343854_LIBCPP_FUNC_VIS wstring to_wstring(int __val);
3855_LIBCPP_FUNC_VIS wstring to_wstring(unsigned __val);
3856_LIBCPP_FUNC_VIS wstring to_wstring(long __val);
3857_LIBCPP_FUNC_VIS wstring to_wstring(unsigned long __val);
3858_LIBCPP_FUNC_VIS wstring to_wstring(long long __val);
3859_LIBCPP_FUNC_VIS wstring to_wstring(unsigned long long __val);
3860_LIBCPP_FUNC_VIS wstring to_wstring(float __val);
3861_LIBCPP_FUNC_VIS wstring to_wstring(double __val);
3862_LIBCPP_FUNC_VIS wstring to_wstring(long double __val);
Howard Hinnanta6a062d2010-06-02 18:20:393863
Howard Hinnantbc8d3f92010-05-11 19:42:163864template<class _CharT, class _Traits, class _Allocator>
3865 const typename basic_string<_CharT, _Traits, _Allocator>::size_type
3866 basic_string<_CharT, _Traits, _Allocator>::npos;
3867
3868template<class _CharT, class _Traits, class _Allocator>
Howard Hinnant0f678bd2013-08-12 18:38:343869struct _LIBCPP_TYPE_VIS_ONLY hash<basic_string<_CharT, _Traits, _Allocator> >
Howard Hinnantbc8d3f92010-05-11 19:42:163870 : public unary_function<basic_string<_CharT, _Traits, _Allocator>, size_t>
3871{
3872 size_t
Howard Hinnanta6119a82011-05-29 19:57:123873 operator()(const basic_string<_CharT, _Traits, _Allocator>& __val) const _NOEXCEPT;
Howard Hinnantbc8d3f92010-05-11 19:42:163874};
3875
3876template<class _CharT, class _Traits, class _Allocator>
3877size_t
3878hash<basic_string<_CharT, _Traits, _Allocator> >::operator()(
Howard Hinnanta6119a82011-05-29 19:57:123879 const basic_string<_CharT, _Traits, _Allocator>& __val) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:163880{
Sean Huntaffd9e52011-07-29 23:31:563881 return __do_string_hash(__val.data(), __val.data() + __val.size());
Howard Hinnantbc8d3f92010-05-11 19:42:163882}
3883
Howard Hinnant464aa5c2011-07-18 15:51:593884template<class _CharT, class _Traits, class _Allocator>
3885basic_ostream<_CharT, _Traits>&
3886operator<<(basic_ostream<_CharT, _Traits>& __os,
3887 const basic_string<_CharT, _Traits, _Allocator>& __str);
3888
3889template<class _CharT, class _Traits, class _Allocator>
3890basic_istream<_CharT, _Traits>&
3891operator>>(basic_istream<_CharT, _Traits>& __is,
3892 basic_string<_CharT, _Traits, _Allocator>& __str);
3893
3894template<class _CharT, class _Traits, class _Allocator>
3895basic_istream<_CharT, _Traits>&
3896getline(basic_istream<_CharT, _Traits>& __is,
3897 basic_string<_CharT, _Traits, _Allocator>& __str, _CharT __dlm);
3898
3899template<class _CharT, class _Traits, class _Allocator>
3900inline _LIBCPP_INLINE_VISIBILITY
3901basic_istream<_CharT, _Traits>&
3902getline(basic_istream<_CharT, _Traits>& __is,
3903 basic_string<_CharT, _Traits, _Allocator>& __str);
3904
3905#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
3906
3907template<class _CharT, class _Traits, class _Allocator>
3908inline _LIBCPP_INLINE_VISIBILITY
3909basic_istream<_CharT, _Traits>&
3910getline(basic_istream<_CharT, _Traits>&& __is,
3911 basic_string<_CharT, _Traits, _Allocator>& __str, _CharT __dlm);
3912
3913template<class _CharT, class _Traits, class _Allocator>
3914inline _LIBCPP_INLINE_VISIBILITY
3915basic_istream<_CharT, _Traits>&
3916getline(basic_istream<_CharT, _Traits>&& __is,
3917 basic_string<_CharT, _Traits, _Allocator>& __str);
3918
3919#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
3920
Howard Hinnant499cea12013-08-23 17:37:053921#if _LIBCPP_DEBUG_LEVEL >= 2
3922
3923template<class _CharT, class _Traits, class _Allocator>
3924bool
3925basic_string<_CharT, _Traits, _Allocator>::__dereferenceable(const const_iterator* __i) const
3926{
3927 return this->data() <= _VSTD::__to_raw_pointer(__i->base()) &&
3928 _VSTD::__to_raw_pointer(__i->base()) < this->data() + this->size();
3929}
3930
3931template<class _CharT, class _Traits, class _Allocator>
3932bool
3933basic_string<_CharT, _Traits, _Allocator>::__decrementable(const const_iterator* __i) const
3934{
3935 return this->data() < _VSTD::__to_raw_pointer(__i->base()) &&
3936 _VSTD::__to_raw_pointer(__i->base()) <= this->data() + this->size();
3937}
3938
3939template<class _CharT, class _Traits, class _Allocator>
3940bool
3941basic_string<_CharT, _Traits, _Allocator>::__addable(const const_iterator* __i, ptrdiff_t __n) const
3942{
3943 const value_type* __p = _VSTD::__to_raw_pointer(__i->base()) + __n;
3944 return this->data() <= __p && __p <= this->data() + this->size();
3945}
3946
3947template<class _CharT, class _Traits, class _Allocator>
3948bool
3949basic_string<_CharT, _Traits, _Allocator>::__subscriptable(const const_iterator* __i, ptrdiff_t __n) const
3950{
3951 const value_type* __p = _VSTD::__to_raw_pointer(__i->base()) + __n;
3952 return this->data() <= __p && __p < this->data() + this->size();
3953}
3954
3955#endif // _LIBCPP_DEBUG_LEVEL >= 2
3956
Marshall Clow15234322013-07-23 17:05:243957#if _LIBCPP_STD_VER > 11
3958// Literal suffixes for basic_string [basic.string.literals]
Marshall Clow8d9dd7a2013-10-05 21:18:323959inline namespace literals
Marshall Clow15234322013-07-23 17:05:243960{
3961 inline namespace string_literals
3962 {
Howard Hinnantab61b2c2013-08-07 19:39:483963 inline _LIBCPP_INLINE_VISIBILITY
3964 basic_string<char> operator "" s( const char *__str, size_t __len )
3965 {
3966 return basic_string<char> (__str, __len);
3967 }
Marshall Clow15234322013-07-23 17:05:243968
Howard Hinnantab61b2c2013-08-07 19:39:483969 inline _LIBCPP_INLINE_VISIBILITY
3970 basic_string<wchar_t> operator "" s( const wchar_t *__str, size_t __len )
3971 {
3972 return basic_string<wchar_t> (__str, __len);
3973 }
Marshall Clow15234322013-07-23 17:05:243974
Howard Hinnantab61b2c2013-08-07 19:39:483975 inline _LIBCPP_INLINE_VISIBILITY
3976 basic_string<char16_t> operator "" s( const char16_t *__str, size_t __len )
3977 {
3978 return basic_string<char16_t> (__str, __len);
3979 }
Marshall Clow15234322013-07-23 17:05:243980
Howard Hinnantab61b2c2013-08-07 19:39:483981 inline _LIBCPP_INLINE_VISIBILITY
3982 basic_string<char32_t> operator "" s( const char32_t *__str, size_t __len )
3983 {
3984 return basic_string<char32_t> (__str, __len);
3985 }
Marshall Clow15234322013-07-23 17:05:243986 }
3987}
3988#endif
3989
Eric Fiselier833d6442016-09-15 22:27:073990_LIBCPP_EXTERN_TEMPLATE(class _LIBCPP_EXTERN_TEMPLATE_TYPE_VIS basic_string<char>)
3991_LIBCPP_EXTERN_TEMPLATE(class _LIBCPP_EXTERN_TEMPLATE_TYPE_VIS basic_string<wchar_t>)
Howard Hinnant499cea12013-08-23 17:37:053992_LIBCPP_EXTERN_TEMPLATE(string operator+<char, char_traits<char>, allocator<char> >(char const*, string const&))
Howard Hinnantbc8d3f92010-05-11 19:42:163993
3994_LIBCPP_END_NAMESPACE_STD
3995
3996#endif // _LIBCPP_STRING