libstdc++
basic_string.h
Go to the documentation of this file.
1 // Components for manipulating sequences of characters -*- C++ -*-
2 
3 // Copyright (C) 1997-2020 Free Software Foundation, Inc.
4 //
5 // This file is part of the GNU ISO C++ Library. This library is free
6 // software; you can redistribute it and/or modify it under the
7 // terms of the GNU General Public License as published by the
8 // Free Software Foundation; either version 3, or (at your option)
9 // any later version.
10 
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 // GNU General Public License for more details.
15 
16 // Under Section 7 of GPL version 3, you are granted additional
17 // permissions described in the GCC Runtime Library Exception, version
18 // 3.1, as published by the Free Software Foundation.
19 
20 // You should have received a copy of the GNU General Public License and
21 // a copy of the GCC Runtime Library Exception along with this program;
22 // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
23 // <http://www.gnu.org/licenses/>.
24 
25 /** @file bits/basic_string.h
26  * This is an internal header file, included by other library headers.
27  * Do not attempt to use it directly. @headername{string}
28  */
29 
30 //
31 // ISO C++ 14882: 21 Strings library
32 //
33 
34 #ifndef _BASIC_STRING_H
35 #define _BASIC_STRING_H 1
36 
37 #pragma GCC system_header
38 
39 #include <ext/atomicity.h>
40 #include <ext/alloc_traits.h>
41 #include <debug/debug.h>
42 
43 #if __cplusplus >= 201103L
44 #include <initializer_list>
45 #endif
46 
47 #if __cplusplus >= 201703L
48 # include <string_view>
49 #endif
50 
51 
52 namespace std _GLIBCXX_VISIBILITY(default)
53 {
54 _GLIBCXX_BEGIN_NAMESPACE_VERSION
55 
56 #if _GLIBCXX_USE_CXX11_ABI
57 _GLIBCXX_BEGIN_NAMESPACE_CXX11
58  /**
59  * @class basic_string basic_string.h <string>
60  * @brief Managing sequences of characters and character-like objects.
61  *
62  * @ingroup strings
63  * @ingroup sequences
64  *
65  * @tparam _CharT Type of character
66  * @tparam _Traits Traits for character type, defaults to
67  * char_traits<_CharT>.
68  * @tparam _Alloc Allocator type, defaults to allocator<_CharT>.
69  *
70  * Meets the requirements of a <a href="tables.html#65">container</a>, a
71  * <a href="tables.html#66">reversible container</a>, and a
72  * <a href="tables.html#67">sequence</a>. Of the
73  * <a href="tables.html#68">optional sequence requirements</a>, only
74  * @c push_back, @c at, and @c %array access are supported.
75  */
76  template<typename _CharT, typename _Traits, typename _Alloc>
77  class basic_string
78  {
80  rebind<_CharT>::other _Char_alloc_type;
81  typedef __gnu_cxx::__alloc_traits<_Char_alloc_type> _Alloc_traits;
82 
83  // Types:
84  public:
85  typedef _Traits traits_type;
86  typedef typename _Traits::char_type value_type;
87  typedef _Char_alloc_type allocator_type;
88  typedef typename _Alloc_traits::size_type size_type;
89  typedef typename _Alloc_traits::difference_type difference_type;
90  typedef typename _Alloc_traits::reference reference;
91  typedef typename _Alloc_traits::const_reference const_reference;
92  typedef typename _Alloc_traits::pointer pointer;
93  typedef typename _Alloc_traits::const_pointer const_pointer;
94  typedef __gnu_cxx::__normal_iterator<pointer, basic_string> iterator;
95  typedef __gnu_cxx::__normal_iterator<const_pointer, basic_string>
96  const_iterator;
97  typedef std::reverse_iterator<const_iterator> const_reverse_iterator;
98  typedef std::reverse_iterator<iterator> reverse_iterator;
99 
100  /// Value returned by various member functions when they fail.
101  static const size_type npos = static_cast<size_type>(-1);
102 
103  protected:
104  // type used for positions in insert, erase etc.
105 #if __cplusplus < 201103L
106  typedef iterator __const_iterator;
107 #else
108  typedef const_iterator __const_iterator;
109 #endif
110 
111  private:
112 #if __cplusplus >= 201703L
113  // A helper type for avoiding boiler-plate.
114  typedef basic_string_view<_CharT, _Traits> __sv_type;
115 
116  template<typename _Tp, typename _Res>
117  using _If_sv = enable_if_t<
118  __and_<is_convertible<const _Tp&, __sv_type>,
119  __not_<is_convertible<const _Tp*, const basic_string*>>,
120  __not_<is_convertible<const _Tp&, const _CharT*>>>::value,
121  _Res>;
122 
123  // Allows an implicit conversion to __sv_type.
124  static __sv_type
125  _S_to_string_view(__sv_type __svt) noexcept
126  { return __svt; }
127 
128  // Wraps a string_view by explicit conversion and thus
129  // allows to add an internal constructor that does not
130  // participate in overload resolution when a string_view
131  // is provided.
132  struct __sv_wrapper
133  {
134  explicit __sv_wrapper(__sv_type __sv) noexcept : _M_sv(__sv) { }
135  __sv_type _M_sv;
136  };
137 
138  /**
139  * @brief Only internally used: Construct string from a string view
140  * wrapper.
141  * @param __svw string view wrapper.
142  * @param __a Allocator to use.
143  */
144  explicit
145  basic_string(__sv_wrapper __svw, const _Alloc& __a)
146  : basic_string(__svw._M_sv.data(), __svw._M_sv.size(), __a) { }
147 #endif
148 
149  // Use empty-base optimization: http://www.cantrip.org/emptyopt.html
150  struct _Alloc_hider : allocator_type // TODO check __is_final
151  {
152 #if __cplusplus < 201103L
153  _Alloc_hider(pointer __dat, const _Alloc& __a = _Alloc())
154  : allocator_type(__a), _M_p(__dat) { }
155 #else
156  _Alloc_hider(pointer __dat, const _Alloc& __a)
157  : allocator_type(__a), _M_p(__dat) { }
158 
159  _Alloc_hider(pointer __dat, _Alloc&& __a = _Alloc())
160  : allocator_type(std::move(__a)), _M_p(__dat) { }
161 #endif
162 
163  pointer _M_p; // The actual data.
164  };
165 
166  _Alloc_hider _M_dataplus;
167  size_type _M_string_length;
168 
169  enum { _S_local_capacity = 15 / sizeof(_CharT) };
170 
171  union
172  {
173  _CharT _M_local_buf[_S_local_capacity + 1];
174  size_type _M_allocated_capacity;
175  };
176 
177  void
178  _M_data(pointer __p)
179  { _M_dataplus._M_p = __p; }
180 
181  void
182  _M_length(size_type __length)
183  { _M_string_length = __length; }
184 
185  pointer
186  _M_data() const
187  { return _M_dataplus._M_p; }
188 
189  pointer
190  _M_local_data()
191  {
192 #if __cplusplus >= 201103L
193  return std::pointer_traits<pointer>::pointer_to(*_M_local_buf);
194 #else
195  return pointer(_M_local_buf);
196 #endif
197  }
198 
199  const_pointer
200  _M_local_data() const
201  {
202 #if __cplusplus >= 201103L
204 #else
205  return const_pointer(_M_local_buf);
206 #endif
207  }
208 
209  void
210  _M_capacity(size_type __capacity)
211  { _M_allocated_capacity = __capacity; }
212 
213  void
214  _M_set_length(size_type __n)
215  {
216  _M_length(__n);
217  traits_type::assign(_M_data()[__n], _CharT());
218  }
219 
220  bool
221  _M_is_local() const
222  { return _M_data() == _M_local_data(); }
223 
224  // Create & Destroy
225  pointer
226  _M_create(size_type&, size_type);
227 
228  void
229  _M_dispose()
230  {
231  if (!_M_is_local())
232  _M_destroy(_M_allocated_capacity);
233  }
234 
235  void
236  _M_destroy(size_type __size) throw()
237  { _Alloc_traits::deallocate(_M_get_allocator(), _M_data(), __size + 1); }
238 
239  // _M_construct_aux is used to implement the 21.3.1 para 15 which
240  // requires special behaviour if _InIterator is an integral type
241  template<typename _InIterator>
242  void
243  _M_construct_aux(_InIterator __beg, _InIterator __end,
244  std::__false_type)
245  {
246  typedef typename iterator_traits<_InIterator>::iterator_category _Tag;
247  _M_construct(__beg, __end, _Tag());
248  }
249 
250  // _GLIBCXX_RESOLVE_LIB_DEFECTS
251  // 438. Ambiguity in the "do the right thing" clause
252  template<typename _Integer>
253  void
254  _M_construct_aux(_Integer __beg, _Integer __end, std::__true_type)
255  { _M_construct_aux_2(static_cast<size_type>(__beg), __end); }
256 
257  void
258  _M_construct_aux_2(size_type __req, _CharT __c)
259  { _M_construct(__req, __c); }
260 
261  template<typename _InIterator>
262  void
263  _M_construct(_InIterator __beg, _InIterator __end)
264  {
265  typedef typename std::__is_integer<_InIterator>::__type _Integral;
266  _M_construct_aux(__beg, __end, _Integral());
267  }
268 
269  // For Input Iterators, used in istreambuf_iterators, etc.
270  template<typename _InIterator>
271  void
272  _M_construct(_InIterator __beg, _InIterator __end,
274 
275  // For forward_iterators up to random_access_iterators, used for
276  // string::iterator, _CharT*, etc.
277  template<typename _FwdIterator>
278  void
279  _M_construct(_FwdIterator __beg, _FwdIterator __end,
281 
282  void
283  _M_construct(size_type __req, _CharT __c);
284 
285  allocator_type&
286  _M_get_allocator()
287  { return _M_dataplus; }
288 
289  const allocator_type&
290  _M_get_allocator() const
291  { return _M_dataplus; }
292 
293  private:
294 
295 #ifdef _GLIBCXX_DISAMBIGUATE_REPLACE_INST
296  // The explicit instantiations in misc-inst.cc require this due to
297  // https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64063
298  template<typename _Tp, bool _Requires =
299  !__are_same<_Tp, _CharT*>::__value
300  && !__are_same<_Tp, const _CharT*>::__value
301  && !__are_same<_Tp, iterator>::__value
302  && !__are_same<_Tp, const_iterator>::__value>
303  struct __enable_if_not_native_iterator
304  { typedef basic_string& __type; };
305  template<typename _Tp>
306  struct __enable_if_not_native_iterator<_Tp, false> { };
307 #endif
308 
309  size_type
310  _M_check(size_type __pos, const char* __s) const
311  {
312  if (__pos > this->size())
313  __throw_out_of_range_fmt(__N("%s: __pos (which is %zu) > "
314  "this->size() (which is %zu)"),
315  __s, __pos, this->size());
316  return __pos;
317  }
318 
319  void
320  _M_check_length(size_type __n1, size_type __n2, const char* __s) const
321  {
322  if (this->max_size() - (this->size() - __n1) < __n2)
323  __throw_length_error(__N(__s));
324  }
325 
326 
327  // NB: _M_limit doesn't check for a bad __pos value.
328  size_type
329  _M_limit(size_type __pos, size_type __off) const _GLIBCXX_NOEXCEPT
330  {
331  const bool __testoff = __off < this->size() - __pos;
332  return __testoff ? __off : this->size() - __pos;
333  }
334 
335  // True if _Rep and source do not overlap.
336  bool
337  _M_disjunct(const _CharT* __s) const _GLIBCXX_NOEXCEPT
338  {
339  return (less<const _CharT*>()(__s, _M_data())
340  || less<const _CharT*>()(_M_data() + this->size(), __s));
341  }
342 
343  // When __n = 1 way faster than the general multichar
344  // traits_type::copy/move/assign.
345  static void
346  _S_copy(_CharT* __d, const _CharT* __s, size_type __n)
347  {
348  if (__n == 1)
349  traits_type::assign(*__d, *__s);
350  else
351  traits_type::copy(__d, __s, __n);
352  }
353 
354  static void
355  _S_move(_CharT* __d, const _CharT* __s, size_type __n)
356  {
357  if (__n == 1)
358  traits_type::assign(*__d, *__s);
359  else
360  traits_type::move(__d, __s, __n);
361  }
362 
363  static void
364  _S_assign(_CharT* __d, size_type __n, _CharT __c)
365  {
366  if (__n == 1)
367  traits_type::assign(*__d, __c);
368  else
369  traits_type::assign(__d, __n, __c);
370  }
371 
372  // _S_copy_chars is a separate template to permit specialization
373  // to optimize for the common case of pointers as iterators.
374  template<class _Iterator>
375  static void
376  _S_copy_chars(_CharT* __p, _Iterator __k1, _Iterator __k2)
377  {
378  for (; __k1 != __k2; ++__k1, (void)++__p)
379  traits_type::assign(*__p, *__k1); // These types are off.
380  }
381 
382  static void
383  _S_copy_chars(_CharT* __p, iterator __k1, iterator __k2) _GLIBCXX_NOEXCEPT
384  { _S_copy_chars(__p, __k1.base(), __k2.base()); }
385 
386  static void
387  _S_copy_chars(_CharT* __p, const_iterator __k1, const_iterator __k2)
388  _GLIBCXX_NOEXCEPT
389  { _S_copy_chars(__p, __k1.base(), __k2.base()); }
390 
391  static void
392  _S_copy_chars(_CharT* __p, _CharT* __k1, _CharT* __k2) _GLIBCXX_NOEXCEPT
393  { _S_copy(__p, __k1, __k2 - __k1); }
394 
395  static void
396  _S_copy_chars(_CharT* __p, const _CharT* __k1, const _CharT* __k2)
397  _GLIBCXX_NOEXCEPT
398  { _S_copy(__p, __k1, __k2 - __k1); }
399 
400  static int
401  _S_compare(size_type __n1, size_type __n2) _GLIBCXX_NOEXCEPT
402  {
403  const difference_type __d = difference_type(__n1 - __n2);
404 
405  if (__d > __gnu_cxx::__numeric_traits<int>::__max)
406  return __gnu_cxx::__numeric_traits<int>::__max;
407  else if (__d < __gnu_cxx::__numeric_traits<int>::__min)
408  return __gnu_cxx::__numeric_traits<int>::__min;
409  else
410  return int(__d);
411  }
412 
413  void
414  _M_assign(const basic_string&);
415 
416  void
417  _M_mutate(size_type __pos, size_type __len1, const _CharT* __s,
418  size_type __len2);
419 
420  void
421  _M_erase(size_type __pos, size_type __n);
422 
423  public:
424  // Construct/copy/destroy:
425  // NB: We overload ctors in some cases instead of using default
426  // arguments, per 17.4.4.4 para. 2 item 2.
427 
428  /**
429  * @brief Default constructor creates an empty string.
430  */
431  basic_string()
432  _GLIBCXX_NOEXCEPT_IF(is_nothrow_default_constructible<_Alloc>::value)
433  : _M_dataplus(_M_local_data())
434  { _M_set_length(0); }
435 
436  /**
437  * @brief Construct an empty string using allocator @a a.
438  */
439  explicit
440  basic_string(const _Alloc& __a) _GLIBCXX_NOEXCEPT
441  : _M_dataplus(_M_local_data(), __a)
442  { _M_set_length(0); }
443 
444  /**
445  * @brief Construct string with copy of value of @a __str.
446  * @param __str Source string.
447  */
448  basic_string(const basic_string& __str)
449  : _M_dataplus(_M_local_data(),
450  _Alloc_traits::_S_select_on_copy(__str._M_get_allocator()))
451  { _M_construct(__str._M_data(), __str._M_data() + __str.length()); }
452 
453  // _GLIBCXX_RESOLVE_LIB_DEFECTS
454  // 2583. no way to supply an allocator for basic_string(str, pos)
455  /**
456  * @brief Construct string as copy of a substring.
457  * @param __str Source string.
458  * @param __pos Index of first character to copy from.
459  * @param __a Allocator to use.
460  */
461  basic_string(const basic_string& __str, size_type __pos,
462  const _Alloc& __a = _Alloc())
463  : _M_dataplus(_M_local_data(), __a)
464  {
465  const _CharT* __start = __str._M_data()
466  + __str._M_check(__pos, "basic_string::basic_string");
467  _M_construct(__start, __start + __str._M_limit(__pos, npos));
468  }
469 
470  /**
471  * @brief Construct string as copy of a substring.
472  * @param __str Source string.
473  * @param __pos Index of first character to copy from.
474  * @param __n Number of characters to copy.
475  */
476  basic_string(const basic_string& __str, size_type __pos,
477  size_type __n)
478  : _M_dataplus(_M_local_data())
479  {
480  const _CharT* __start = __str._M_data()
481  + __str._M_check(__pos, "basic_string::basic_string");
482  _M_construct(__start, __start + __str._M_limit(__pos, __n));
483  }
484 
485  /**
486  * @brief Construct string as copy of a substring.
487  * @param __str Source string.
488  * @param __pos Index of first character to copy from.
489  * @param __n Number of characters to copy.
490  * @param __a Allocator to use.
491  */
492  basic_string(const basic_string& __str, size_type __pos,
493  size_type __n, const _Alloc& __a)
494  : _M_dataplus(_M_local_data(), __a)
495  {
496  const _CharT* __start
497  = __str._M_data() + __str._M_check(__pos, "string::string");
498  _M_construct(__start, __start + __str._M_limit(__pos, __n));
499  }
500 
501  /**
502  * @brief Construct string initialized by a character %array.
503  * @param __s Source character %array.
504  * @param __n Number of characters to copy.
505  * @param __a Allocator to use (default is default allocator).
506  *
507  * NB: @a __s must have at least @a __n characters, &apos;\\0&apos;
508  * has no special meaning.
509  */
510  basic_string(const _CharT* __s, size_type __n,
511  const _Alloc& __a = _Alloc())
512  : _M_dataplus(_M_local_data(), __a)
513  { _M_construct(__s, __s + __n); }
514 
515  /**
516  * @brief Construct string as copy of a C string.
517  * @param __s Source C string.
518  * @param __a Allocator to use (default is default allocator).
519  */
520 #if __cpp_deduction_guides && ! defined _GLIBCXX_DEFINING_STRING_INSTANTIATIONS
521  // _GLIBCXX_RESOLVE_LIB_DEFECTS
522  // 3076. basic_string CTAD ambiguity
523  template<typename = _RequireAllocator<_Alloc>>
524 #endif
525  basic_string(const _CharT* __s, const _Alloc& __a = _Alloc())
526  : _M_dataplus(_M_local_data(), __a)
527  { _M_construct(__s, __s ? __s + traits_type::length(__s) : __s+npos); }
528 
529  /**
530  * @brief Construct string as multiple characters.
531  * @param __n Number of characters.
532  * @param __c Character to use.
533  * @param __a Allocator to use (default is default allocator).
534  */
535 #if __cpp_deduction_guides && ! defined _GLIBCXX_DEFINING_STRING_INSTANTIATIONS
536  // _GLIBCXX_RESOLVE_LIB_DEFECTS
537  // 3076. basic_string CTAD ambiguity
538  template<typename = _RequireAllocator<_Alloc>>
539 #endif
540  basic_string(size_type __n, _CharT __c, const _Alloc& __a = _Alloc())
541  : _M_dataplus(_M_local_data(), __a)
542  { _M_construct(__n, __c); }
543 
544 #if __cplusplus >= 201103L
545  /**
546  * @brief Move construct string.
547  * @param __str Source string.
548  *
549  * The newly-created string contains the exact contents of @a __str.
550  * @a __str is a valid, but unspecified string.
551  **/
552  basic_string(basic_string&& __str) noexcept
553  : _M_dataplus(_M_local_data(), std::move(__str._M_get_allocator()))
554  {
555  if (__str._M_is_local())
556  {
557  traits_type::copy(_M_local_buf, __str._M_local_buf,
558  _S_local_capacity + 1);
559  }
560  else
561  {
562  _M_data(__str._M_data());
563  _M_capacity(__str._M_allocated_capacity);
564  }
565 
566  // Must use _M_length() here not _M_set_length() because
567  // basic_stringbuf relies on writing into unallocated capacity so
568  // we mess up the contents if we put a '\0' in the string.
569  _M_length(__str.length());
570  __str._M_data(__str._M_local_data());
571  __str._M_set_length(0);
572  }
573 
574  /**
575  * @brief Construct string from an initializer %list.
576  * @param __l std::initializer_list of characters.
577  * @param __a Allocator to use (default is default allocator).
578  */
579  basic_string(initializer_list<_CharT> __l, const _Alloc& __a = _Alloc())
580  : _M_dataplus(_M_local_data(), __a)
581  { _M_construct(__l.begin(), __l.end()); }
582 
583  basic_string(const basic_string& __str, const _Alloc& __a)
584  : _M_dataplus(_M_local_data(), __a)
585  { _M_construct(__str.begin(), __str.end()); }
586 
587  basic_string(basic_string&& __str, const _Alloc& __a)
588  noexcept(_Alloc_traits::_S_always_equal())
589  : _M_dataplus(_M_local_data(), __a)
590  {
591  if (__str._M_is_local())
592  {
593  traits_type::copy(_M_local_buf, __str._M_local_buf,
594  _S_local_capacity + 1);
595  _M_length(__str.length());
596  __str._M_set_length(0);
597  }
598  else if (_Alloc_traits::_S_always_equal()
599  || __str.get_allocator() == __a)
600  {
601  _M_data(__str._M_data());
602  _M_length(__str.length());
603  _M_capacity(__str._M_allocated_capacity);
604  __str._M_data(__str._M_local_buf);
605  __str._M_set_length(0);
606  }
607  else
608  _M_construct(__str.begin(), __str.end());
609  }
610 
611 #endif // C++11
612 
613  /**
614  * @brief Construct string as copy of a range.
615  * @param __beg Start of range.
616  * @param __end End of range.
617  * @param __a Allocator to use (default is default allocator).
618  */
619 #if __cplusplus >= 201103L
620  template<typename _InputIterator,
621  typename = std::_RequireInputIter<_InputIterator>>
622 #else
623  template<typename _InputIterator>
624 #endif
625  basic_string(_InputIterator __beg, _InputIterator __end,
626  const _Alloc& __a = _Alloc())
627  : _M_dataplus(_M_local_data(), __a)
628  { _M_construct(__beg, __end); }
629 
630 #if __cplusplus >= 201703L
631  /**
632  * @brief Construct string from a substring of a string_view.
633  * @param __t Source object convertible to string view.
634  * @param __pos The index of the first character to copy from __t.
635  * @param __n The number of characters to copy from __t.
636  * @param __a Allocator to use.
637  */
638  template<typename _Tp, typename = _If_sv<_Tp, void>>
639  basic_string(const _Tp& __t, size_type __pos, size_type __n,
640  const _Alloc& __a = _Alloc())
641  : basic_string(_S_to_string_view(__t).substr(__pos, __n), __a) { }
642 
643  /**
644  * @brief Construct string from a string_view.
645  * @param __t Source object convertible to string view.
646  * @param __a Allocator to use (default is default allocator).
647  */
648  template<typename _Tp, typename = _If_sv<_Tp, void>>
649  explicit
650  basic_string(const _Tp& __t, const _Alloc& __a = _Alloc())
651  : basic_string(__sv_wrapper(_S_to_string_view(__t)), __a) { }
652 #endif // C++17
653 
654  /**
655  * @brief Destroy the string instance.
656  */
657  ~basic_string()
658  { _M_dispose(); }
659 
660  /**
661  * @brief Assign the value of @a str to this string.
662  * @param __str Source string.
663  */
664  basic_string&
665  operator=(const basic_string& __str)
666  {
667  return this->assign(__str);
668  }
669 
670  /**
671  * @brief Copy contents of @a s into this string.
672  * @param __s Source null-terminated string.
673  */
674  basic_string&
675  operator=(const _CharT* __s)
676  { return this->assign(__s); }
677 
678  /**
679  * @brief Set value to string of length 1.
680  * @param __c Source character.
681  *
682  * Assigning to a character makes this string length 1 and
683  * (*this)[0] == @a c.
684  */
685  basic_string&
686  operator=(_CharT __c)
687  {
688  this->assign(1, __c);
689  return *this;
690  }
691 
692 #if __cplusplus >= 201103L
693  /**
694  * @brief Move assign the value of @a str to this string.
695  * @param __str Source string.
696  *
697  * The contents of @a str are moved into this string (without copying).
698  * @a str is a valid, but unspecified string.
699  **/
700  // _GLIBCXX_RESOLVE_LIB_DEFECTS
701  // 2063. Contradictory requirements for string move assignment
702  basic_string&
703  operator=(basic_string&& __str)
704  noexcept(_Alloc_traits::_S_nothrow_move())
705  {
706  if (!_M_is_local() && _Alloc_traits::_S_propagate_on_move_assign()
707  && !_Alloc_traits::_S_always_equal()
708  && _M_get_allocator() != __str._M_get_allocator())
709  {
710  // Destroy existing storage before replacing allocator.
711  _M_destroy(_M_allocated_capacity);
712  _M_data(_M_local_data());
713  _M_set_length(0);
714  }
715  // Replace allocator if POCMA is true.
716  std::__alloc_on_move(_M_get_allocator(), __str._M_get_allocator());
717 
718  if (__str._M_is_local())
719  {
720  // We've always got room for a short string, just copy it.
721  if (__str.size())
722  this->_S_copy(_M_data(), __str._M_data(), __str.size());
723  _M_set_length(__str.size());
724  }
725  else if (_Alloc_traits::_S_propagate_on_move_assign()
726  || _Alloc_traits::_S_always_equal()
727  || _M_get_allocator() == __str._M_get_allocator())
728  {
729  // Just move the allocated pointer, our allocator can free it.
730  pointer __data = nullptr;
731  size_type __capacity;
732  if (!_M_is_local())
733  {
734  if (_Alloc_traits::_S_always_equal())
735  {
736  // __str can reuse our existing storage.
737  __data = _M_data();
738  __capacity = _M_allocated_capacity;
739  }
740  else // __str can't use it, so free it.
741  _M_destroy(_M_allocated_capacity);
742  }
743 
744  _M_data(__str._M_data());
745  _M_length(__str.length());
746  _M_capacity(__str._M_allocated_capacity);
747  if (__data)
748  {
749  __str._M_data(__data);
750  __str._M_capacity(__capacity);
751  }
752  else
753  __str._M_data(__str._M_local_buf);
754  }
755  else // Need to do a deep copy
756  assign(__str);
757  __str.clear();
758  return *this;
759  }
760 
761  /**
762  * @brief Set value to string constructed from initializer %list.
763  * @param __l std::initializer_list.
764  */
765  basic_string&
766  operator=(initializer_list<_CharT> __l)
767  {
768  this->assign(__l.begin(), __l.size());
769  return *this;
770  }
771 #endif // C++11
772 
773 #if __cplusplus >= 201703L
774  /**
775  * @brief Set value to string constructed from a string_view.
776  * @param __svt An object convertible to string_view.
777  */
778  template<typename _Tp>
779  _If_sv<_Tp, basic_string&>
780  operator=(const _Tp& __svt)
781  { return this->assign(__svt); }
782 
783  /**
784  * @brief Convert to a string_view.
785  * @return A string_view.
786  */
787  operator __sv_type() const noexcept
788  { return __sv_type(data(), size()); }
789 #endif // C++17
790 
791  // Iterators:
792  /**
793  * Returns a read/write iterator that points to the first character in
794  * the %string.
795  */
796  iterator
797  begin() _GLIBCXX_NOEXCEPT
798  { return iterator(_M_data()); }
799 
800  /**
801  * Returns a read-only (constant) iterator that points to the first
802  * character in the %string.
803  */
804  const_iterator
805  begin() const _GLIBCXX_NOEXCEPT
806  { return const_iterator(_M_data()); }
807 
808  /**
809  * Returns a read/write iterator that points one past the last
810  * character in the %string.
811  */
812  iterator
813  end() _GLIBCXX_NOEXCEPT
814  { return iterator(_M_data() + this->size()); }
815 
816  /**
817  * Returns a read-only (constant) iterator that points one past the
818  * last character in the %string.
819  */
820  const_iterator
821  end() const _GLIBCXX_NOEXCEPT
822  { return const_iterator(_M_data() + this->size()); }
823 
824  /**
825  * Returns a read/write reverse iterator that points to the last
826  * character in the %string. Iteration is done in reverse element
827  * order.
828  */
829  reverse_iterator
830  rbegin() _GLIBCXX_NOEXCEPT
831  { return reverse_iterator(this->end()); }
832 
833  /**
834  * Returns a read-only (constant) reverse iterator that points
835  * to the last character in the %string. Iteration is done in
836  * reverse element order.
837  */
838  const_reverse_iterator
839  rbegin() const _GLIBCXX_NOEXCEPT
840  { return const_reverse_iterator(this->end()); }
841 
842  /**
843  * Returns a read/write reverse iterator that points to one before the
844  * first character in the %string. Iteration is done in reverse
845  * element order.
846  */
847  reverse_iterator
848  rend() _GLIBCXX_NOEXCEPT
849  { return reverse_iterator(this->begin()); }
850 
851  /**
852  * Returns a read-only (constant) reverse iterator that points
853  * to one before the first character in the %string. Iteration
854  * is done in reverse element order.
855  */
856  const_reverse_iterator
857  rend() const _GLIBCXX_NOEXCEPT
858  { return const_reverse_iterator(this->begin()); }
859 
860 #if __cplusplus >= 201103L
861  /**
862  * Returns a read-only (constant) iterator that points to the first
863  * character in the %string.
864  */
865  const_iterator
866  cbegin() const noexcept
867  { return const_iterator(this->_M_data()); }
868 
869  /**
870  * Returns a read-only (constant) iterator that points one past the
871  * last character in the %string.
872  */
873  const_iterator
874  cend() const noexcept
875  { return const_iterator(this->_M_data() + this->size()); }
876 
877  /**
878  * Returns a read-only (constant) reverse iterator that points
879  * to the last character in the %string. Iteration is done in
880  * reverse element order.
881  */
882  const_reverse_iterator
883  crbegin() const noexcept
884  { return const_reverse_iterator(this->end()); }
885 
886  /**
887  * Returns a read-only (constant) reverse iterator that points
888  * to one before the first character in the %string. Iteration
889  * is done in reverse element order.
890  */
891  const_reverse_iterator
892  crend() const noexcept
893  { return const_reverse_iterator(this->begin()); }
894 #endif
895 
896  public:
897  // Capacity:
898  /// Returns the number of characters in the string, not including any
899  /// null-termination.
900  size_type
901  size() const _GLIBCXX_NOEXCEPT
902  { return _M_string_length; }
903 
904  /// Returns the number of characters in the string, not including any
905  /// null-termination.
906  size_type
907  length() const _GLIBCXX_NOEXCEPT
908  { return _M_string_length; }
909 
910  /// Returns the size() of the largest possible %string.
911  size_type
912  max_size() const _GLIBCXX_NOEXCEPT
913  { return (_Alloc_traits::max_size(_M_get_allocator()) - 1) / 2; }
914 
915  /**
916  * @brief Resizes the %string to the specified number of characters.
917  * @param __n Number of characters the %string should contain.
918  * @param __c Character to fill any new elements.
919  *
920  * This function will %resize the %string to the specified
921  * number of characters. If the number is smaller than the
922  * %string's current size the %string is truncated, otherwise
923  * the %string is extended and new elements are %set to @a __c.
924  */
925  void
926  resize(size_type __n, _CharT __c);
927 
928  /**
929  * @brief Resizes the %string to the specified number of characters.
930  * @param __n Number of characters the %string should contain.
931  *
932  * This function will resize the %string to the specified length. If
933  * the new size is smaller than the %string's current size the %string
934  * is truncated, otherwise the %string is extended and new characters
935  * are default-constructed. For basic types such as char, this means
936  * setting them to 0.
937  */
938  void
939  resize(size_type __n)
940  { this->resize(__n, _CharT()); }
941 
942 #if __cplusplus >= 201103L
943  /// A non-binding request to reduce capacity() to size().
944  void
945  shrink_to_fit() noexcept
946  {
947 #if __cpp_exceptions
948  if (capacity() > size())
949  {
950  try
951  { reserve(0); }
952  catch(...)
953  { }
954  }
955 #endif
956  }
957 #endif
958 
959  /**
960  * Returns the total number of characters that the %string can hold
961  * before needing to allocate more memory.
962  */
963  size_type
964  capacity() const _GLIBCXX_NOEXCEPT
965  {
966  return _M_is_local() ? size_type(_S_local_capacity)
967  : _M_allocated_capacity;
968  }
969 
970  /**
971  * @brief Attempt to preallocate enough memory for specified number of
972  * characters.
973  * @param __res_arg Number of characters required.
974  * @throw std::length_error If @a __res_arg exceeds @c max_size().
975  *
976  * This function attempts to reserve enough memory for the
977  * %string to hold the specified number of characters. If the
978  * number requested is more than max_size(), length_error is
979  * thrown.
980  *
981  * The advantage of this function is that if optimal code is a
982  * necessity and the user can determine the string length that will be
983  * required, the user can reserve the memory in %advance, and thus
984  * prevent a possible reallocation of memory and copying of %string
985  * data.
986  */
987  void
988  reserve(size_type __res_arg = 0);
989 
990  /**
991  * Erases the string, making it empty.
992  */
993  void
994  clear() _GLIBCXX_NOEXCEPT
995  { _M_set_length(0); }
996 
997  /**
998  * Returns true if the %string is empty. Equivalent to
999  * <code>*this == ""</code>.
1000  */
1001  _GLIBCXX_NODISCARD bool
1002  empty() const _GLIBCXX_NOEXCEPT
1003  { return this->size() == 0; }
1004 
1005  // Element access:
1006  /**
1007  * @brief Subscript access to the data contained in the %string.
1008  * @param __pos The index of the character to access.
1009  * @return Read-only (constant) reference to the character.
1010  *
1011  * This operator allows for easy, array-style, data access.
1012  * Note that data access with this operator is unchecked and
1013  * out_of_range lookups are not defined. (For checked lookups
1014  * see at().)
1015  */
1016  const_reference
1017  operator[] (size_type __pos) const _GLIBCXX_NOEXCEPT
1018  {
1019  __glibcxx_assert(__pos <= size());
1020  return _M_data()[__pos];
1021  }
1022 
1023  /**
1024  * @brief Subscript access to the data contained in the %string.
1025  * @param __pos The index of the character to access.
1026  * @return Read/write reference to the character.
1027  *
1028  * This operator allows for easy, array-style, data access.
1029  * Note that data access with this operator is unchecked and
1030  * out_of_range lookups are not defined. (For checked lookups
1031  * see at().)
1032  */
1033  reference
1034  operator[](size_type __pos)
1035  {
1036  // Allow pos == size() both in C++98 mode, as v3 extension,
1037  // and in C++11 mode.
1038  __glibcxx_assert(__pos <= size());
1039  // In pedantic mode be strict in C++98 mode.
1040  _GLIBCXX_DEBUG_PEDASSERT(__cplusplus >= 201103L || __pos < size());
1041  return _M_data()[__pos];
1042  }
1043 
1044  /**
1045  * @brief Provides access to the data contained in the %string.
1046  * @param __n The index of the character to access.
1047  * @return Read-only (const) reference to the character.
1048  * @throw std::out_of_range If @a n is an invalid index.
1049  *
1050  * This function provides for safer data access. The parameter is
1051  * first checked that it is in the range of the string. The function
1052  * throws out_of_range if the check fails.
1053  */
1054  const_reference
1055  at(size_type __n) const
1056  {
1057  if (__n >= this->size())
1058  __throw_out_of_range_fmt(__N("basic_string::at: __n "
1059  "(which is %zu) >= this->size() "
1060  "(which is %zu)"),
1061  __n, this->size());
1062  return _M_data()[__n];
1063  }
1064 
1065  /**
1066  * @brief Provides access to the data contained in the %string.
1067  * @param __n The index of the character to access.
1068  * @return Read/write reference to the character.
1069  * @throw std::out_of_range If @a n is an invalid index.
1070  *
1071  * This function provides for safer data access. The parameter is
1072  * first checked that it is in the range of the string. The function
1073  * throws out_of_range if the check fails.
1074  */
1075  reference
1076  at(size_type __n)
1077  {
1078  if (__n >= size())
1079  __throw_out_of_range_fmt(__N("basic_string::at: __n "
1080  "(which is %zu) >= this->size() "
1081  "(which is %zu)"),
1082  __n, this->size());
1083  return _M_data()[__n];
1084  }
1085 
1086 #if __cplusplus >= 201103L
1087  /**
1088  * Returns a read/write reference to the data at the first
1089  * element of the %string.
1090  */
1091  reference
1092  front() noexcept
1093  {
1094  __glibcxx_assert(!empty());
1095  return operator[](0);
1096  }
1097 
1098  /**
1099  * Returns a read-only (constant) reference to the data at the first
1100  * element of the %string.
1101  */
1102  const_reference
1103  front() const noexcept
1104  {
1105  __glibcxx_assert(!empty());
1106  return operator[](0);
1107  }
1108 
1109  /**
1110  * Returns a read/write reference to the data at the last
1111  * element of the %string.
1112  */
1113  reference
1114  back() noexcept
1115  {
1116  __glibcxx_assert(!empty());
1117  return operator[](this->size() - 1);
1118  }
1119 
1120  /**
1121  * Returns a read-only (constant) reference to the data at the
1122  * last element of the %string.
1123  */
1124  const_reference
1125  back() const noexcept
1126  {
1127  __glibcxx_assert(!empty());
1128  return operator[](this->size() - 1);
1129  }
1130 #endif
1131 
1132  // Modifiers:
1133  /**
1134  * @brief Append a string to this string.
1135  * @param __str The string to append.
1136  * @return Reference to this string.
1137  */
1138  basic_string&
1139  operator+=(const basic_string& __str)
1140  { return this->append(__str); }
1141 
1142  /**
1143  * @brief Append a C string.
1144  * @param __s The C string to append.
1145  * @return Reference to this string.
1146  */
1147  basic_string&
1148  operator+=(const _CharT* __s)
1149  { return this->append(__s); }
1150 
1151  /**
1152  * @brief Append a character.
1153  * @param __c The character to append.
1154  * @return Reference to this string.
1155  */
1156  basic_string&
1157  operator+=(_CharT __c)
1158  {
1159  this->push_back(__c);
1160  return *this;
1161  }
1162 
1163 #if __cplusplus >= 201103L
1164  /**
1165  * @brief Append an initializer_list of characters.
1166  * @param __l The initializer_list of characters to be appended.
1167  * @return Reference to this string.
1168  */
1169  basic_string&
1170  operator+=(initializer_list<_CharT> __l)
1171  { return this->append(__l.begin(), __l.size()); }
1172 #endif // C++11
1173 
1174 #if __cplusplus >= 201703L
1175  /**
1176  * @brief Append a string_view.
1177  * @param __svt An object convertible to string_view to be appended.
1178  * @return Reference to this string.
1179  */
1180  template<typename _Tp>
1181  _If_sv<_Tp, basic_string&>
1182  operator+=(const _Tp& __svt)
1183  { return this->append(__svt); }
1184 #endif // C++17
1185 
1186  /**
1187  * @brief Append a string to this string.
1188  * @param __str The string to append.
1189  * @return Reference to this string.
1190  */
1191  basic_string&
1192  append(const basic_string& __str)
1193  { return _M_append(__str._M_data(), __str.size()); }
1194 
1195  /**
1196  * @brief Append a substring.
1197  * @param __str The string to append.
1198  * @param __pos Index of the first character of str to append.
1199  * @param __n The number of characters to append.
1200  * @return Reference to this string.
1201  * @throw std::out_of_range if @a __pos is not a valid index.
1202  *
1203  * This function appends @a __n characters from @a __str
1204  * starting at @a __pos to this string. If @a __n is is larger
1205  * than the number of available characters in @a __str, the
1206  * remainder of @a __str is appended.
1207  */
1208  basic_string&
1209  append(const basic_string& __str, size_type __pos, size_type __n = npos)
1210  { return _M_append(__str._M_data()
1211  + __str._M_check(__pos, "basic_string::append"),
1212  __str._M_limit(__pos, __n)); }
1213 
1214  /**
1215  * @brief Append a C substring.
1216  * @param __s The C string to append.
1217  * @param __n The number of characters to append.
1218  * @return Reference to this string.
1219  */
1220  basic_string&
1221  append(const _CharT* __s, size_type __n)
1222  {
1223  __glibcxx_requires_string_len(__s, __n);
1224  _M_check_length(size_type(0), __n, "basic_string::append");
1225  return _M_append(__s, __n);
1226  }
1227 
1228  /**
1229  * @brief Append a C string.
1230  * @param __s The C string to append.
1231  * @return Reference to this string.
1232  */
1233  basic_string&
1234  append(const _CharT* __s)
1235  {
1236  __glibcxx_requires_string(__s);
1237  const size_type __n = traits_type::length(__s);
1238  _M_check_length(size_type(0), __n, "basic_string::append");
1239  return _M_append(__s, __n);
1240  }
1241 
1242  /**
1243  * @brief Append multiple characters.
1244  * @param __n The number of characters to append.
1245  * @param __c The character to use.
1246  * @return Reference to this string.
1247  *
1248  * Appends __n copies of __c to this string.
1249  */
1250  basic_string&
1251  append(size_type __n, _CharT __c)
1252  { return _M_replace_aux(this->size(), size_type(0), __n, __c); }
1253 
1254 #if __cplusplus >= 201103L
1255  /**
1256  * @brief Append an initializer_list of characters.
1257  * @param __l The initializer_list of characters to append.
1258  * @return Reference to this string.
1259  */
1260  basic_string&
1261  append(initializer_list<_CharT> __l)
1262  { return this->append(__l.begin(), __l.size()); }
1263 #endif // C++11
1264 
1265  /**
1266  * @brief Append a range of characters.
1267  * @param __first Iterator referencing the first character to append.
1268  * @param __last Iterator marking the end of the range.
1269  * @return Reference to this string.
1270  *
1271  * Appends characters in the range [__first,__last) to this string.
1272  */
1273 #if __cplusplus >= 201103L
1274  template<class _InputIterator,
1275  typename = std::_RequireInputIter<_InputIterator>>
1276 #else
1277  template<class _InputIterator>
1278 #endif
1279  basic_string&
1280  append(_InputIterator __first, _InputIterator __last)
1281  { return this->replace(end(), end(), __first, __last); }
1282 
1283 #if __cplusplus >= 201703L
1284  /**
1285  * @brief Append a string_view.
1286  * @param __svt An object convertible to string_view to be appended.
1287  * @return Reference to this string.
1288  */
1289  template<typename _Tp>
1290  _If_sv<_Tp, basic_string&>
1291  append(const _Tp& __svt)
1292  {
1293  __sv_type __sv = __svt;
1294  return this->append(__sv.data(), __sv.size());
1295  }
1296 
1297  /**
1298  * @brief Append a range of characters from a string_view.
1299  * @param __svt An object convertible to string_view to be appended from.
1300  * @param __pos The position in the string_view to append from.
1301  * @param __n The number of characters to append from the string_view.
1302  * @return Reference to this string.
1303  */
1304  template<typename _Tp>
1305  _If_sv<_Tp, basic_string&>
1306  append(const _Tp& __svt, size_type __pos, size_type __n = npos)
1307  {
1308  __sv_type __sv = __svt;
1309  return _M_append(__sv.data()
1310  + std::__sv_check(__sv.size(), __pos, "basic_string::append"),
1311  std::__sv_limit(__sv.size(), __pos, __n));
1312  }
1313 #endif // C++17
1314 
1315  /**
1316  * @brief Append a single character.
1317  * @param __c Character to append.
1318  */
1319  void
1320  push_back(_CharT __c)
1321  {
1322  const size_type __size = this->size();
1323  if (__size + 1 > this->capacity())
1324  this->_M_mutate(__size, size_type(0), 0, size_type(1));
1325  traits_type::assign(this->_M_data()[__size], __c);
1326  this->_M_set_length(__size + 1);
1327  }
1328 
1329  /**
1330  * @brief Set value to contents of another string.
1331  * @param __str Source string to use.
1332  * @return Reference to this string.
1333  */
1334  basic_string&
1335  assign(const basic_string& __str)
1336  {
1337 #if __cplusplus >= 201103L
1338  if (_Alloc_traits::_S_propagate_on_copy_assign())
1339  {
1340  if (!_Alloc_traits::_S_always_equal() && !_M_is_local()
1341  && _M_get_allocator() != __str._M_get_allocator())
1342  {
1343  // Propagating allocator cannot free existing storage so must
1344  // deallocate it before replacing current allocator.
1345  if (__str.size() <= _S_local_capacity)
1346  {
1347  _M_destroy(_M_allocated_capacity);
1348  _M_data(_M_local_data());
1349  _M_set_length(0);
1350  }
1351  else
1352  {
1353  const auto __len = __str.size();
1354  auto __alloc = __str._M_get_allocator();
1355  // If this allocation throws there are no effects:
1356  auto __ptr = _Alloc_traits::allocate(__alloc, __len + 1);
1357  _M_destroy(_M_allocated_capacity);
1358  _M_data(__ptr);
1359  _M_capacity(__len);
1360  _M_set_length(__len);
1361  }
1362  }
1363  std::__alloc_on_copy(_M_get_allocator(), __str._M_get_allocator());
1364  }
1365 #endif
1366  this->_M_assign(__str);
1367  return *this;
1368  }
1369 
1370 #if __cplusplus >= 201103L
1371  /**
1372  * @brief Set value to contents of another string.
1373  * @param __str Source string to use.
1374  * @return Reference to this string.
1375  *
1376  * This function sets this string to the exact contents of @a __str.
1377  * @a __str is a valid, but unspecified string.
1378  */
1379  basic_string&
1380  assign(basic_string&& __str)
1381  noexcept(_Alloc_traits::_S_nothrow_move())
1382  {
1383  // _GLIBCXX_RESOLVE_LIB_DEFECTS
1384  // 2063. Contradictory requirements for string move assignment
1385  return *this = std::move(__str);
1386  }
1387 #endif // C++11
1388 
1389  /**
1390  * @brief Set value to a substring of a string.
1391  * @param __str The string to use.
1392  * @param __pos Index of the first character of str.
1393  * @param __n Number of characters to use.
1394  * @return Reference to this string.
1395  * @throw std::out_of_range if @a pos is not a valid index.
1396  *
1397  * This function sets this string to the substring of @a __str
1398  * consisting of @a __n characters at @a __pos. If @a __n is
1399  * is larger than the number of available characters in @a
1400  * __str, the remainder of @a __str is used.
1401  */
1402  basic_string&
1403  assign(const basic_string& __str, size_type __pos, size_type __n = npos)
1404  { return _M_replace(size_type(0), this->size(), __str._M_data()
1405  + __str._M_check(__pos, "basic_string::assign"),
1406  __str._M_limit(__pos, __n)); }
1407 
1408  /**
1409  * @brief Set value to a C substring.
1410  * @param __s The C string to use.
1411  * @param __n Number of characters to use.
1412  * @return Reference to this string.
1413  *
1414  * This function sets the value of this string to the first @a __n
1415  * characters of @a __s. If @a __n is is larger than the number of
1416  * available characters in @a __s, the remainder of @a __s is used.
1417  */
1418  basic_string&
1419  assign(const _CharT* __s, size_type __n)
1420  {
1421  __glibcxx_requires_string_len(__s, __n);
1422  return _M_replace(size_type(0), this->size(), __s, __n);
1423  }
1424 
1425  /**
1426  * @brief Set value to contents of a C string.
1427  * @param __s The C string to use.
1428  * @return Reference to this string.
1429  *
1430  * This function sets the value of this string to the value of @a __s.
1431  * The data is copied, so there is no dependence on @a __s once the
1432  * function returns.
1433  */
1434  basic_string&
1435  assign(const _CharT* __s)
1436  {
1437  __glibcxx_requires_string(__s);
1438  return _M_replace(size_type(0), this->size(), __s,
1439  traits_type::length(__s));
1440  }
1441 
1442  /**
1443  * @brief Set value to multiple characters.
1444  * @param __n Length of the resulting string.
1445  * @param __c The character to use.
1446  * @return Reference to this string.
1447  *
1448  * This function sets the value of this string to @a __n copies of
1449  * character @a __c.
1450  */
1451  basic_string&
1452  assign(size_type __n, _CharT __c)
1453  { return _M_replace_aux(size_type(0), this->size(), __n, __c); }
1454 
1455  /**
1456  * @brief Set value to a range of characters.
1457  * @param __first Iterator referencing the first character to append.
1458  * @param __last Iterator marking the end of the range.
1459  * @return Reference to this string.
1460  *
1461  * Sets value of string to characters in the range [__first,__last).
1462  */
1463 #if __cplusplus >= 201103L
1464  template<class _InputIterator,
1465  typename = std::_RequireInputIter<_InputIterator>>
1466 #else
1467  template<class _InputIterator>
1468 #endif
1469  basic_string&
1470  assign(_InputIterator __first, _InputIterator __last)
1471  { return this->replace(begin(), end(), __first, __last); }
1472 
1473 #if __cplusplus >= 201103L
1474  /**
1475  * @brief Set value to an initializer_list of characters.
1476  * @param __l The initializer_list of characters to assign.
1477  * @return Reference to this string.
1478  */
1479  basic_string&
1480  assign(initializer_list<_CharT> __l)
1481  { return this->assign(__l.begin(), __l.size()); }
1482 #endif // C++11
1483 
1484 #if __cplusplus >= 201703L
1485  /**
1486  * @brief Set value from a string_view.
1487  * @param __svt The source object convertible to string_view.
1488  * @return Reference to this string.
1489  */
1490  template<typename _Tp>
1491  _If_sv<_Tp, basic_string&>
1492  assign(const _Tp& __svt)
1493  {
1494  __sv_type __sv = __svt;
1495  return this->assign(__sv.data(), __sv.size());
1496  }
1497 
1498  /**
1499  * @brief Set value from a range of characters in a string_view.
1500  * @param __svt The source object convertible to string_view.
1501  * @param __pos The position in the string_view to assign from.
1502  * @param __n The number of characters to assign.
1503  * @return Reference to this string.
1504  */
1505  template<typename _Tp>
1506  _If_sv<_Tp, basic_string&>
1507  assign(const _Tp& __svt, size_type __pos, size_type __n = npos)
1508  {
1509  __sv_type __sv = __svt;
1510  return _M_replace(size_type(0), this->size(),
1511  __sv.data()
1512  + std::__sv_check(__sv.size(), __pos, "basic_string::assign"),
1513  std::__sv_limit(__sv.size(), __pos, __n));
1514  }
1515 #endif // C++17
1516 
1517 #if __cplusplus >= 201103L
1518  /**
1519  * @brief Insert multiple characters.
1520  * @param __p Const_iterator referencing location in string to
1521  * insert at.
1522  * @param __n Number of characters to insert
1523  * @param __c The character to insert.
1524  * @return Iterator referencing the first inserted char.
1525  * @throw std::length_error If new length exceeds @c max_size().
1526  *
1527  * Inserts @a __n copies of character @a __c starting at the
1528  * position referenced by iterator @a __p. If adding
1529  * characters causes the length to exceed max_size(),
1530  * length_error is thrown. The value of the string doesn't
1531  * change if an error is thrown.
1532  */
1533  iterator
1534  insert(const_iterator __p, size_type __n, _CharT __c)
1535  {
1536  _GLIBCXX_DEBUG_PEDASSERT(__p >= begin() && __p <= end());
1537  const size_type __pos = __p - begin();
1538  this->replace(__p, __p, __n, __c);
1539  return iterator(this->_M_data() + __pos);
1540  }
1541 #else
1542  /**
1543  * @brief Insert multiple characters.
1544  * @param __p Iterator referencing location in string to insert at.
1545  * @param __n Number of characters to insert
1546  * @param __c The character to insert.
1547  * @throw std::length_error If new length exceeds @c max_size().
1548  *
1549  * Inserts @a __n copies of character @a __c starting at the
1550  * position referenced by iterator @a __p. If adding
1551  * characters causes the length to exceed max_size(),
1552  * length_error is thrown. The value of the string doesn't
1553  * change if an error is thrown.
1554  */
1555  void
1556  insert(iterator __p, size_type __n, _CharT __c)
1557  { this->replace(__p, __p, __n, __c); }
1558 #endif
1559 
1560 #if __cplusplus >= 201103L
1561  /**
1562  * @brief Insert a range of characters.
1563  * @param __p Const_iterator referencing location in string to
1564  * insert at.
1565  * @param __beg Start of range.
1566  * @param __end End of range.
1567  * @return Iterator referencing the first inserted char.
1568  * @throw std::length_error If new length exceeds @c max_size().
1569  *
1570  * Inserts characters in range [beg,end). If adding characters
1571  * causes the length to exceed max_size(), length_error is
1572  * thrown. The value of the string doesn't change if an error
1573  * is thrown.
1574  */
1575  template<class _InputIterator,
1576  typename = std::_RequireInputIter<_InputIterator>>
1577  iterator
1578  insert(const_iterator __p, _InputIterator __beg, _InputIterator __end)
1579  {
1580  _GLIBCXX_DEBUG_PEDASSERT(__p >= begin() && __p <= end());
1581  const size_type __pos = __p - begin();
1582  this->replace(__p, __p, __beg, __end);
1583  return iterator(this->_M_data() + __pos);
1584  }
1585 #else
1586  /**
1587  * @brief Insert a range of characters.
1588  * @param __p Iterator referencing location in string to insert at.
1589  * @param __beg Start of range.
1590  * @param __end End of range.
1591  * @throw std::length_error If new length exceeds @c max_size().
1592  *
1593  * Inserts characters in range [__beg,__end). If adding
1594  * characters causes the length to exceed max_size(),
1595  * length_error is thrown. The value of the string doesn't
1596  * change if an error is thrown.
1597  */
1598  template<class _InputIterator>
1599  void
1600  insert(iterator __p, _InputIterator __beg, _InputIterator __end)
1601  { this->replace(__p, __p, __beg, __end); }
1602 #endif
1603 
1604 #if __cplusplus >= 201103L
1605  /**
1606  * @brief Insert an initializer_list of characters.
1607  * @param __p Iterator referencing location in string to insert at.
1608  * @param __l The initializer_list of characters to insert.
1609  * @throw std::length_error If new length exceeds @c max_size().
1610  */
1611  iterator
1612  insert(const_iterator __p, initializer_list<_CharT> __l)
1613  { return this->insert(__p, __l.begin(), __l.end()); }
1614 
1615 #ifdef _GLIBCXX_DEFINING_STRING_INSTANTIATIONS
1616  // See PR libstdc++/83328
1617  void
1618  insert(iterator __p, initializer_list<_CharT> __l)
1619  {
1620  _GLIBCXX_DEBUG_PEDASSERT(__p >= begin() && __p <= end());
1621  this->insert(__p - begin(), __l.begin(), __l.size());
1622  }
1623 #endif
1624 #endif // C++11
1625 
1626  /**
1627  * @brief Insert value of a string.
1628  * @param __pos1 Position in string to insert at.
1629  * @param __str The string to insert.
1630  * @return Reference to this string.
1631  * @throw std::length_error If new length exceeds @c max_size().
1632  *
1633  * Inserts value of @a __str starting at @a __pos1. If adding
1634  * characters causes the length to exceed max_size(),
1635  * length_error is thrown. The value of the string doesn't
1636  * change if an error is thrown.
1637  */
1638  basic_string&
1639  insert(size_type __pos1, const basic_string& __str)
1640  { return this->replace(__pos1, size_type(0),
1641  __str._M_data(), __str.size()); }
1642 
1643  /**
1644  * @brief Insert a substring.
1645  * @param __pos1 Position in string to insert at.
1646  * @param __str The string to insert.
1647  * @param __pos2 Start of characters in str to insert.
1648  * @param __n Number of characters to insert.
1649  * @return Reference to this string.
1650  * @throw std::length_error If new length exceeds @c max_size().
1651  * @throw std::out_of_range If @a pos1 > size() or
1652  * @a __pos2 > @a str.size().
1653  *
1654  * Starting at @a pos1, insert @a __n character of @a __str
1655  * beginning with @a __pos2. If adding characters causes the
1656  * length to exceed max_size(), length_error is thrown. If @a
1657  * __pos1 is beyond the end of this string or @a __pos2 is
1658  * beyond the end of @a __str, out_of_range is thrown. The
1659  * value of the string doesn't change if an error is thrown.
1660  */
1661  basic_string&
1662  insert(size_type __pos1, const basic_string& __str,
1663  size_type __pos2, size_type __n = npos)
1664  { return this->replace(__pos1, size_type(0), __str._M_data()
1665  + __str._M_check(__pos2, "basic_string::insert"),
1666  __str._M_limit(__pos2, __n)); }
1667 
1668  /**
1669  * @brief Insert a C substring.
1670  * @param __pos Position in string to insert at.
1671  * @param __s The C string to insert.
1672  * @param __n The number of characters to insert.
1673  * @return Reference to this string.
1674  * @throw std::length_error If new length exceeds @c max_size().
1675  * @throw std::out_of_range If @a __pos is beyond the end of this
1676  * string.
1677  *
1678  * Inserts the first @a __n characters of @a __s starting at @a
1679  * __pos. If adding characters causes the length to exceed
1680  * max_size(), length_error is thrown. If @a __pos is beyond
1681  * end(), out_of_range is thrown. The value of the string
1682  * doesn't change if an error is thrown.
1683  */
1684  basic_string&
1685  insert(size_type __pos, const _CharT* __s, size_type __n)
1686  { return this->replace(__pos, size_type(0), __s, __n); }
1687 
1688  /**
1689  * @brief Insert a C string.
1690  * @param __pos Position in string to insert at.
1691  * @param __s The C string to insert.
1692  * @return Reference to this string.
1693  * @throw std::length_error If new length exceeds @c max_size().
1694  * @throw std::out_of_range If @a pos is beyond the end of this
1695  * string.
1696  *
1697  * Inserts the first @a n characters of @a __s starting at @a __pos. If
1698  * adding characters causes the length to exceed max_size(),
1699  * length_error is thrown. If @a __pos is beyond end(), out_of_range is
1700  * thrown. The value of the string doesn't change if an error is
1701  * thrown.
1702  */
1703  basic_string&
1704  insert(size_type __pos, const _CharT* __s)
1705  {
1706  __glibcxx_requires_string(__s);
1707  return this->replace(__pos, size_type(0), __s,
1708  traits_type::length(__s));
1709  }
1710 
1711  /**
1712  * @brief Insert multiple characters.
1713  * @param __pos Index in string to insert at.
1714  * @param __n Number of characters to insert
1715  * @param __c The character to insert.
1716  * @return Reference to this string.
1717  * @throw std::length_error If new length exceeds @c max_size().
1718  * @throw std::out_of_range If @a __pos is beyond the end of this
1719  * string.
1720  *
1721  * Inserts @a __n copies of character @a __c starting at index
1722  * @a __pos. If adding characters causes the length to exceed
1723  * max_size(), length_error is thrown. If @a __pos > length(),
1724  * out_of_range is thrown. The value of the string doesn't
1725  * change if an error is thrown.
1726  */
1727  basic_string&
1728  insert(size_type __pos, size_type __n, _CharT __c)
1729  { return _M_replace_aux(_M_check(__pos, "basic_string::insert"),
1730  size_type(0), __n, __c); }
1731 
1732  /**
1733  * @brief Insert one character.
1734  * @param __p Iterator referencing position in string to insert at.
1735  * @param __c The character to insert.
1736  * @return Iterator referencing newly inserted char.
1737  * @throw std::length_error If new length exceeds @c max_size().
1738  *
1739  * Inserts character @a __c at position referenced by @a __p.
1740  * If adding character causes the length to exceed max_size(),
1741  * length_error is thrown. If @a __p is beyond end of string,
1742  * out_of_range is thrown. The value of the string doesn't
1743  * change if an error is thrown.
1744  */
1745  iterator
1746  insert(__const_iterator __p, _CharT __c)
1747  {
1748  _GLIBCXX_DEBUG_PEDASSERT(__p >= begin() && __p <= end());
1749  const size_type __pos = __p - begin();
1750  _M_replace_aux(__pos, size_type(0), size_type(1), __c);
1751  return iterator(_M_data() + __pos);
1752  }
1753 
1754 #if __cplusplus >= 201703L
1755  /**
1756  * @brief Insert a string_view.
1757  * @param __pos Position in string to insert at.
1758  * @param __svt The object convertible to string_view to insert.
1759  * @return Reference to this string.
1760  */
1761  template<typename _Tp>
1762  _If_sv<_Tp, basic_string&>
1763  insert(size_type __pos, const _Tp& __svt)
1764  {
1765  __sv_type __sv = __svt;
1766  return this->insert(__pos, __sv.data(), __sv.size());
1767  }
1768 
1769  /**
1770  * @brief Insert a string_view.
1771  * @param __pos1 Position in string to insert at.
1772  * @param __svt The object convertible to string_view to insert from.
1773  * @param __pos2 Start of characters in str to insert.
1774  * @param __n The number of characters to insert.
1775  * @return Reference to this string.
1776  */
1777  template<typename _Tp>
1778  _If_sv<_Tp, basic_string&>
1779  insert(size_type __pos1, const _Tp& __svt,
1780  size_type __pos2, size_type __n = npos)
1781  {
1782  __sv_type __sv = __svt;
1783  return this->replace(__pos1, size_type(0),
1784  __sv.data()
1785  + std::__sv_check(__sv.size(), __pos2, "basic_string::insert"),
1786  std::__sv_limit(__sv.size(), __pos2, __n));
1787  }
1788 #endif // C++17
1789 
1790  /**
1791  * @brief Remove characters.
1792  * @param __pos Index of first character to remove (default 0).
1793  * @param __n Number of characters to remove (default remainder).
1794  * @return Reference to this string.
1795  * @throw std::out_of_range If @a pos is beyond the end of this
1796  * string.
1797  *
1798  * Removes @a __n characters from this string starting at @a
1799  * __pos. The length of the string is reduced by @a __n. If
1800  * there are < @a __n characters to remove, the remainder of
1801  * the string is truncated. If @a __p is beyond end of string,
1802  * out_of_range is thrown. The value of the string doesn't
1803  * change if an error is thrown.
1804  */
1805  basic_string&
1806  erase(size_type __pos = 0, size_type __n = npos)
1807  {
1808  _M_check(__pos, "basic_string::erase");
1809  if (__n == npos)
1810  this->_M_set_length(__pos);
1811  else if (__n != 0)
1812  this->_M_erase(__pos, _M_limit(__pos, __n));
1813  return *this;
1814  }
1815 
1816  /**
1817  * @brief Remove one character.
1818  * @param __position Iterator referencing the character to remove.
1819  * @return iterator referencing same location after removal.
1820  *
1821  * Removes the character at @a __position from this string. The value
1822  * of the string doesn't change if an error is thrown.
1823  */
1824  iterator
1825  erase(__const_iterator __position)
1826  {
1827  _GLIBCXX_DEBUG_PEDASSERT(__position >= begin()
1828  && __position < end());
1829  const size_type __pos = __position - begin();
1830  this->_M_erase(__pos, size_type(1));
1831  return iterator(_M_data() + __pos);
1832  }
1833 
1834  /**
1835  * @brief Remove a range of characters.
1836  * @param __first Iterator referencing the first character to remove.
1837  * @param __last Iterator referencing the end of the range.
1838  * @return Iterator referencing location of first after removal.
1839  *
1840  * Removes the characters in the range [first,last) from this string.
1841  * The value of the string doesn't change if an error is thrown.
1842  */
1843  iterator
1844  erase(__const_iterator __first, __const_iterator __last)
1845  {
1846  _GLIBCXX_DEBUG_PEDASSERT(__first >= begin() && __first <= __last
1847  && __last <= end());
1848  const size_type __pos = __first - begin();
1849  if (__last == end())
1850  this->_M_set_length(__pos);
1851  else
1852  this->_M_erase(__pos, __last - __first);
1853  return iterator(this->_M_data() + __pos);
1854  }
1855 
1856 #if __cplusplus >= 201103L
1857  /**
1858  * @brief Remove the last character.
1859  *
1860  * The string must be non-empty.
1861  */
1862  void
1863  pop_back() noexcept
1864  {
1865  __glibcxx_assert(!empty());
1866  _M_erase(size() - 1, 1);
1867  }
1868 #endif // C++11
1869 
1870  /**
1871  * @brief Replace characters with value from another string.
1872  * @param __pos Index of first character to replace.
1873  * @param __n Number of characters to be replaced.
1874  * @param __str String to insert.
1875  * @return Reference to this string.
1876  * @throw std::out_of_range If @a pos is beyond the end of this
1877  * string.
1878  * @throw std::length_error If new length exceeds @c max_size().
1879  *
1880  * Removes the characters in the range [__pos,__pos+__n) from
1881  * this string. In place, the value of @a __str is inserted.
1882  * If @a __pos is beyond end of string, out_of_range is thrown.
1883  * If the length of the result exceeds max_size(), length_error
1884  * is thrown. The value of the string doesn't change if an
1885  * error is thrown.
1886  */
1887  basic_string&
1888  replace(size_type __pos, size_type __n, const basic_string& __str)
1889  { return this->replace(__pos, __n, __str._M_data(), __str.size()); }
1890 
1891  /**
1892  * @brief Replace characters with value from another string.
1893  * @param __pos1 Index of first character to replace.
1894  * @param __n1 Number of characters to be replaced.
1895  * @param __str String to insert.
1896  * @param __pos2 Index of first character of str to use.
1897  * @param __n2 Number of characters from str to use.
1898  * @return Reference to this string.
1899  * @throw std::out_of_range If @a __pos1 > size() or @a __pos2 >
1900  * __str.size().
1901  * @throw std::length_error If new length exceeds @c max_size().
1902  *
1903  * Removes the characters in the range [__pos1,__pos1 + n) from this
1904  * string. In place, the value of @a __str is inserted. If @a __pos is
1905  * beyond end of string, out_of_range is thrown. If the length of the
1906  * result exceeds max_size(), length_error is thrown. The value of the
1907  * string doesn't change if an error is thrown.
1908  */
1909  basic_string&
1910  replace(size_type __pos1, size_type __n1, const basic_string& __str,
1911  size_type __pos2, size_type __n2 = npos)
1912  { return this->replace(__pos1, __n1, __str._M_data()
1913  + __str._M_check(__pos2, "basic_string::replace"),
1914  __str._M_limit(__pos2, __n2)); }
1915 
1916  /**
1917  * @brief Replace characters with value of a C substring.
1918  * @param __pos Index of first character to replace.
1919  * @param __n1 Number of characters to be replaced.
1920  * @param __s C string to insert.
1921  * @param __n2 Number of characters from @a s to use.
1922  * @return Reference to this string.
1923  * @throw std::out_of_range If @a pos1 > size().
1924  * @throw std::length_error If new length exceeds @c max_size().
1925  *
1926  * Removes the characters in the range [__pos,__pos + __n1)
1927  * from this string. In place, the first @a __n2 characters of
1928  * @a __s are inserted, or all of @a __s if @a __n2 is too large. If
1929  * @a __pos is beyond end of string, out_of_range is thrown. If
1930  * the length of result exceeds max_size(), length_error is
1931  * thrown. The value of the string doesn't change if an error
1932  * is thrown.
1933  */
1934  basic_string&
1935  replace(size_type __pos, size_type __n1, const _CharT* __s,
1936  size_type __n2)
1937  {
1938  __glibcxx_requires_string_len(__s, __n2);
1939  return _M_replace(_M_check(__pos, "basic_string::replace"),
1940  _M_limit(__pos, __n1), __s, __n2);
1941  }
1942 
1943  /**
1944  * @brief Replace characters with value of a C string.
1945  * @param __pos Index of first character to replace.
1946  * @param __n1 Number of characters to be replaced.
1947  * @param __s C string to insert.
1948  * @return Reference to this string.
1949  * @throw std::out_of_range If @a pos > size().
1950  * @throw std::length_error If new length exceeds @c max_size().
1951  *
1952  * Removes the characters in the range [__pos,__pos + __n1)
1953  * from this string. In place, the characters of @a __s are
1954  * inserted. If @a __pos is beyond end of string, out_of_range
1955  * is thrown. If the length of result exceeds max_size(),
1956  * length_error is thrown. The value of the string doesn't
1957  * change if an error is thrown.
1958  */
1959  basic_string&
1960  replace(size_type __pos, size_type __n1, const _CharT* __s)
1961  {
1962  __glibcxx_requires_string(__s);
1963  return this->replace(__pos, __n1, __s, traits_type::length(__s));
1964  }
1965 
1966  /**
1967  * @brief Replace characters with multiple characters.
1968  * @param __pos Index of first character to replace.
1969  * @param __n1 Number of characters to be replaced.
1970  * @param __n2 Number of characters to insert.
1971  * @param __c Character to insert.
1972  * @return Reference to this string.
1973  * @throw std::out_of_range If @a __pos > size().
1974  * @throw std::length_error If new length exceeds @c max_size().
1975  *
1976  * Removes the characters in the range [pos,pos + n1) from this
1977  * string. In place, @a __n2 copies of @a __c are inserted.
1978  * If @a __pos is beyond end of string, out_of_range is thrown.
1979  * If the length of result exceeds max_size(), length_error is
1980  * thrown. The value of the string doesn't change if an error
1981  * is thrown.
1982  */
1983  basic_string&
1984  replace(size_type __pos, size_type __n1, size_type __n2, _CharT __c)
1985  { return _M_replace_aux(_M_check(__pos, "basic_string::replace"),
1986  _M_limit(__pos, __n1), __n2, __c); }
1987 
1988  /**
1989  * @brief Replace range of characters with string.
1990  * @param __i1 Iterator referencing start of range to replace.
1991  * @param __i2 Iterator referencing end of range to replace.
1992  * @param __str String value to insert.
1993  * @return Reference to this string.
1994  * @throw std::length_error If new length exceeds @c max_size().
1995  *
1996  * Removes the characters in the range [__i1,__i2). In place,
1997  * the value of @a __str is inserted. If the length of result
1998  * exceeds max_size(), length_error is thrown. The value of
1999  * the string doesn't change if an error is thrown.
2000  */
2001  basic_string&
2002  replace(__const_iterator __i1, __const_iterator __i2,
2003  const basic_string& __str)
2004  { return this->replace(__i1, __i2, __str._M_data(), __str.size()); }
2005 
2006  /**
2007  * @brief Replace range of characters with C substring.
2008  * @param __i1 Iterator referencing start of range to replace.
2009  * @param __i2 Iterator referencing end of range to replace.
2010  * @param __s C string value to insert.
2011  * @param __n Number of characters from s to insert.
2012  * @return Reference to this string.
2013  * @throw std::length_error If new length exceeds @c max_size().
2014  *
2015  * Removes the characters in the range [__i1,__i2). In place,
2016  * the first @a __n characters of @a __s are inserted. If the
2017  * length of result exceeds max_size(), length_error is thrown.
2018  * The value of the string doesn't change if an error is
2019  * thrown.
2020  */
2021  basic_string&
2022  replace(__const_iterator __i1, __const_iterator __i2,
2023  const _CharT* __s, size_type __n)
2024  {
2025  _GLIBCXX_DEBUG_PEDASSERT(begin() <= __i1 && __i1 <= __i2
2026  && __i2 <= end());
2027  return this->replace(__i1 - begin(), __i2 - __i1, __s, __n);
2028  }
2029 
2030  /**
2031  * @brief Replace range of characters with C string.
2032  * @param __i1 Iterator referencing start of range to replace.
2033  * @param __i2 Iterator referencing end of range to replace.
2034  * @param __s C string value to insert.
2035  * @return Reference to this string.
2036  * @throw std::length_error If new length exceeds @c max_size().
2037  *
2038  * Removes the characters in the range [__i1,__i2). In place,
2039  * the characters of @a __s are inserted. If the length of
2040  * result exceeds max_size(), length_error is thrown. The
2041  * value of the string doesn't change if an error is thrown.
2042  */
2043  basic_string&
2044  replace(__const_iterator __i1, __const_iterator __i2, const _CharT* __s)
2045  {
2046  __glibcxx_requires_string(__s);
2047  return this->replace(__i1, __i2, __s, traits_type::length(__s));
2048  }
2049 
2050  /**
2051  * @brief Replace range of characters with multiple characters
2052  * @param __i1 Iterator referencing start of range to replace.
2053  * @param __i2 Iterator referencing end of range to replace.
2054  * @param __n Number of characters to insert.
2055  * @param __c Character to insert.
2056  * @return Reference to this string.
2057  * @throw std::length_error If new length exceeds @c max_size().
2058  *
2059  * Removes the characters in the range [__i1,__i2). In place,
2060  * @a __n copies of @a __c are inserted. If the length of
2061  * result exceeds max_size(), length_error is thrown. The
2062  * value of the string doesn't change if an error is thrown.
2063  */
2064  basic_string&
2065  replace(__const_iterator __i1, __const_iterator __i2, size_type __n,
2066  _CharT __c)
2067  {
2068  _GLIBCXX_DEBUG_PEDASSERT(begin() <= __i1 && __i1 <= __i2
2069  && __i2 <= end());
2070  return _M_replace_aux(__i1 - begin(), __i2 - __i1, __n, __c);
2071  }
2072 
2073  /**
2074  * @brief Replace range of characters with range.
2075  * @param __i1 Iterator referencing start of range to replace.
2076  * @param __i2 Iterator referencing end of range to replace.
2077  * @param __k1 Iterator referencing start of range to insert.
2078  * @param __k2 Iterator referencing end of range to insert.
2079  * @return Reference to this string.
2080  * @throw std::length_error If new length exceeds @c max_size().
2081  *
2082  * Removes the characters in the range [__i1,__i2). In place,
2083  * characters in the range [__k1,__k2) are inserted. If the
2084  * length of result exceeds max_size(), length_error is thrown.
2085  * The value of the string doesn't change if an error is
2086  * thrown.
2087  */
2088 #if __cplusplus >= 201103L
2089  template<class _InputIterator,
2090  typename = std::_RequireInputIter<_InputIterator>>
2091  basic_string&
2092  replace(const_iterator __i1, const_iterator __i2,
2093  _InputIterator __k1, _InputIterator __k2)
2094  {
2095  _GLIBCXX_DEBUG_PEDASSERT(begin() <= __i1 && __i1 <= __i2
2096  && __i2 <= end());
2097  __glibcxx_requires_valid_range(__k1, __k2);
2098  return this->_M_replace_dispatch(__i1, __i2, __k1, __k2,
2099  std::__false_type());
2100  }
2101 #else
2102  template<class _InputIterator>
2103 #ifdef _GLIBCXX_DISAMBIGUATE_REPLACE_INST
2104  typename __enable_if_not_native_iterator<_InputIterator>::__type
2105 #else
2106  basic_string&
2107 #endif
2108  replace(iterator __i1, iterator __i2,
2109  _InputIterator __k1, _InputIterator __k2)
2110  {
2111  _GLIBCXX_DEBUG_PEDASSERT(begin() <= __i1 && __i1 <= __i2
2112  && __i2 <= end());
2113  __glibcxx_requires_valid_range(__k1, __k2);
2114  typedef typename std::__is_integer<_InputIterator>::__type _Integral;
2115  return _M_replace_dispatch(__i1, __i2, __k1, __k2, _Integral());
2116  }
2117 #endif
2118 
2119  // Specializations for the common case of pointer and iterator:
2120  // useful to avoid the overhead of temporary buffering in _M_replace.
2121  basic_string&
2122  replace(__const_iterator __i1, __const_iterator __i2,
2123  _CharT* __k1, _CharT* __k2)
2124  {
2125  _GLIBCXX_DEBUG_PEDASSERT(begin() <= __i1 && __i1 <= __i2
2126  && __i2 <= end());
2127  __glibcxx_requires_valid_range(__k1, __k2);
2128  return this->replace(__i1 - begin(), __i2 - __i1,
2129  __k1, __k2 - __k1);
2130  }
2131 
2132  basic_string&
2133  replace(__const_iterator __i1, __const_iterator __i2,
2134  const _CharT* __k1, const _CharT* __k2)
2135  {
2136  _GLIBCXX_DEBUG_PEDASSERT(begin() <= __i1 && __i1 <= __i2
2137  && __i2 <= end());
2138  __glibcxx_requires_valid_range(__k1, __k2);
2139  return this->replace(__i1 - begin(), __i2 - __i1,
2140  __k1, __k2 - __k1);
2141  }
2142 
2143  basic_string&
2144  replace(__const_iterator __i1, __const_iterator __i2,
2145  iterator __k1, iterator __k2)
2146  {
2147  _GLIBCXX_DEBUG_PEDASSERT(begin() <= __i1 && __i1 <= __i2
2148  && __i2 <= end());
2149  __glibcxx_requires_valid_range(__k1, __k2);
2150  return this->replace(__i1 - begin(), __i2 - __i1,
2151  __k1.base(), __k2 - __k1);
2152  }
2153 
2154  basic_string&
2155  replace(__const_iterator __i1, __const_iterator __i2,
2156  const_iterator __k1, const_iterator __k2)
2157  {
2158  _GLIBCXX_DEBUG_PEDASSERT(begin() <= __i1 && __i1 <= __i2
2159  && __i2 <= end());
2160  __glibcxx_requires_valid_range(__k1, __k2);
2161  return this->replace(__i1 - begin(), __i2 - __i1,
2162  __k1.base(), __k2 - __k1);
2163  }
2164 
2165 #if __cplusplus >= 201103L
2166  /**
2167  * @brief Replace range of characters with initializer_list.
2168  * @param __i1 Iterator referencing start of range to replace.
2169  * @param __i2 Iterator referencing end of range to replace.
2170  * @param __l The initializer_list of characters to insert.
2171  * @return Reference to this string.
2172  * @throw std::length_error If new length exceeds @c max_size().
2173  *
2174  * Removes the characters in the range [__i1,__i2). In place,
2175  * characters in the range [__k1,__k2) are inserted. If the
2176  * length of result exceeds max_size(), length_error is thrown.
2177  * The value of the string doesn't change if an error is
2178  * thrown.
2179  */
2180  basic_string& replace(const_iterator __i1, const_iterator __i2,
2181  initializer_list<_CharT> __l)
2182  { return this->replace(__i1, __i2, __l.begin(), __l.size()); }
2183 #endif // C++11
2184 
2185 #if __cplusplus >= 201703L
2186  /**
2187  * @brief Replace range of characters with string_view.
2188  * @param __pos The position to replace at.
2189  * @param __n The number of characters to replace.
2190  * @param __svt The object convertible to string_view to insert.
2191  * @return Reference to this string.
2192  */
2193  template<typename _Tp>
2194  _If_sv<_Tp, basic_string&>
2195  replace(size_type __pos, size_type __n, const _Tp& __svt)
2196  {
2197  __sv_type __sv = __svt;
2198  return this->replace(__pos, __n, __sv.data(), __sv.size());
2199  }
2200 
2201  /**
2202  * @brief Replace range of characters with string_view.
2203  * @param __pos1 The position to replace at.
2204  * @param __n1 The number of characters to replace.
2205  * @param __svt The object convertible to string_view to insert from.
2206  * @param __pos2 The position in the string_view to insert from.
2207  * @param __n2 The number of characters to insert.
2208  * @return Reference to this string.
2209  */
2210  template<typename _Tp>
2211  _If_sv<_Tp, basic_string&>
2212  replace(size_type __pos1, size_type __n1, const _Tp& __svt,
2213  size_type __pos2, size_type __n2 = npos)
2214  {
2215  __sv_type __sv = __svt;
2216  return this->replace(__pos1, __n1,
2217  __sv.data()
2218  + std::__sv_check(__sv.size(), __pos2, "basic_string::replace"),
2219  std::__sv_limit(__sv.size(), __pos2, __n2));
2220  }
2221 
2222  /**
2223  * @brief Replace range of characters with string_view.
2224  * @param __i1 An iterator referencing the start position
2225  to replace at.
2226  * @param __i2 An iterator referencing the end position
2227  for the replace.
2228  * @param __svt The object convertible to string_view to insert from.
2229  * @return Reference to this string.
2230  */
2231  template<typename _Tp>
2232  _If_sv<_Tp, basic_string&>
2233  replace(const_iterator __i1, const_iterator __i2, const _Tp& __svt)
2234  {
2235  __sv_type __sv = __svt;
2236  return this->replace(__i1 - begin(), __i2 - __i1, __sv);
2237  }
2238 #endif // C++17
2239 
2240  private:
2241  template<class _Integer>
2242  basic_string&
2243  _M_replace_dispatch(const_iterator __i1, const_iterator __i2,
2244  _Integer __n, _Integer __val, __true_type)
2245  { return _M_replace_aux(__i1 - begin(), __i2 - __i1, __n, __val); }
2246 
2247  template<class _InputIterator>
2248  basic_string&
2249  _M_replace_dispatch(const_iterator __i1, const_iterator __i2,
2250  _InputIterator __k1, _InputIterator __k2,
2251  __false_type);
2252 
2253  basic_string&
2254  _M_replace_aux(size_type __pos1, size_type __n1, size_type __n2,
2255  _CharT __c);
2256 
2257  basic_string&
2258  _M_replace(size_type __pos, size_type __len1, const _CharT* __s,
2259  const size_type __len2);
2260 
2261  basic_string&
2262  _M_append(const _CharT* __s, size_type __n);
2263 
2264  public:
2265 
2266  /**
2267  * @brief Copy substring into C string.
2268  * @param __s C string to copy value into.
2269  * @param __n Number of characters to copy.
2270  * @param __pos Index of first character to copy.
2271  * @return Number of characters actually copied
2272  * @throw std::out_of_range If __pos > size().
2273  *
2274  * Copies up to @a __n characters starting at @a __pos into the
2275  * C string @a __s. If @a __pos is %greater than size(),
2276  * out_of_range is thrown.
2277  */
2278  size_type
2279  copy(_CharT* __s, size_type __n, size_type __pos = 0) const;
2280 
2281  /**
2282  * @brief Swap contents with another string.
2283  * @param __s String to swap with.
2284  *
2285  * Exchanges the contents of this string with that of @a __s in constant
2286  * time.
2287  */
2288  void
2289  swap(basic_string& __s) _GLIBCXX_NOEXCEPT;
2290 
2291  // String operations:
2292  /**
2293  * @brief Return const pointer to null-terminated contents.
2294  *
2295  * This is a handle to internal data. Do not modify or dire things may
2296  * happen.
2297  */
2298  const _CharT*
2299  c_str() const _GLIBCXX_NOEXCEPT
2300  { return _M_data(); }
2301 
2302  /**
2303  * @brief Return const pointer to contents.
2304  *
2305  * This is a pointer to internal data. It is undefined to modify
2306  * the contents through the returned pointer. To get a pointer that
2307  * allows modifying the contents use @c &str[0] instead,
2308  * (or in C++17 the non-const @c str.data() overload).
2309  */
2310  const _CharT*
2311  data() const _GLIBCXX_NOEXCEPT
2312  { return _M_data(); }
2313 
2314 #if __cplusplus >= 201703L
2315  /**
2316  * @brief Return non-const pointer to contents.
2317  *
2318  * This is a pointer to the character sequence held by the string.
2319  * Modifying the characters in the sequence is allowed.
2320  */
2321  _CharT*
2322  data() noexcept
2323  { return _M_data(); }
2324 #endif
2325 
2326  /**
2327  * @brief Return copy of allocator used to construct this string.
2328  */
2329  allocator_type
2330  get_allocator() const _GLIBCXX_NOEXCEPT
2331  { return _M_get_allocator(); }
2332 
2333  /**
2334  * @brief Find position of a C substring.
2335  * @param __s C string to locate.
2336  * @param __pos Index of character to search from.
2337  * @param __n Number of characters from @a s to search for.
2338  * @return Index of start of first occurrence.
2339  *
2340  * Starting from @a __pos, searches forward for the first @a
2341  * __n characters in @a __s within this string. If found,
2342  * returns the index where it begins. If not found, returns
2343  * npos.
2344  */
2345  size_type
2346  find(const _CharT* __s, size_type __pos, size_type __n) const
2347  _GLIBCXX_NOEXCEPT;
2348 
2349  /**
2350  * @brief Find position of a string.
2351  * @param __str String to locate.
2352  * @param __pos Index of character to search from (default 0).
2353  * @return Index of start of first occurrence.
2354  *
2355  * Starting from @a __pos, searches forward for value of @a __str within
2356  * this string. If found, returns the index where it begins. If not
2357  * found, returns npos.
2358  */
2359  size_type
2360  find(const basic_string& __str, size_type __pos = 0) const
2361  _GLIBCXX_NOEXCEPT
2362  { return this->find(__str.data(), __pos, __str.size()); }
2363 
2364 #if __cplusplus >= 201703L
2365  /**
2366  * @brief Find position of a string_view.
2367  * @param __svt The object convertible to string_view to locate.
2368  * @param __pos Index of character to search from (default 0).
2369  * @return Index of start of first occurrence.
2370  */
2371  template<typename _Tp>
2372  _If_sv<_Tp, size_type>
2373  find(const _Tp& __svt, size_type __pos = 0) const
2374  noexcept(is_same<_Tp, __sv_type>::value)
2375  {
2376  __sv_type __sv = __svt;
2377  return this->find(__sv.data(), __pos, __sv.size());
2378  }
2379 #endif // C++17
2380 
2381  /**
2382  * @brief Find position of a C string.
2383  * @param __s C string to locate.
2384  * @param __pos Index of character to search from (default 0).
2385  * @return Index of start of first occurrence.
2386  *
2387  * Starting from @a __pos, searches forward for the value of @a
2388  * __s within this string. If found, returns the index where
2389  * it begins. If not found, returns npos.
2390  */
2391  size_type
2392  find(const _CharT* __s, size_type __pos = 0) const _GLIBCXX_NOEXCEPT
2393  {
2394  __glibcxx_requires_string(__s);
2395  return this->find(__s, __pos, traits_type::length(__s));
2396  }
2397 
2398  /**
2399  * @brief Find position of a character.
2400  * @param __c Character to locate.
2401  * @param __pos Index of character to search from (default 0).
2402  * @return Index of first occurrence.
2403  *
2404  * Starting from @a __pos, searches forward for @a __c within
2405  * this string. If found, returns the index where it was
2406  * found. If not found, returns npos.
2407  */
2408  size_type
2409  find(_CharT __c, size_type __pos = 0) const _GLIBCXX_NOEXCEPT;
2410 
2411  /**
2412  * @brief Find last position of a string.
2413  * @param __str String to locate.
2414  * @param __pos Index of character to search back from (default end).
2415  * @return Index of start of last occurrence.
2416  *
2417  * Starting from @a __pos, searches backward for value of @a
2418  * __str within this string. If found, returns the index where
2419  * it begins. If not found, returns npos.
2420  */
2421  size_type
2422  rfind(const basic_string& __str, size_type __pos = npos) const
2423  _GLIBCXX_NOEXCEPT
2424  { return this->rfind(__str.data(), __pos, __str.size()); }
2425 
2426 #if __cplusplus >= 201703L
2427  /**
2428  * @brief Find last position of a string_view.
2429  * @param __svt The object convertible to string_view to locate.
2430  * @param __pos Index of character to search back from (default end).
2431  * @return Index of start of last occurrence.
2432  */
2433  template<typename _Tp>
2434  _If_sv<_Tp, size_type>
2435  rfind(const _Tp& __svt, size_type __pos = npos) const
2436  noexcept(is_same<_Tp, __sv_type>::value)
2437  {
2438  __sv_type __sv = __svt;
2439  return this->rfind(__sv.data(), __pos, __sv.size());
2440  }
2441 #endif // C++17
2442 
2443  /**
2444  * @brief Find last position of a C substring.
2445  * @param __s C string to locate.
2446  * @param __pos Index of character to search back from.
2447  * @param __n Number of characters from s to search for.
2448  * @return Index of start of last occurrence.
2449  *
2450  * Starting from @a __pos, searches backward for the first @a
2451  * __n characters in @a __s within this string. If found,
2452  * returns the index where it begins. If not found, returns
2453  * npos.
2454  */
2455  size_type
2456  rfind(const _CharT* __s, size_type __pos, size_type __n) const
2457  _GLIBCXX_NOEXCEPT;
2458 
2459  /**
2460  * @brief Find last position of a C string.
2461  * @param __s C string to locate.
2462  * @param __pos Index of character to start search at (default end).
2463  * @return Index of start of last occurrence.
2464  *
2465  * Starting from @a __pos, searches backward for the value of
2466  * @a __s within this string. If found, returns the index
2467  * where it begins. If not found, returns npos.
2468  */
2469  size_type
2470  rfind(const _CharT* __s, size_type __pos = npos) const
2471  {
2472  __glibcxx_requires_string(__s);
2473  return this->rfind(__s, __pos, traits_type::length(__s));
2474  }
2475 
2476  /**
2477  * @brief Find last position of a character.
2478  * @param __c Character to locate.
2479  * @param __pos Index of character to search back from (default end).
2480  * @return Index of last occurrence.
2481  *
2482  * Starting from @a __pos, searches backward for @a __c within
2483  * this string. If found, returns the index where it was
2484  * found. If not found, returns npos.
2485  */
2486  size_type
2487  rfind(_CharT __c, size_type __pos = npos) const _GLIBCXX_NOEXCEPT;
2488 
2489  /**
2490  * @brief Find position of a character of string.
2491  * @param __str String containing characters to locate.
2492  * @param __pos Index of character to search from (default 0).
2493  * @return Index of first occurrence.
2494  *
2495  * Starting from @a __pos, searches forward for one of the
2496  * characters of @a __str within this string. If found,
2497  * returns the index where it was found. If not found, returns
2498  * npos.
2499  */
2500  size_type
2501  find_first_of(const basic_string& __str, size_type __pos = 0) const
2502  _GLIBCXX_NOEXCEPT
2503  { return this->find_first_of(__str.data(), __pos, __str.size()); }
2504 
2505 #if __cplusplus >= 201703L
2506  /**
2507  * @brief Find position of a character of a string_view.
2508  * @param __svt An object convertible to string_view containing
2509  * characters to locate.
2510  * @param __pos Index of character to search from (default 0).
2511  * @return Index of first occurrence.
2512  */
2513  template<typename _Tp>
2514  _If_sv<_Tp, size_type>
2515  find_first_of(const _Tp& __svt, size_type __pos = 0) const
2516  noexcept(is_same<_Tp, __sv_type>::value)
2517  {
2518  __sv_type __sv = __svt;
2519  return this->find_first_of(__sv.data(), __pos, __sv.size());
2520  }
2521 #endif // C++17
2522 
2523  /**
2524  * @brief Find position of a character of C substring.
2525  * @param __s String containing characters to locate.
2526  * @param __pos Index of character to search from.
2527  * @param __n Number of characters from s to search for.
2528  * @return Index of first occurrence.
2529  *
2530  * Starting from @a __pos, searches forward for one of the
2531  * first @a __n characters of @a __s within this string. If
2532  * found, returns the index where it was found. If not found,
2533  * returns npos.
2534  */
2535  size_type
2536  find_first_of(const _CharT* __s, size_type __pos, size_type __n) const
2537  _GLIBCXX_NOEXCEPT;
2538 
2539  /**
2540  * @brief Find position of a character of C string.
2541  * @param __s String containing characters to locate.
2542  * @param __pos Index of character to search from (default 0).
2543  * @return Index of first occurrence.
2544  *
2545  * Starting from @a __pos, searches forward for one of the
2546  * characters of @a __s within this string. If found, returns
2547  * the index where it was found. If not found, returns npos.
2548  */
2549  size_type
2550  find_first_of(const _CharT* __s, size_type __pos = 0) const
2551  _GLIBCXX_NOEXCEPT
2552  {
2553  __glibcxx_requires_string(__s);
2554  return this->find_first_of(__s, __pos, traits_type::length(__s));
2555  }
2556 
2557  /**
2558  * @brief Find position of a character.
2559  * @param __c Character to locate.
2560  * @param __pos Index of character to search from (default 0).
2561  * @return Index of first occurrence.
2562  *
2563  * Starting from @a __pos, searches forward for the character
2564  * @a __c within this string. If found, returns the index
2565  * where it was found. If not found, returns npos.
2566  *
2567  * Note: equivalent to find(__c, __pos).
2568  */
2569  size_type
2570  find_first_of(_CharT __c, size_type __pos = 0) const _GLIBCXX_NOEXCEPT
2571  { return this->find(__c, __pos); }
2572 
2573  /**
2574  * @brief Find last position of a character of string.
2575  * @param __str String containing characters to locate.
2576  * @param __pos Index of character to search back from (default end).
2577  * @return Index of last occurrence.
2578  *
2579  * Starting from @a __pos, searches backward for one of the
2580  * characters of @a __str within this string. If found,
2581  * returns the index where it was found. If not found, returns
2582  * npos.
2583  */
2584  size_type
2585  find_last_of(const basic_string& __str, size_type __pos = npos) const
2586  _GLIBCXX_NOEXCEPT
2587  { return this->find_last_of(__str.data(), __pos, __str.size()); }
2588 
2589 #if __cplusplus >= 201703L
2590  /**
2591  * @brief Find last position of a character of string.
2592  * @param __svt An object convertible to string_view containing
2593  * characters to locate.
2594  * @param __pos Index of character to search back from (default end).
2595  * @return Index of last occurrence.
2596  */
2597  template<typename _Tp>
2598  _If_sv<_Tp, size_type>
2599  find_last_of(const _Tp& __svt, size_type __pos = npos) const
2600  noexcept(is_same<_Tp, __sv_type>::value)
2601  {
2602  __sv_type __sv = __svt;
2603  return this->find_last_of(__sv.data(), __pos, __sv.size());
2604  }
2605 #endif // C++17
2606 
2607  /**
2608  * @brief Find last position of a character of C substring.
2609  * @param __s C string containing characters to locate.
2610  * @param __pos Index of character to search back from.
2611  * @param __n Number of characters from s to search for.
2612  * @return Index of last occurrence.
2613  *
2614  * Starting from @a __pos, searches backward for one of the
2615  * first @a __n characters of @a __s within this string. If
2616  * found, returns the index where it was found. If not found,
2617  * returns npos.
2618  */
2619  size_type
2620  find_last_of(const _CharT* __s, size_type __pos, size_type __n) const
2621  _GLIBCXX_NOEXCEPT;
2622 
2623  /**
2624  * @brief Find last position of a character of C string.
2625  * @param __s C string containing characters to locate.
2626  * @param __pos Index of character to search back from (default end).
2627  * @return Index of last occurrence.
2628  *
2629  * Starting from @a __pos, searches backward for one of the
2630  * characters of @a __s within this string. If found, returns
2631  * the index where it was found. If not found, returns npos.
2632  */
2633  size_type
2634  find_last_of(const _CharT* __s, size_type __pos = npos) const
2635  _GLIBCXX_NOEXCEPT
2636  {
2637  __glibcxx_requires_string(__s);
2638  return this->find_last_of(__s, __pos, traits_type::length(__s));
2639  }
2640 
2641  /**
2642  * @brief Find last position of a character.
2643  * @param __c Character to locate.
2644  * @param __pos Index of character to search back from (default end).
2645  * @return Index of last occurrence.
2646  *
2647  * Starting from @a __pos, searches backward for @a __c within
2648  * this string. If found, returns the index where it was
2649  * found. If not found, returns npos.
2650  *
2651  * Note: equivalent to rfind(__c, __pos).
2652  */
2653  size_type
2654  find_last_of(_CharT __c, size_type __pos = npos) const _GLIBCXX_NOEXCEPT
2655  { return this->rfind(__c, __pos); }
2656 
2657  /**
2658  * @brief Find position of a character not in string.
2659  * @param __str String containing characters to avoid.
2660  * @param __pos Index of character to search from (default 0).
2661  * @return Index of first occurrence.
2662  *
2663  * Starting from @a __pos, searches forward for a character not contained
2664  * in @a __str within this string. If found, returns the index where it
2665  * was found. If not found, returns npos.
2666  */
2667  size_type
2668  find_first_not_of(const basic_string& __str, size_type __pos = 0) const
2669  _GLIBCXX_NOEXCEPT
2670  { return this->find_first_not_of(__str.data(), __pos, __str.size()); }
2671 
2672 #if __cplusplus >= 201703L
2673  /**
2674  * @brief Find position of a character not in a string_view.
2675  * @param __svt A object convertible to string_view containing
2676  * characters to avoid.
2677  * @param __pos Index of character to search from (default 0).
2678  * @return Index of first occurrence.
2679  */
2680  template<typename _Tp>
2681  _If_sv<_Tp, size_type>
2682  find_first_not_of(const _Tp& __svt, size_type __pos = 0) const
2683  noexcept(is_same<_Tp, __sv_type>::value)
2684  {
2685  __sv_type __sv = __svt;
2686  return this->find_first_not_of(__sv.data(), __pos, __sv.size());
2687  }
2688 #endif // C++17
2689 
2690  /**
2691  * @brief Find position of a character not in C substring.
2692  * @param __s C string containing characters to avoid.
2693  * @param __pos Index of character to search from.
2694  * @param __n Number of characters from __s to consider.
2695  * @return Index of first occurrence.
2696  *
2697  * Starting from @a __pos, searches forward for a character not
2698  * contained in the first @a __n characters of @a __s within
2699  * this string. If found, returns the index where it was
2700  * found. If not found, returns npos.
2701  */
2702  size_type
2703  find_first_not_of(const _CharT* __s, size_type __pos,
2704  size_type __n) const _GLIBCXX_NOEXCEPT;
2705 
2706  /**
2707  * @brief Find position of a character not in C string.
2708  * @param __s C string containing characters to avoid.
2709  * @param __pos Index of character to search from (default 0).
2710  * @return Index of first occurrence.
2711  *
2712  * Starting from @a __pos, searches forward for a character not
2713  * contained in @a __s within this string. If found, returns
2714  * the index where it was found. If not found, returns npos.
2715  */
2716  size_type
2717  find_first_not_of(const _CharT* __s, size_type __pos = 0) const
2718  _GLIBCXX_NOEXCEPT
2719  {
2720  __glibcxx_requires_string(__s);
2721  return this->find_first_not_of(__s, __pos, traits_type::length(__s));
2722  }
2723 
2724  /**
2725  * @brief Find position of a different character.
2726  * @param __c Character to avoid.
2727  * @param __pos Index of character to search from (default 0).
2728  * @return Index of first occurrence.
2729  *
2730  * Starting from @a __pos, searches forward for a character
2731  * other than @a __c within this string. If found, returns the
2732  * index where it was found. If not found, returns npos.
2733  */
2734  size_type
2735  find_first_not_of(_CharT __c, size_type __pos = 0) const
2736  _GLIBCXX_NOEXCEPT;
2737 
2738  /**
2739  * @brief Find last position of a character not in string.
2740  * @param __str String containing characters to avoid.
2741  * @param __pos Index of character to search back from (default end).
2742  * @return Index of last occurrence.
2743  *
2744  * Starting from @a __pos, searches backward for a character
2745  * not contained in @a __str within this string. If found,
2746  * returns the index where it was found. If not found, returns
2747  * npos.
2748  */
2749  size_type
2750  find_last_not_of(const basic_string& __str, size_type __pos = npos) const
2751  _GLIBCXX_NOEXCEPT
2752  { return this->find_last_not_of(__str.data(), __pos, __str.size()); }
2753 
2754 #if __cplusplus >= 201703L
2755  /**
2756  * @brief Find last position of a character not in a string_view.
2757  * @param __svt An object convertible to string_view containing
2758  * characters to avoid.
2759  * @param __pos Index of character to search back from (default end).
2760  * @return Index of last occurrence.
2761  */
2762  template<typename _Tp>
2763  _If_sv<_Tp, size_type>
2764  find_last_not_of(const _Tp& __svt, size_type __pos = npos) const
2765  noexcept(is_same<_Tp, __sv_type>::value)
2766  {
2767  __sv_type __sv = __svt;
2768  return this->find_last_not_of(__sv.data(), __pos, __sv.size());
2769  }
2770 #endif // C++17
2771 
2772  /**
2773  * @brief Find last position of a character not in C substring.
2774  * @param __s C string containing characters to avoid.
2775  * @param __pos Index of character to search back from.
2776  * @param __n Number of characters from s to consider.
2777  * @return Index of last occurrence.
2778  *
2779  * Starting from @a __pos, searches backward for a character not
2780  * contained in the first @a __n characters of @a __s within this string.
2781  * If found, returns the index where it was found. If not found,
2782  * returns npos.
2783  */
2784  size_type
2785  find_last_not_of(const _CharT* __s, size_type __pos,
2786  size_type __n) const _GLIBCXX_NOEXCEPT;
2787  /**
2788  * @brief Find last position of a character not in C string.
2789  * @param __s C string containing characters to avoid.
2790  * @param __pos Index of character to search back from (default end).
2791  * @return Index of last occurrence.
2792  *
2793  * Starting from @a __pos, searches backward for a character
2794  * not contained in @a __s within this string. If found,
2795  * returns the index where it was found. If not found, returns
2796  * npos.
2797  */
2798  size_type
2799  find_last_not_of(const _CharT* __s, size_type __pos = npos) const
2800  _GLIBCXX_NOEXCEPT
2801  {
2802  __glibcxx_requires_string(__s);
2803  return this->find_last_not_of(__s, __pos, traits_type::length(__s));
2804  }
2805 
2806  /**
2807  * @brief Find last position of a different character.
2808  * @param __c Character to avoid.
2809  * @param __pos Index of character to search back from (default end).
2810  * @return Index of last occurrence.
2811  *
2812  * Starting from @a __pos, searches backward for a character other than
2813  * @a __c within this string. If found, returns the index where it was
2814  * found. If not found, returns npos.
2815  */
2816  size_type
2817  find_last_not_of(_CharT __c, size_type __pos = npos) const
2818  _GLIBCXX_NOEXCEPT;
2819 
2820  /**
2821  * @brief Get a substring.
2822  * @param __pos Index of first character (default 0).
2823  * @param __n Number of characters in substring (default remainder).
2824  * @return The new string.
2825  * @throw std::out_of_range If __pos > size().
2826  *
2827  * Construct and return a new string using the @a __n
2828  * characters starting at @a __pos. If the string is too
2829  * short, use the remainder of the characters. If @a __pos is
2830  * beyond the end of the string, out_of_range is thrown.
2831  */
2832  basic_string
2833  substr(size_type __pos = 0, size_type __n = npos) const
2834  { return basic_string(*this,
2835  _M_check(__pos, "basic_string::substr"), __n); }
2836 
2837  /**
2838  * @brief Compare to a string.
2839  * @param __str String to compare against.
2840  * @return Integer < 0, 0, or > 0.
2841  *
2842  * Returns an integer < 0 if this string is ordered before @a
2843  * __str, 0 if their values are equivalent, or > 0 if this
2844  * string is ordered after @a __str. Determines the effective
2845  * length rlen of the strings to compare as the smallest of
2846  * size() and str.size(). The function then compares the two
2847  * strings by calling traits::compare(data(), str.data(),rlen).
2848  * If the result of the comparison is nonzero returns it,
2849  * otherwise the shorter one is ordered first.
2850  */
2851  int
2852  compare(const basic_string& __str) const
2853  {
2854  const size_type __size = this->size();
2855  const size_type __osize = __str.size();
2856  const size_type __len = std::min(__size, __osize);
2857 
2858  int __r = traits_type::compare(_M_data(), __str.data(), __len);
2859  if (!__r)
2860  __r = _S_compare(__size, __osize);
2861  return __r;
2862  }
2863 
2864 #if __cplusplus >= 201703L
2865  /**
2866  * @brief Compare to a string_view.
2867  * @param __svt An object convertible to string_view to compare against.
2868  * @return Integer < 0, 0, or > 0.
2869  */
2870  template<typename _Tp>
2871  _If_sv<_Tp, int>
2872  compare(const _Tp& __svt) const
2873  noexcept(is_same<_Tp, __sv_type>::value)
2874  {
2875  __sv_type __sv = __svt;
2876  const size_type __size = this->size();
2877  const size_type __osize = __sv.size();
2878  const size_type __len = std::min(__size, __osize);
2879 
2880  int __r = traits_type::compare(_M_data(), __sv.data(), __len);
2881  if (!__r)
2882  __r = _S_compare(__size, __osize);
2883  return __r;
2884  }
2885 
2886  /**
2887  * @brief Compare to a string_view.
2888  * @param __pos A position in the string to start comparing from.
2889  * @param __n The number of characters to compare.
2890  * @param __svt An object convertible to string_view to compare
2891  * against.
2892  * @return Integer < 0, 0, or > 0.
2893  */
2894  template<typename _Tp>
2895  _If_sv<_Tp, int>
2896  compare(size_type __pos, size_type __n, const _Tp& __svt) const
2897  noexcept(is_same<_Tp, __sv_type>::value)
2898  {
2899  __sv_type __sv = __svt;
2900  return __sv_type(*this).substr(__pos, __n).compare(__sv);
2901  }
2902 
2903  /**
2904  * @brief Compare to a string_view.
2905  * @param __pos1 A position in the string to start comparing from.
2906  * @param __n1 The number of characters to compare.
2907  * @param __svt An object convertible to string_view to compare
2908  * against.
2909  * @param __pos2 A position in the string_view to start comparing from.
2910  * @param __n2 The number of characters to compare.
2911  * @return Integer < 0, 0, or > 0.
2912  */
2913  template<typename _Tp>
2914  _If_sv<_Tp, int>
2915  compare(size_type __pos1, size_type __n1, const _Tp& __svt,
2916  size_type __pos2, size_type __n2 = npos) const
2917  noexcept(is_same<_Tp, __sv_type>::value)
2918  {
2919  __sv_type __sv = __svt;
2920  return __sv_type(*this)
2921  .substr(__pos1, __n1).compare(__sv.substr(__pos2, __n2));
2922  }
2923 #endif // C++17
2924 
2925  /**
2926  * @brief Compare substring to a string.
2927  * @param __pos Index of first character of substring.
2928  * @param __n Number of characters in substring.
2929  * @param __str String to compare against.
2930  * @return Integer < 0, 0, or > 0.
2931  *
2932  * Form the substring of this string from the @a __n characters
2933  * starting at @a __pos. Returns an integer < 0 if the
2934  * substring is ordered before @a __str, 0 if their values are
2935  * equivalent, or > 0 if the substring is ordered after @a
2936  * __str. Determines the effective length rlen of the strings
2937  * to compare as the smallest of the length of the substring
2938  * and @a __str.size(). The function then compares the two
2939  * strings by calling
2940  * traits::compare(substring.data(),str.data(),rlen). If the
2941  * result of the comparison is nonzero returns it, otherwise
2942  * the shorter one is ordered first.
2943  */
2944  int
2945  compare(size_type __pos, size_type __n, const basic_string& __str) const;
2946 
2947  /**
2948  * @brief Compare substring to a substring.
2949  * @param __pos1 Index of first character of substring.
2950  * @param __n1 Number of characters in substring.
2951  * @param __str String to compare against.
2952  * @param __pos2 Index of first character of substring of str.
2953  * @param __n2 Number of characters in substring of str.
2954  * @return Integer < 0, 0, or > 0.
2955  *
2956  * Form the substring of this string from the @a __n1
2957  * characters starting at @a __pos1. Form the substring of @a
2958  * __str from the @a __n2 characters starting at @a __pos2.
2959  * Returns an integer < 0 if this substring is ordered before
2960  * the substring of @a __str, 0 if their values are equivalent,
2961  * or > 0 if this substring is ordered after the substring of
2962  * @a __str. Determines the effective length rlen of the
2963  * strings to compare as the smallest of the lengths of the
2964  * substrings. The function then compares the two strings by
2965  * calling
2966  * traits::compare(substring.data(),str.substr(pos2,n2).data(),rlen).
2967  * If the result of the comparison is nonzero returns it,
2968  * otherwise the shorter one is ordered first.
2969  */
2970  int
2971  compare(size_type __pos1, size_type __n1, const basic_string& __str,
2972  size_type __pos2, size_type __n2 = npos) const;
2973 
2974  /**
2975  * @brief Compare to a C string.
2976  * @param __s C string to compare against.
2977  * @return Integer < 0, 0, or > 0.
2978  *
2979  * Returns an integer < 0 if this string is ordered before @a __s, 0 if
2980  * their values are equivalent, or > 0 if this string is ordered after
2981  * @a __s. Determines the effective length rlen of the strings to
2982  * compare as the smallest of size() and the length of a string
2983  * constructed from @a __s. The function then compares the two strings
2984  * by calling traits::compare(data(),s,rlen). If the result of the
2985  * comparison is nonzero returns it, otherwise the shorter one is
2986  * ordered first.
2987  */
2988  int
2989  compare(const _CharT* __s) const _GLIBCXX_NOEXCEPT;
2990 
2991  // _GLIBCXX_RESOLVE_LIB_DEFECTS
2992  // 5 String::compare specification questionable
2993  /**
2994  * @brief Compare substring to a C string.
2995  * @param __pos Index of first character of substring.
2996  * @param __n1 Number of characters in substring.
2997  * @param __s C string to compare against.
2998  * @return Integer < 0, 0, or > 0.
2999  *
3000  * Form the substring of this string from the @a __n1
3001  * characters starting at @a pos. Returns an integer < 0 if
3002  * the substring is ordered before @a __s, 0 if their values
3003  * are equivalent, or > 0 if the substring is ordered after @a
3004  * __s. Determines the effective length rlen of the strings to
3005  * compare as the smallest of the length of the substring and
3006  * the length of a string constructed from @a __s. The
3007  * function then compares the two string by calling
3008  * traits::compare(substring.data(),__s,rlen). If the result of
3009  * the comparison is nonzero returns it, otherwise the shorter
3010  * one is ordered first.
3011  */
3012  int
3013  compare(size_type __pos, size_type __n1, const _CharT* __s) const;
3014 
3015  /**
3016  * @brief Compare substring against a character %array.
3017  * @param __pos Index of first character of substring.
3018  * @param __n1 Number of characters in substring.
3019  * @param __s character %array to compare against.
3020  * @param __n2 Number of characters of s.
3021  * @return Integer < 0, 0, or > 0.
3022  *
3023  * Form the substring of this string from the @a __n1
3024  * characters starting at @a __pos. Form a string from the
3025  * first @a __n2 characters of @a __s. Returns an integer < 0
3026  * if this substring is ordered before the string from @a __s,
3027  * 0 if their values are equivalent, or > 0 if this substring
3028  * is ordered after the string from @a __s. Determines the
3029  * effective length rlen of the strings to compare as the
3030  * smallest of the length of the substring and @a __n2. The
3031  * function then compares the two strings by calling
3032  * traits::compare(substring.data(),s,rlen). If the result of
3033  * the comparison is nonzero returns it, otherwise the shorter
3034  * one is ordered first.
3035  *
3036  * NB: s must have at least n2 characters, &apos;\\0&apos; has
3037  * no special meaning.
3038  */
3039  int
3040  compare(size_type __pos, size_type __n1, const _CharT* __s,
3041  size_type __n2) const;
3042 
3043 #if __cplusplus > 201703L
3044  bool
3045  starts_with(basic_string_view<_CharT, _Traits> __x) const noexcept
3046  { return __sv_type(this->data(), this->size()).starts_with(__x); }
3047 
3048  bool
3049  starts_with(_CharT __x) const noexcept
3050  { return __sv_type(this->data(), this->size()).starts_with(__x); }
3051 
3052  bool
3053  starts_with(const _CharT* __x) const noexcept
3054  { return __sv_type(this->data(), this->size()).starts_with(__x); }
3055 
3056  bool
3057  ends_with(basic_string_view<_CharT, _Traits> __x) const noexcept
3058  { return __sv_type(this->data(), this->size()).ends_with(__x); }
3059 
3060  bool
3061  ends_with(_CharT __x) const noexcept
3062  { return __sv_type(this->data(), this->size()).ends_with(__x); }
3063 
3064  bool
3065  ends_with(const _CharT* __x) const noexcept
3066  { return __sv_type(this->data(), this->size()).ends_with(__x); }
3067 #endif // C++20
3068 
3069  // Allow basic_stringbuf::__xfer_bufptrs to call _M_length:
3070  template<typename, typename, typename> friend class basic_stringbuf;
3071  };
3072 _GLIBCXX_END_NAMESPACE_CXX11
3073 #else // !_GLIBCXX_USE_CXX11_ABI
3074  // Reference-counted COW string implentation
3075 
3076  /**
3077  * @class basic_string basic_string.h <string>
3078  * @brief Managing sequences of characters and character-like objects.
3079  *
3080  * @ingroup strings
3081  * @ingroup sequences
3082  *
3083  * @tparam _CharT Type of character
3084  * @tparam _Traits Traits for character type, defaults to
3085  * char_traits<_CharT>.
3086  * @tparam _Alloc Allocator type, defaults to allocator<_CharT>.
3087  *
3088  * Meets the requirements of a <a href="tables.html#65">container</a>, a
3089  * <a href="tables.html#66">reversible container</a>, and a
3090  * <a href="tables.html#67">sequence</a>. Of the
3091  * <a href="tables.html#68">optional sequence requirements</a>, only
3092  * @c push_back, @c at, and @c %array access are supported.
3093  *
3094  * @doctodo
3095  *
3096  *
3097  * Documentation? What's that?
3098  * Nathan Myers <ncm@cantrip.org>.
3099  *
3100  * A string looks like this:
3101  *
3102  * @code
3103  * [_Rep]
3104  * _M_length
3105  * [basic_string<char_type>] _M_capacity
3106  * _M_dataplus _M_refcount
3107  * _M_p ----------------> unnamed array of char_type
3108  * @endcode
3109  *
3110  * Where the _M_p points to the first character in the string, and
3111  * you cast it to a pointer-to-_Rep and subtract 1 to get a
3112  * pointer to the header.
3113  *
3114  * This approach has the enormous advantage that a string object
3115  * requires only one allocation. All the ugliness is confined
3116  * within a single %pair of inline functions, which each compile to
3117  * a single @a add instruction: _Rep::_M_data(), and
3118  * string::_M_rep(); and the allocation function which gets a
3119  * block of raw bytes and with room enough and constructs a _Rep
3120  * object at the front.
3121  *
3122  * The reason you want _M_data pointing to the character %array and
3123  * not the _Rep is so that the debugger can see the string
3124  * contents. (Probably we should add a non-inline member to get
3125  * the _Rep for the debugger to use, so users can check the actual
3126  * string length.)
3127  *
3128  * Note that the _Rep object is a POD so that you can have a
3129  * static <em>empty string</em> _Rep object already @a constructed before
3130  * static constructors have run. The reference-count encoding is
3131  * chosen so that a 0 indicates one reference, so you never try to
3132  * destroy the empty-string _Rep object.
3133  *
3134  * All but the last paragraph is considered pretty conventional
3135  * for a C++ string implementation.
3136  */
3137  // 21.3 Template class basic_string
3138  template<typename _CharT, typename _Traits, typename _Alloc>
3140  {
3142  rebind<_CharT>::other _CharT_alloc_type;
3144 
3145  // Types:
3146  public:
3147  typedef _Traits traits_type;
3148  typedef typename _Traits::char_type value_type;
3149  typedef _Alloc allocator_type;
3150  typedef typename _CharT_alloc_traits::size_type size_type;
3151  typedef typename _CharT_alloc_traits::difference_type difference_type;
3152 #if __cplusplus < 201103L
3153  typedef typename _CharT_alloc_type::reference reference;
3154  typedef typename _CharT_alloc_type::const_reference const_reference;
3155 #else
3156  typedef value_type& reference;
3157  typedef const value_type& const_reference;
3158 #endif
3159  typedef typename _CharT_alloc_traits::pointer pointer;
3160  typedef typename _CharT_alloc_traits::const_pointer const_pointer;
3161  typedef __gnu_cxx::__normal_iterator<pointer, basic_string> iterator;
3162  typedef __gnu_cxx::__normal_iterator<const_pointer, basic_string>
3163  const_iterator;
3166 
3167  protected:
3168  // type used for positions in insert, erase etc.
3169  typedef iterator __const_iterator;
3170 
3171  private:
3172  // _Rep: string representation
3173  // Invariants:
3174  // 1. String really contains _M_length + 1 characters: due to 21.3.4
3175  // must be kept null-terminated.
3176  // 2. _M_capacity >= _M_length
3177  // Allocated memory is always (_M_capacity + 1) * sizeof(_CharT).
3178  // 3. _M_refcount has three states:
3179  // -1: leaked, one reference, no ref-copies allowed, non-const.
3180  // 0: one reference, non-const.
3181  // n>0: n + 1 references, operations require a lock, const.
3182  // 4. All fields==0 is an empty string, given the extra storage
3183  // beyond-the-end for a null terminator; thus, the shared
3184  // empty string representation needs no constructor.
3185 
3186  struct _Rep_base
3187  {
3188  size_type _M_length;
3189  size_type _M_capacity;
3190  _Atomic_word _M_refcount;
3191  };
3192 
3193  struct _Rep : _Rep_base
3194  {
3195  // Types:
3197  rebind<char>::other _Raw_bytes_alloc;
3198 
3199  // (Public) Data members:
3200 
3201  // The maximum number of individual char_type elements of an
3202  // individual string is determined by _S_max_size. This is the
3203  // value that will be returned by max_size(). (Whereas npos
3204  // is the maximum number of bytes the allocator can allocate.)
3205  // If one was to divvy up the theoretical largest size string,
3206  // with a terminating character and m _CharT elements, it'd
3207  // look like this:
3208  // npos = sizeof(_Rep) + (m * sizeof(_CharT)) + sizeof(_CharT)
3209  // Solving for m:
3210  // m = ((npos - sizeof(_Rep))/sizeof(CharT)) - 1
3211  // In addition, this implementation quarters this amount.
3212  static const size_type _S_max_size;
3213  static const _CharT _S_terminal;
3214 
3215  // The following storage is init'd to 0 by the linker, resulting
3216  // (carefully) in an empty string with one reference.
3217  static size_type _S_empty_rep_storage[];
3218 
3219  static _Rep&
3220  _S_empty_rep() _GLIBCXX_NOEXCEPT
3221  {
3222  // NB: Mild hack to avoid strict-aliasing warnings. Note that
3223  // _S_empty_rep_storage is never modified and the punning should
3224  // be reasonably safe in this case.
3225  void* __p = reinterpret_cast<void*>(&_S_empty_rep_storage);
3226  return *reinterpret_cast<_Rep*>(__p);
3227  }
3228 
3229  bool
3230  _M_is_leaked() const _GLIBCXX_NOEXCEPT
3231  {
3232 #if defined(__GTHREADS)
3233  // _M_refcount is mutated concurrently by _M_refcopy/_M_dispose,
3234  // so we need to use an atomic load. However, _M_is_leaked
3235  // predicate does not change concurrently (i.e. the string is either
3236  // leaked or not), so a relaxed load is enough.
3237  return __atomic_load_n(&this->_M_refcount, __ATOMIC_RELAXED) < 0;
3238 #else
3239  return this->_M_refcount < 0;
3240 #endif
3241  }
3242 
3243  bool
3244  _M_is_shared() const _GLIBCXX_NOEXCEPT
3245  {
3246 #if defined(__GTHREADS)
3247  // _M_refcount is mutated concurrently by _M_refcopy/_M_dispose,
3248  // so we need to use an atomic load. Another thread can drop last
3249  // but one reference concurrently with this check, so we need this
3250  // load to be acquire to synchronize with release fetch_and_add in
3251  // _M_dispose.
3252  return __atomic_load_n(&this->_M_refcount, __ATOMIC_ACQUIRE) > 0;
3253 #else
3254  return this->_M_refcount > 0;
3255 #endif
3256  }
3257 
3258  void
3259  _M_set_leaked() _GLIBCXX_NOEXCEPT
3260  { this->_M_refcount = -1; }
3261 
3262  void
3263  _M_set_sharable() _GLIBCXX_NOEXCEPT
3264  { this->_M_refcount = 0; }
3265 
3266  void
3267  _M_set_length_and_sharable(size_type __n) _GLIBCXX_NOEXCEPT
3268  {
3269 #if _GLIBCXX_FULLY_DYNAMIC_STRING == 0
3270  if (__builtin_expect(this != &_S_empty_rep(), false))
3271 #endif
3272  {
3273  this->_M_set_sharable(); // One reference.
3274  this->_M_length = __n;
3275  traits_type::assign(this->_M_refdata()[__n], _S_terminal);
3276  // grrr. (per 21.3.4)
3277  // You cannot leave those LWG people alone for a second.
3278  }
3279  }
3280 
3281  _CharT*
3282  _M_refdata() throw()
3283  { return reinterpret_cast<_CharT*>(this + 1); }
3284 
3285  _CharT*
3286  _M_grab(const _Alloc& __alloc1, const _Alloc& __alloc2)
3287  {
3288  return (!_M_is_leaked() && __alloc1 == __alloc2)
3289  ? _M_refcopy() : _M_clone(__alloc1);
3290  }
3291 
3292  // Create & Destroy
3293  static _Rep*
3294  _S_create(size_type, size_type, const _Alloc&);
3295 
3296  void
3297  _M_dispose(const _Alloc& __a) _GLIBCXX_NOEXCEPT
3298  {
3299 #if _GLIBCXX_FULLY_DYNAMIC_STRING == 0
3300  if (__builtin_expect(this != &_S_empty_rep(), false))
3301 #endif
3302  {
3303  // Be race-detector-friendly. For more info see bits/c++config.
3304  _GLIBCXX_SYNCHRONIZATION_HAPPENS_BEFORE(&this->_M_refcount);
3305  // Decrement of _M_refcount is acq_rel, because:
3306  // - all but last decrements need to release to synchronize with
3307  // the last decrement that will delete the object.
3308  // - the last decrement needs to acquire to synchronize with
3309  // all the previous decrements.
3310  // - last but one decrement needs to release to synchronize with
3311  // the acquire load in _M_is_shared that will conclude that
3312  // the object is not shared anymore.
3313  if (__gnu_cxx::__exchange_and_add_dispatch(&this->_M_refcount,
3314  -1) <= 0)
3315  {
3316  _GLIBCXX_SYNCHRONIZATION_HAPPENS_AFTER(&this->_M_refcount);
3317  _M_destroy(__a);
3318  }
3319  }
3320  } // XXX MT
3321 
3322  void
3323  _M_destroy(const _Alloc&) throw();
3324 
3325  _CharT*
3326  _M_refcopy() throw()
3327  {
3328 #if _GLIBCXX_FULLY_DYNAMIC_STRING == 0
3329  if (__builtin_expect(this != &_S_empty_rep(), false))
3330 #endif
3331  __gnu_cxx::__atomic_add_dispatch(&this->_M_refcount, 1);
3332  return _M_refdata();
3333  } // XXX MT
3334 
3335  _CharT*
3336  _M_clone(const _Alloc&, size_type __res = 0);
3337  };
3338 
3339  // Use empty-base optimization: http://www.cantrip.org/emptyopt.html
3340  struct _Alloc_hider : _Alloc
3341  {
3342  _Alloc_hider(_CharT* __dat, const _Alloc& __a) _GLIBCXX_NOEXCEPT
3343  : _Alloc(__a), _M_p(__dat) { }
3344 
3345  _CharT* _M_p; // The actual data.
3346  };
3347 
3348  public:
3349  // Data Members (public):
3350  // NB: This is an unsigned type, and thus represents the maximum
3351  // size that the allocator can hold.
3352  /// Value returned by various member functions when they fail.
3353  static const size_type npos = static_cast<size_type>(-1);
3354 
3355  private:
3356  // Data Members (private):
3357  mutable _Alloc_hider _M_dataplus;
3358 
3359  _CharT*
3360  _M_data() const _GLIBCXX_NOEXCEPT
3361  { return _M_dataplus._M_p; }
3362 
3363  _CharT*
3364  _M_data(_CharT* __p) _GLIBCXX_NOEXCEPT
3365  { return (_M_dataplus._M_p = __p); }
3366 
3367  _Rep*
3368  _M_rep() const _GLIBCXX_NOEXCEPT
3369  { return &((reinterpret_cast<_Rep*> (_M_data()))[-1]); }
3370 
3371  // For the internal use we have functions similar to `begin'/`end'
3372  // but they do not call _M_leak.
3373  iterator
3374  _M_ibegin() const _GLIBCXX_NOEXCEPT
3375  { return iterator(_M_data()); }
3376 
3377  iterator
3378  _M_iend() const _GLIBCXX_NOEXCEPT
3379  { return iterator(_M_data() + this->size()); }
3380 
3381  void
3382  _M_leak() // for use in begin() & non-const op[]
3383  {
3384  if (!_M_rep()->_M_is_leaked())
3385  _M_leak_hard();
3386  }
3387 
3388  size_type
3389  _M_check(size_type __pos, const char* __s) const
3390  {
3391  if (__pos > this->size())
3392  __throw_out_of_range_fmt(__N("%s: __pos (which is %zu) > "
3393  "this->size() (which is %zu)"),
3394  __s, __pos, this->size());
3395  return __pos;
3396  }
3397 
3398  void
3399  _M_check_length(size_type __n1, size_type __n2, const char* __s) const
3400  {
3401  if (this->max_size() - (this->size() - __n1) < __n2)
3402  __throw_length_error(__N(__s));
3403  }
3404 
3405  // NB: _M_limit doesn't check for a bad __pos value.
3406  size_type
3407  _M_limit(size_type __pos, size_type __off) const _GLIBCXX_NOEXCEPT
3408  {
3409  const bool __testoff = __off < this->size() - __pos;
3410  return __testoff ? __off : this->size() - __pos;
3411  }
3412 
3413  // True if _Rep and source do not overlap.
3414  bool
3415  _M_disjunct(const _CharT* __s) const _GLIBCXX_NOEXCEPT
3416  {
3417  return (less<const _CharT*>()(__s, _M_data())
3418  || less<const _CharT*>()(_M_data() + this->size(), __s));
3419  }
3420 
3421  // When __n = 1 way faster than the general multichar
3422  // traits_type::copy/move/assign.
3423  static void
3424  _M_copy(_CharT* __d, const _CharT* __s, size_type __n) _GLIBCXX_NOEXCEPT
3425  {
3426  if (__n == 1)
3427  traits_type::assign(*__d, *__s);
3428  else
3429  traits_type::copy(__d, __s, __n);
3430  }
3431 
3432  static void
3433  _M_move(_CharT* __d, const _CharT* __s, size_type __n) _GLIBCXX_NOEXCEPT
3434  {
3435  if (__n == 1)
3436  traits_type::assign(*__d, *__s);
3437  else
3438  traits_type::move(__d, __s, __n);
3439  }
3440 
3441  static void
3442  _M_assign(_CharT* __d, size_type __n, _CharT __c) _GLIBCXX_NOEXCEPT
3443  {
3444  if (__n == 1)
3445  traits_type::assign(*__d, __c);
3446  else
3447  traits_type::assign(__d, __n, __c);
3448  }
3449 
3450  // _S_copy_chars is a separate template to permit specialization
3451  // to optimize for the common case of pointers as iterators.
3452  template<class _Iterator>
3453  static void
3454  _S_copy_chars(_CharT* __p, _Iterator __k1, _Iterator __k2)
3455  {
3456  for (; __k1 != __k2; ++__k1, (void)++__p)
3457  traits_type::assign(*__p, *__k1); // These types are off.
3458  }
3459 
3460  static void
3461  _S_copy_chars(_CharT* __p, iterator __k1, iterator __k2) _GLIBCXX_NOEXCEPT
3462  { _S_copy_chars(__p, __k1.base(), __k2.base()); }
3463 
3464  static void
3465  _S_copy_chars(_CharT* __p, const_iterator __k1, const_iterator __k2)
3466  _GLIBCXX_NOEXCEPT
3467  { _S_copy_chars(__p, __k1.base(), __k2.base()); }
3468 
3469  static void
3470  _S_copy_chars(_CharT* __p, _CharT* __k1, _CharT* __k2) _GLIBCXX_NOEXCEPT
3471  { _M_copy(__p, __k1, __k2 - __k1); }
3472 
3473  static void
3474  _S_copy_chars(_CharT* __p, const _CharT* __k1, const _CharT* __k2)
3475  _GLIBCXX_NOEXCEPT
3476  { _M_copy(__p, __k1, __k2 - __k1); }
3477 
3478  static int
3479  _S_compare(size_type __n1, size_type __n2) _GLIBCXX_NOEXCEPT
3480  {
3481  const difference_type __d = difference_type(__n1 - __n2);
3482 
3483  if (__d > __gnu_cxx::__numeric_traits<int>::__max)
3484  return __gnu_cxx::__numeric_traits<int>::__max;
3485  else if (__d < __gnu_cxx::__numeric_traits<int>::__min)
3486  return __gnu_cxx::__numeric_traits<int>::__min;
3487  else
3488  return int(__d);
3489  }
3490 
3491  void
3492  _M_mutate(size_type __pos, size_type __len1, size_type __len2);
3493 
3494  void
3495  _M_leak_hard();
3496 
3497  static _Rep&
3498  _S_empty_rep() _GLIBCXX_NOEXCEPT
3499  { return _Rep::_S_empty_rep(); }
3500 
3501 #if __cplusplus >= 201703L
3502  // A helper type for avoiding boiler-plate.
3503  typedef basic_string_view<_CharT, _Traits> __sv_type;
3504 
3505  template<typename _Tp, typename _Res>
3506  using _If_sv = enable_if_t<
3507  __and_<is_convertible<const _Tp&, __sv_type>,
3508  __not_<is_convertible<const _Tp*, const basic_string*>>,
3509  __not_<is_convertible<const _Tp&, const _CharT*>>>::value,
3510  _Res>;
3511 
3512  // Allows an implicit conversion to __sv_type.
3513  static __sv_type
3514  _S_to_string_view(__sv_type __svt) noexcept
3515  { return __svt; }
3516 
3517  // Wraps a string_view by explicit conversion and thus
3518  // allows to add an internal constructor that does not
3519  // participate in overload resolution when a string_view
3520  // is provided.
3521  struct __sv_wrapper
3522  {
3523  explicit __sv_wrapper(__sv_type __sv) noexcept : _M_sv(__sv) { }
3524  __sv_type _M_sv;
3525  };
3526 
3527  /**
3528  * @brief Only internally used: Construct string from a string view
3529  * wrapper.
3530  * @param __svw string view wrapper.
3531  * @param __a Allocator to use.
3532  */
3533  explicit
3534  basic_string(__sv_wrapper __svw, const _Alloc& __a)
3535  : basic_string(__svw._M_sv.data(), __svw._M_sv.size(), __a) { }
3536 #endif
3537 
3538  public:
3539  // Construct/copy/destroy:
3540  // NB: We overload ctors in some cases instead of using default
3541  // arguments, per 17.4.4.4 para. 2 item 2.
3542 
3543  /**
3544  * @brief Default constructor creates an empty string.
3545  */
3547 #if _GLIBCXX_FULLY_DYNAMIC_STRING == 0
3548  _GLIBCXX_NOEXCEPT
3549  : _M_dataplus(_S_empty_rep()._M_refdata(), _Alloc())
3550 #else
3551  : _M_dataplus(_S_construct(size_type(), _CharT(), _Alloc()), _Alloc())
3552 #endif
3553  { }
3554 
3555  /**
3556  * @brief Construct an empty string using allocator @a a.
3557  */
3558  explicit
3559  basic_string(const _Alloc& __a);
3560 
3561  // NB: per LWG issue 42, semantics different from IS:
3562  /**
3563  * @brief Construct string with copy of value of @a str.
3564  * @param __str Source string.
3565  */
3566  basic_string(const basic_string& __str);
3567 
3568  // _GLIBCXX_RESOLVE_LIB_DEFECTS
3569  // 2583. no way to supply an allocator for basic_string(str, pos)
3570  /**
3571  * @brief Construct string as copy of a substring.
3572  * @param __str Source string.
3573  * @param __pos Index of first character to copy from.
3574  * @param __a Allocator to use.
3575  */
3576  basic_string(const basic_string& __str, size_type __pos,
3577  const _Alloc& __a = _Alloc());
3578 
3579  /**
3580  * @brief Construct string as copy of a substring.
3581  * @param __str Source string.
3582  * @param __pos Index of first character to copy from.
3583  * @param __n Number of characters to copy.
3584  */
3585  basic_string(const basic_string& __str, size_type __pos,
3586  size_type __n);
3587  /**
3588  * @brief Construct string as copy of a substring.
3589  * @param __str Source string.
3590  * @param __pos Index of first character to copy from.
3591  * @param __n Number of characters to copy.
3592  * @param __a Allocator to use.
3593  */
3594  basic_string(const basic_string& __str, size_type __pos,
3595  size_type __n, const _Alloc& __a);
3596 
3597  /**
3598  * @brief Construct string initialized by a character %array.
3599  * @param __s Source character %array.
3600  * @param __n Number of characters to copy.
3601  * @param __a Allocator to use (default is default allocator).
3602  *
3603  * NB: @a __s must have at least @a __n characters, &apos;\\0&apos;
3604  * has no special meaning.
3605  */
3606  basic_string(const _CharT* __s, size_type __n,
3607  const _Alloc& __a = _Alloc());
3608 
3609  /**
3610  * @brief Construct string as copy of a C string.
3611  * @param __s Source C string.
3612  * @param __a Allocator to use (default is default allocator).
3613  */
3614 #if __cpp_deduction_guides && ! defined _GLIBCXX_DEFINING_STRING_INSTANTIATIONS
3615  // _GLIBCXX_RESOLVE_LIB_DEFECTS
3616  // 3076. basic_string CTAD ambiguity
3617  template<typename = _RequireAllocator<_Alloc>>
3618 #endif
3619  basic_string(const _CharT* __s, const _Alloc& __a = _Alloc())
3620  : _M_dataplus(_S_construct(__s, __s ? __s + traits_type::length(__s) :
3621  __s + npos, __a), __a)
3622  { }
3623 
3624  /**
3625  * @brief Construct string as multiple characters.
3626  * @param __n Number of characters.
3627  * @param __c Character to use.
3628  * @param __a Allocator to use (default is default allocator).
3629  */
3630  basic_string(size_type __n, _CharT __c, const _Alloc& __a = _Alloc());
3631 
3632 #if __cplusplus >= 201103L
3633  /**
3634  * @brief Move construct string.
3635  * @param __str Source string.
3636  *
3637  * The newly-created string contains the exact contents of @a __str.
3638  * @a __str is a valid, but unspecified string.
3639  **/
3641 #if _GLIBCXX_FULLY_DYNAMIC_STRING == 0
3642  noexcept // FIXME C++11: should always be noexcept.
3643 #endif
3644  : _M_dataplus(std::move(__str._M_dataplus))
3645  {
3646 #if _GLIBCXX_FULLY_DYNAMIC_STRING == 0
3647  __str._M_data(_S_empty_rep()._M_refdata());
3648 #else
3649  __str._M_data(_S_construct(size_type(), _CharT(), get_allocator()));
3650 #endif
3651  }
3652 
3653  /**
3654  * @brief Construct string from an initializer %list.
3655  * @param __l std::initializer_list of characters.
3656  * @param __a Allocator to use (default is default allocator).
3657  */
3658  basic_string(initializer_list<_CharT> __l, const _Alloc& __a = _Alloc());
3659 
3660  basic_string(const basic_string& __str, const _Alloc& __a)
3661  : _M_dataplus(__str._M_rep()->_M_grab(__a, __str.get_allocator()), __a)
3662  { }
3663 
3664  basic_string(basic_string&& __str, const _Alloc& __a)
3665  : _M_dataplus(__str._M_data(), __a)
3666  {
3667  if (__a == __str.get_allocator())
3668  {
3669 #if _GLIBCXX_FULLY_DYNAMIC_STRING == 0
3670  __str._M_data(_S_empty_rep()._M_refdata());
3671 #else
3672  __str._M_data(_S_construct(size_type(), _CharT(), __a));
3673 #endif
3674  }
3675  else
3676  _M_dataplus._M_p = _S_construct(__str.begin(), __str.end(), __a);
3677  }
3678 #endif // C++11
3679 
3680  /**
3681  * @brief Construct string as copy of a range.
3682  * @param __beg Start of range.
3683  * @param __end End of range.
3684  * @param __a Allocator to use (default is default allocator).
3685  */
3686  template<class _InputIterator>
3687  basic_string(_InputIterator __beg, _InputIterator __end,
3688  const _Alloc& __a = _Alloc());
3689 
3690 #if __cplusplus >= 201703L
3691  /**
3692  * @brief Construct string from a substring of a string_view.
3693  * @param __t Source object convertible to string view.
3694  * @param __pos The index of the first character to copy from __t.
3695  * @param __n The number of characters to copy from __t.
3696  * @param __a Allocator to use.
3697  */
3698  template<typename _Tp, typename = _If_sv<_Tp, void>>
3699  basic_string(const _Tp& __t, size_type __pos, size_type __n,
3700  const _Alloc& __a = _Alloc())
3701  : basic_string(_S_to_string_view(__t).substr(__pos, __n), __a) { }
3702 
3703  /**
3704  * @brief Construct string from a string_view.
3705  * @param __t Source object convertible to string view.
3706  * @param __a Allocator to use (default is default allocator).
3707  */
3708  template<typename _Tp, typename = _If_sv<_Tp, void>>
3709  explicit
3710  basic_string(const _Tp& __t, const _Alloc& __a = _Alloc())
3711  : basic_string(__sv_wrapper(_S_to_string_view(__t)), __a) { }
3712 #endif // C++17
3713 
3714  /**
3715  * @brief Destroy the string instance.
3716  */
3717  ~basic_string() _GLIBCXX_NOEXCEPT
3718  { _M_rep()->_M_dispose(this->get_allocator()); }
3719 
3720  /**
3721  * @brief Assign the value of @a str to this string.
3722  * @param __str Source string.
3723  */
3724  basic_string&
3725  operator=(const basic_string& __str)
3726  { return this->assign(__str); }
3727 
3728  /**
3729  * @brief Copy contents of @a s into this string.
3730  * @param __s Source null-terminated string.
3731  */
3732  basic_string&
3733  operator=(const _CharT* __s)
3734  { return this->assign(__s); }
3735 
3736  /**
3737  * @brief Set value to string of length 1.
3738  * @param __c Source character.
3739  *
3740  * Assigning to a character makes this string length 1 and
3741  * (*this)[0] == @a c.
3742  */
3743  basic_string&
3744  operator=(_CharT __c)
3745  {
3746  this->assign(1, __c);
3747  return *this;
3748  }
3749 
3750 #if __cplusplus >= 201103L
3751  /**
3752  * @brief Move assign the value of @a str to this string.
3753  * @param __str Source string.
3754  *
3755  * The contents of @a str are moved into this string (without copying).
3756  * @a str is a valid, but unspecified string.
3757  **/
3758  basic_string&
3761  {
3762  // NB: DR 1204.
3763  this->swap(__str);
3764  return *this;
3765  }
3766 
3767  /**
3768  * @brief Set value to string constructed from initializer %list.
3769  * @param __l std::initializer_list.
3770  */
3771  basic_string&
3773  {
3774  this->assign(__l.begin(), __l.size());
3775  return *this;
3776  }
3777 #endif // C++11
3778 
3779 #if __cplusplus >= 201703L
3780  /**
3781  * @brief Set value to string constructed from a string_view.
3782  * @param __svt An object convertible to string_view.
3783  */
3784  template<typename _Tp>
3785  _If_sv<_Tp, basic_string&>
3786  operator=(const _Tp& __svt)
3787  { return this->assign(__svt); }
3788 
3789  /**
3790  * @brief Convert to a string_view.
3791  * @return A string_view.
3792  */
3793  operator __sv_type() const noexcept
3794  { return __sv_type(data(), size()); }
3795 #endif // C++17
3796 
3797  // Iterators:
3798  /**
3799  * Returns a read/write iterator that points to the first character in
3800  * the %string. Unshares the string.
3801  */
3802  iterator
3803  begin() // FIXME C++11: should be noexcept.
3804  {
3805  _M_leak();
3806  return iterator(_M_data());
3807  }
3808 
3809  /**
3810  * Returns a read-only (constant) iterator that points to the first
3811  * character in the %string.
3812  */
3813  const_iterator
3814  begin() const _GLIBCXX_NOEXCEPT
3815  { return const_iterator(_M_data()); }
3816 
3817  /**
3818  * Returns a read/write iterator that points one past the last
3819  * character in the %string. Unshares the string.
3820  */
3821  iterator
3822  end() // FIXME C++11: should be noexcept.
3823  {
3824  _M_leak();
3825  return iterator(_M_data() + this->size());
3826  }
3827 
3828  /**
3829  * Returns a read-only (constant) iterator that points one past the
3830  * last character in the %string.
3831  */
3832  const_iterator
3833  end() const _GLIBCXX_NOEXCEPT
3834  { return const_iterator(_M_data() + this->size()); }
3835 
3836  /**
3837  * Returns a read/write reverse iterator that points to the last
3838  * character in the %string. Iteration is done in reverse element
3839  * order. Unshares the string.
3840  */
3841  reverse_iterator
3842  rbegin() // FIXME C++11: should be noexcept.
3843  { return reverse_iterator(this->end()); }
3844 
3845  /**
3846  * Returns a read-only (constant) reverse iterator that points
3847  * to the last character in the %string. Iteration is done in
3848  * reverse element order.
3849  */
3850  const_reverse_iterator
3851  rbegin() const _GLIBCXX_NOEXCEPT
3852  { return const_reverse_iterator(this->end()); }
3853 
3854  /**
3855  * Returns a read/write reverse iterator that points to one before the
3856  * first character in the %string. Iteration is done in reverse
3857  * element order. Unshares the string.
3858  */
3859  reverse_iterator
3860  rend() // FIXME C++11: should be noexcept.
3861  { return reverse_iterator(this->begin()); }
3862 
3863  /**
3864  * Returns a read-only (constant) reverse iterator that points
3865  * to one before the first character in the %string. Iteration
3866  * is done in reverse element order.
3867  */
3868  const_reverse_iterator
3869  rend() const _GLIBCXX_NOEXCEPT
3870  { return const_reverse_iterator(this->begin()); }
3871 
3872 #if __cplusplus >= 201103L
3873  /**
3874  * Returns a read-only (constant) iterator that points to the first
3875  * character in the %string.
3876  */
3877  const_iterator
3878  cbegin() const noexcept
3879  { return const_iterator(this->_M_data()); }
3880 
3881  /**
3882  * Returns a read-only (constant) iterator that points one past the
3883  * last character in the %string.
3884  */
3885  const_iterator
3886  cend() const noexcept
3887  { return const_iterator(this->_M_data() + this->size()); }
3888 
3889  /**
3890  * Returns a read-only (constant) reverse iterator that points
3891  * to the last character in the %string. Iteration is done in
3892  * reverse element order.
3893  */
3894  const_reverse_iterator
3895  crbegin() const noexcept
3896  { return const_reverse_iterator(this->end()); }
3897 
3898  /**
3899  * Returns a read-only (constant) reverse iterator that points
3900  * to one before the first character in the %string. Iteration
3901  * is done in reverse element order.
3902  */
3903  const_reverse_iterator
3904  crend() const noexcept
3905  { return const_reverse_iterator(this->begin()); }
3906 #endif
3907 
3908  public:
3909  // Capacity:
3910  /// Returns the number of characters in the string, not including any
3911  /// null-termination.
3912  size_type
3913  size() const _GLIBCXX_NOEXCEPT
3914  { return _M_rep()->_M_length; }
3915 
3916  /// Returns the number of characters in the string, not including any
3917  /// null-termination.
3918  size_type
3919  length() const _GLIBCXX_NOEXCEPT
3920  { return _M_rep()->_M_length; }
3921 
3922  /// Returns the size() of the largest possible %string.
3923  size_type
3924  max_size() const _GLIBCXX_NOEXCEPT
3925  { return _Rep::_S_max_size; }
3926 
3927  /**
3928  * @brief Resizes the %string to the specified number of characters.
3929  * @param __n Number of characters the %string should contain.
3930  * @param __c Character to fill any new elements.
3931  *
3932  * This function will %resize the %string to the specified
3933  * number of characters. If the number is smaller than the
3934  * %string's current size the %string is truncated, otherwise
3935  * the %string is extended and new elements are %set to @a __c.
3936  */
3937  void
3938  resize(size_type __n, _CharT __c);
3939 
3940  /**
3941  * @brief Resizes the %string to the specified number of characters.
3942  * @param __n Number of characters the %string should contain.
3943  *
3944  * This function will resize the %string to the specified length. If
3945  * the new size is smaller than the %string's current size the %string
3946  * is truncated, otherwise the %string is extended and new characters
3947  * are default-constructed. For basic types such as char, this means
3948  * setting them to 0.
3949  */
3950  void
3951  resize(size_type __n)
3952  { this->resize(__n, _CharT()); }
3953 
3954 #if __cplusplus >= 201103L
3955  /// A non-binding request to reduce capacity() to size().
3956  void
3957  shrink_to_fit() _GLIBCXX_NOEXCEPT
3958  {
3959 #if __cpp_exceptions
3960  if (capacity() > size())
3961  {
3962  try
3963  { reserve(0); }
3964  catch(...)
3965  { }
3966  }
3967 #endif
3968  }
3969 #endif
3970 
3971  /**
3972  * Returns the total number of characters that the %string can hold
3973  * before needing to allocate more memory.
3974  */
3975  size_type
3976  capacity() const _GLIBCXX_NOEXCEPT
3977  { return _M_rep()->_M_capacity; }
3978 
3979  /**
3980  * @brief Attempt to preallocate enough memory for specified number of
3981  * characters.
3982  * @param __res_arg Number of characters required.
3983  * @throw std::length_error If @a __res_arg exceeds @c max_size().
3984  *
3985  * This function attempts to reserve enough memory for the
3986  * %string to hold the specified number of characters. If the
3987  * number requested is more than max_size(), length_error is
3988  * thrown.
3989  *
3990  * The advantage of this function is that if optimal code is a
3991  * necessity and the user can determine the string length that will be
3992  * required, the user can reserve the memory in %advance, and thus
3993  * prevent a possible reallocation of memory and copying of %string
3994  * data.
3995  */
3996  void
3997  reserve(size_type __res_arg = 0);
3998 
3999  /**
4000  * Erases the string, making it empty.
4001  */
4002 #if _GLIBCXX_FULLY_DYNAMIC_STRING == 0
4003  void
4004  clear() _GLIBCXX_NOEXCEPT
4005  {
4006  if (_M_rep()->_M_is_shared())
4007  {
4008  _M_rep()->_M_dispose(this->get_allocator());
4009  _M_data(_S_empty_rep()._M_refdata());
4010  }
4011  else
4012  _M_rep()->_M_set_length_and_sharable(0);
4013  }
4014 #else
4015  // PR 56166: this should not throw.
4016  void
4017  clear()
4018  { _M_mutate(0, this->size(), 0); }
4019 #endif
4020 
4021  /**
4022  * Returns true if the %string is empty. Equivalent to
4023  * <code>*this == ""</code>.
4024  */
4025  _GLIBCXX_NODISCARD bool
4026  empty() const _GLIBCXX_NOEXCEPT
4027  { return this->size() == 0; }
4028 
4029  // Element access:
4030  /**
4031  * @brief Subscript access to the data contained in the %string.
4032  * @param __pos The index of the character to access.
4033  * @return Read-only (constant) reference to the character.
4034  *
4035  * This operator allows for easy, array-style, data access.
4036  * Note that data access with this operator is unchecked and
4037  * out_of_range lookups are not defined. (For checked lookups
4038  * see at().)
4039  */
4040  const_reference
4041  operator[] (size_type __pos) const _GLIBCXX_NOEXCEPT
4042  {
4043  __glibcxx_assert(__pos <= size());
4044  return _M_data()[__pos];
4045  }
4046 
4047  /**
4048  * @brief Subscript access to the data contained in the %string.
4049  * @param __pos The index of the character to access.
4050  * @return Read/write reference to the character.
4051  *
4052  * This operator allows for easy, array-style, data access.
4053  * Note that data access with this operator is unchecked and
4054  * out_of_range lookups are not defined. (For checked lookups
4055  * see at().) Unshares the string.
4056  */
4057  reference
4058  operator[](size_type __pos)
4059  {
4060  // Allow pos == size() both in C++98 mode, as v3 extension,
4061  // and in C++11 mode.
4062  __glibcxx_assert(__pos <= size());
4063  // In pedantic mode be strict in C++98 mode.
4064  _GLIBCXX_DEBUG_PEDASSERT(__cplusplus >= 201103L || __pos < size());
4065  _M_leak();
4066  return _M_data()[__pos];
4067  }
4068 
4069  /**
4070  * @brief Provides access to the data contained in the %string.
4071  * @param __n The index of the character to access.
4072  * @return Read-only (const) reference to the character.
4073  * @throw std::out_of_range If @a n is an invalid index.
4074  *
4075  * This function provides for safer data access. The parameter is
4076  * first checked that it is in the range of the string. The function
4077  * throws out_of_range if the check fails.
4078  */
4079  const_reference
4080  at(size_type __n) const
4081  {
4082  if (__n >= this->size())
4083  __throw_out_of_range_fmt(__N("basic_string::at: __n "
4084  "(which is %zu) >= this->size() "
4085  "(which is %zu)"),
4086  __n, this->size());
4087  return _M_data()[__n];
4088  }
4089 
4090  /**
4091  * @brief Provides access to the data contained in the %string.
4092  * @param __n The index of the character to access.
4093  * @return Read/write reference to the character.
4094  * @throw std::out_of_range If @a n is an invalid index.
4095  *
4096  * This function provides for safer data access. The parameter is
4097  * first checked that it is in the range of the string. The function
4098  * throws out_of_range if the check fails. Success results in
4099  * unsharing the string.
4100  */
4101  reference
4102  at(size_type __n)
4103  {
4104  if (__n >= size())
4105  __throw_out_of_range_fmt(__N("basic_string::at: __n "
4106  "(which is %zu) >= this->size() "
4107  "(which is %zu)"),
4108  __n, this->size());
4109  _M_leak();
4110  return _M_data()[__n];
4111  }
4112 
4113 #if __cplusplus >= 201103L
4114  /**
4115  * Returns a read/write reference to the data at the first
4116  * element of the %string.
4117  */
4118  reference
4120  {
4121  __glibcxx_assert(!empty());
4122  return operator[](0);
4123  }
4124 
4125  /**
4126  * Returns a read-only (constant) reference to the data at the first
4127  * element of the %string.
4128  */
4129  const_reference
4130  front() const noexcept
4131  {
4132  __glibcxx_assert(!empty());
4133  return operator[](0);
4134  }
4135 
4136  /**
4137  * Returns a read/write reference to the data at the last
4138  * element of the %string.
4139  */
4140  reference
4142  {
4143  __glibcxx_assert(!empty());
4144  return operator[](this->size() - 1);
4145  }
4146 
4147  /**
4148  * Returns a read-only (constant) reference to the data at the
4149  * last element of the %string.
4150  */
4151  const_reference
4152  back() const noexcept
4153  {
4154  __glibcxx_assert(!empty());
4155  return operator[](this->size() - 1);
4156  }
4157 #endif
4158 
4159  // Modifiers:
4160  /**
4161  * @brief Append a string to this string.
4162  * @param __str The string to append.
4163  * @return Reference to this string.
4164  */
4165  basic_string&
4166  operator+=(const basic_string& __str)
4167  { return this->append(__str); }
4168 
4169  /**
4170  * @brief Append a C string.
4171  * @param __s The C string to append.
4172  * @return Reference to this string.
4173  */
4174  basic_string&
4175  operator+=(const _CharT* __s)
4176  { return this->append(__s); }
4177 
4178  /**
4179  * @brief Append a character.
4180  * @param __c The character to append.
4181  * @return Reference to this string.
4182  */
4183  basic_string&
4184  operator+=(_CharT __c)
4185  {
4186  this->push_back(__c);
4187  return *this;
4188  }
4189 
4190 #if __cplusplus >= 201103L
4191  /**
4192  * @brief Append an initializer_list of characters.
4193  * @param __l The initializer_list of characters to be appended.
4194  * @return Reference to this string.
4195  */
4196  basic_string&
4198  { return this->append(__l.begin(), __l.size()); }
4199 #endif // C++11
4200 
4201 #if __cplusplus >= 201703L
4202  /**
4203  * @brief Append a string_view.
4204  * @param __svt The object convertible to string_view to be appended.
4205  * @return Reference to this string.
4206  */
4207  template<typename _Tp>
4208  _If_sv<_Tp, basic_string&>
4209  operator+=(const _Tp& __svt)
4210  { return this->append(__svt); }
4211 #endif // C++17
4212 
4213  /**
4214  * @brief Append a string to this string.
4215  * @param __str The string to append.
4216  * @return Reference to this string.
4217  */
4218  basic_string&
4219  append(const basic_string& __str);
4220 
4221  /**
4222  * @brief Append a substring.
4223  * @param __str The string to append.
4224  * @param __pos Index of the first character of str to append.
4225  * @param __n The number of characters to append.
4226  * @return Reference to this string.
4227  * @throw std::out_of_range if @a __pos is not a valid index.
4228  *
4229  * This function appends @a __n characters from @a __str
4230  * starting at @a __pos to this string. If @a __n is is larger
4231  * than the number of available characters in @a __str, the
4232  * remainder of @a __str is appended.
4233  */
4234  basic_string&
4235  append(const basic_string& __str, size_type __pos, size_type __n = npos);
4236 
4237  /**
4238  * @brief Append a C substring.
4239  * @param __s The C string to append.
4240  * @param __n The number of characters to append.
4241  * @return Reference to this string.
4242  */
4243  basic_string&
4244  append(const _CharT* __s, size_type __n);
4245 
4246  /**
4247  * @brief Append a C string.
4248  * @param __s The C string to append.
4249  * @return Reference to this string.
4250  */
4251  basic_string&
4252  append(const _CharT* __s)
4253  {
4254  __glibcxx_requires_string(__s);
4255  return this->append(__s, traits_type::length(__s));
4256  }
4257 
4258  /**
4259  * @brief Append multiple characters.
4260  * @param __n The number of characters to append.
4261  * @param __c The character to use.
4262  * @return Reference to this string.
4263  *
4264  * Appends __n copies of __c to this string.
4265  */
4266  basic_string&
4267  append(size_type __n, _CharT __c);
4268 
4269 #if __cplusplus >= 201103L
4270  /**
4271  * @brief Append an initializer_list of characters.
4272  * @param __l The initializer_list of characters to append.
4273  * @return Reference to this string.
4274  */
4275  basic_string&
4277  { return this->append(__l.begin(), __l.size()); }
4278 #endif // C++11
4279 
4280  /**
4281  * @brief Append a range of characters.
4282  * @param __first Iterator referencing the first character to append.
4283  * @param __last Iterator marking the end of the range.
4284  * @return Reference to this string.
4285  *
4286  * Appends characters in the range [__first,__last) to this string.
4287  */
4288  template<class _InputIterator>
4289  basic_string&
4290  append(_InputIterator __first, _InputIterator __last)
4291  { return this->replace(_M_iend(), _M_iend(), __first, __last); }
4292 
4293 #if __cplusplus >= 201703L
4294  /**
4295  * @brief Append a string_view.
4296  * @param __svt The object convertible to string_view to be appended.
4297  * @return Reference to this string.
4298  */
4299  template<typename _Tp>
4300  _If_sv<_Tp, basic_string&>
4301  append(const _Tp& __svt)
4302  {
4303  __sv_type __sv = __svt;
4304  return this->append(__sv.data(), __sv.size());
4305  }
4306 
4307  /**
4308  * @brief Append a range of characters from a string_view.
4309  * @param __svt The object convertible to string_view to be appended
4310  * from.
4311  * @param __pos The position in the string_view to append from.
4312  * @param __n The number of characters to append from the string_view.
4313  * @return Reference to this string.
4314  */
4315  template<typename _Tp>
4316  _If_sv<_Tp, basic_string&>
4317  append(const _Tp& __svt, size_type __pos, size_type __n = npos)
4318  {
4319  __sv_type __sv = __svt;
4320  return append(__sv.data()
4321  + std::__sv_check(__sv.size(), __pos, "basic_string::append"),
4322  std::__sv_limit(__sv.size(), __pos, __n));
4323  }
4324 #endif // C++17
4325 
4326  /**
4327  * @brief Append a single character.
4328  * @param __c Character to append.
4329  */
4330  void
4331  push_back(_CharT __c)
4332  {
4333  const size_type __len = 1 + this->size();
4334  if (__len > this->capacity() || _M_rep()->_M_is_shared())
4335  this->reserve(__len);
4336  traits_type::assign(_M_data()[this->size()], __c);
4337  _M_rep()->_M_set_length_and_sharable(__len);
4338  }
4339 
4340  /**
4341  * @brief Set value to contents of another string.
4342  * @param __str Source string to use.
4343  * @return Reference to this string.
4344  */
4345  basic_string&
4346  assign(const basic_string& __str);
4347 
4348 #if __cplusplus >= 201103L
4349  /**
4350  * @brief Set value to contents of another string.
4351  * @param __str Source string to use.
4352  * @return Reference to this string.
4353  *
4354  * This function sets this string to the exact contents of @a __str.
4355  * @a __str is a valid, but unspecified string.
4356  */
4357  basic_string&
4360  {
4361  this->swap(__str);
4362  return *this;
4363  }
4364 #endif // C++11
4365 
4366  /**
4367  * @brief Set value to a substring of a string.
4368  * @param __str The string to use.
4369  * @param __pos Index of the first character of str.
4370  * @param __n Number of characters to use.
4371  * @return Reference to this string.
4372  * @throw std::out_of_range if @a pos is not a valid index.
4373  *
4374  * This function sets this string to the substring of @a __str
4375  * consisting of @a __n characters at @a __pos. If @a __n is
4376  * is larger than the number of available characters in @a
4377  * __str, the remainder of @a __str is used.
4378  */
4379  basic_string&
4380  assign(const basic_string& __str, size_type __pos, size_type __n = npos)
4381  { return this->assign(__str._M_data()
4382  + __str._M_check(__pos, "basic_string::assign"),
4383  __str._M_limit(__pos, __n)); }
4384 
4385  /**
4386  * @brief Set value to a C substring.
4387  * @param __s The C string to use.
4388  * @param __n Number of characters to use.
4389  * @return Reference to this string.
4390  *
4391  * This function sets the value of this string to the first @a __n
4392  * characters of @a __s. If @a __n is is larger than the number of
4393  * available characters in @a __s, the remainder of @a __s is used.
4394  */
4395  basic_string&
4396  assign(const _CharT* __s, size_type __n);
4397 
4398  /**
4399  * @brief Set value to contents of a C string.
4400  * @param __s The C string to use.
4401  * @return Reference to this string.
4402  *
4403  * This function sets the value of this string to the value of @a __s.
4404  * The data is copied, so there is no dependence on @a __s once the
4405  * function returns.
4406  */
4407  basic_string&
4408  assign(const _CharT* __s)
4409  {
4410  __glibcxx_requires_string(__s);
4411  return this->assign(__s, traits_type::length(__s));
4412  }
4413 
4414  /**
4415  * @brief Set value to multiple characters.
4416  * @param __n Length of the resulting string.
4417  * @param __c The character to use.
4418  * @return Reference to this string.
4419  *
4420  * This function sets the value of this string to @a __n copies of
4421  * character @a __c.
4422  */
4423  basic_string&
4424  assign(size_type __n, _CharT __c)
4425  { return _M_replace_aux(size_type(0), this->size(), __n, __c); }
4426 
4427  /**
4428  * @brief Set value to a range of characters.
4429  * @param __first Iterator referencing the first character to append.
4430  * @param __last Iterator marking the end of the range.
4431  * @return Reference to this string.
4432  *
4433  * Sets value of string to characters in the range [__first,__last).
4434  */
4435  template<class _InputIterator>
4436  basic_string&
4437  assign(_InputIterator __first, _InputIterator __last)
4438  { return this->replace(_M_ibegin(), _M_iend(), __first, __last); }
4439 
4440 #if __cplusplus >= 201103L
4441  /**
4442  * @brief Set value to an initializer_list of characters.
4443  * @param __l The initializer_list of characters to assign.
4444  * @return Reference to this string.
4445  */
4446  basic_string&
4448  { return this->assign(__l.begin(), __l.size()); }
4449 #endif // C++11
4450 
4451 #if __cplusplus >= 201703L
4452  /**
4453  * @brief Set value from a string_view.
4454  * @param __svt The source object convertible to string_view.
4455  * @return Reference to this string.
4456  */
4457  template<typename _Tp>
4458  _If_sv<_Tp, basic_string&>
4459  assign(const _Tp& __svt)
4460  {
4461  __sv_type __sv = __svt;
4462  return this->assign(__sv.data(), __sv.size());
4463  }
4464 
4465  /**
4466  * @brief Set value from a range of characters in a string_view.
4467  * @param __svt The source object convertible to string_view.
4468  * @param __pos The position in the string_view to assign from.
4469  * @param __n The number of characters to assign.
4470  * @return Reference to this string.
4471  */
4472  template<typename _Tp>
4473  _If_sv<_Tp, basic_string&>
4474  assign(const _Tp& __svt, size_type __pos, size_type __n = npos)
4475  {
4476  __sv_type __sv = __svt;
4477  return assign(__sv.data()
4478  + std::__sv_check(__sv.size(), __pos, "basic_string::assign"),
4479  std::__sv_limit(__sv.size(), __pos, __n));
4480  }
4481 #endif // C++17
4482 
4483  /**
4484  * @brief Insert multiple characters.
4485  * @param __p Iterator referencing location in string to insert at.
4486  * @param __n Number of characters to insert
4487  * @param __c The character to insert.
4488  * @throw std::length_error If new length exceeds @c max_size().
4489  *
4490  * Inserts @a __n copies of character @a __c starting at the
4491  * position referenced by iterator @a __p. If adding
4492  * characters causes the length to exceed max_size(),
4493  * length_error is thrown. The value of the string doesn't
4494  * change if an error is thrown.
4495  */
4496  void
4497  insert(iterator __p, size_type __n, _CharT __c)
4498  { this->replace(__p, __p, __n, __c); }
4499 
4500  /**
4501  * @brief Insert a range of characters.
4502  * @param __p Iterator referencing location in string to insert at.
4503  * @param __beg Start of range.
4504  * @param __end End of range.
4505  * @throw std::length_error If new length exceeds @c max_size().
4506  *
4507  * Inserts characters in range [__beg,__end). If adding
4508  * characters causes the length to exceed max_size(),
4509  * length_error is thrown. The value of the string doesn't
4510  * change if an error is thrown.
4511  */
4512  template<class _InputIterator>
4513  void
4514  insert(iterator __p, _InputIterator __beg, _InputIterator __end)
4515  { this->replace(__p, __p, __beg, __end); }
4516 
4517 #if __cplusplus >= 201103L
4518  /**
4519  * @brief Insert an initializer_list of characters.
4520  * @param __p Iterator referencing location in string to insert at.
4521  * @param __l The initializer_list of characters to insert.
4522  * @throw std::length_error If new length exceeds @c max_size().
4523  */
4524  void
4526  {
4527  _GLIBCXX_DEBUG_PEDASSERT(__p >= _M_ibegin() && __p <= _M_iend());
4528  this->insert(__p - _M_ibegin(), __l.begin(), __l.size());
4529  }
4530 #endif // C++11
4531 
4532  /**
4533  * @brief Insert value of a string.
4534  * @param __pos1 Position in string to insert at.
4535  * @param __str The string to insert.
4536  * @return Reference to this string.
4537  * @throw std::length_error If new length exceeds @c max_size().
4538  *
4539  * Inserts value of @a __str starting at @a __pos1. If adding
4540  * characters causes the length to exceed max_size(),
4541  * length_error is thrown. The value of the string doesn't
4542  * change if an error is thrown.
4543  */
4544  basic_string&
4545  insert(size_type __pos1, const basic_string& __str)
4546  { return this->insert(__pos1, __str, size_type(0), __str.size()); }
4547 
4548  /**
4549  * @brief Insert a substring.
4550  * @param __pos1 Position in string to insert at.
4551  * @param __str The string to insert.
4552  * @param __pos2 Start of characters in str to insert.
4553  * @param __n Number of characters to insert.
4554  * @return Reference to this string.
4555  * @throw std::length_error If new length exceeds @c max_size().
4556  * @throw std::out_of_range If @a pos1 > size() or
4557  * @a __pos2 > @a str.size().
4558  *
4559  * Starting at @a pos1, insert @a __n character of @a __str
4560  * beginning with @a __pos2. If adding characters causes the
4561  * length to exceed max_size(), length_error is thrown. If @a
4562  * __pos1 is beyond the end of this string or @a __pos2 is
4563  * beyond the end of @a __str, out_of_range is thrown. The
4564  * value of the string doesn't change if an error is thrown.
4565  */
4566  basic_string&
4567  insert(size_type __pos1, const basic_string& __str,
4568  size_type __pos2, size_type __n = npos)
4569  { return this->insert(__pos1, __str._M_data()
4570  + __str._M_check(__pos2, "basic_string::insert"),
4571  __str._M_limit(__pos2, __n)); }
4572 
4573  /**
4574  * @brief Insert a C substring.
4575  * @param __pos Position in string to insert at.
4576  * @param __s The C string to insert.
4577  * @param __n The number of characters to insert.
4578  * @return Reference to this string.
4579  * @throw std::length_error If new length exceeds @c max_size().
4580  * @throw std::out_of_range If @a __pos is beyond the end of this
4581  * string.
4582  *
4583  * Inserts the first @a __n characters of @a __s starting at @a
4584  * __pos. If adding characters causes the length to exceed
4585  * max_size(), length_error is thrown. If @a __pos is beyond
4586  * end(), out_of_range is thrown. The value of the string
4587  * doesn't change if an error is thrown.
4588  */
4589  basic_string&
4590  insert(size_type __pos, const _CharT* __s, size_type __n);
4591 
4592  /**
4593  * @brief Insert a C string.
4594  * @param __pos Position in string to insert at.
4595  * @param __s The C string to insert.
4596  * @return Reference to this string.
4597  * @throw std::length_error If new length exceeds @c max_size().
4598  * @throw std::out_of_range If @a pos is beyond the end of this
4599  * string.
4600  *
4601  * Inserts the first @a n characters of @a __s starting at @a __pos. If
4602  * adding characters causes the length to exceed max_size(),
4603  * length_error is thrown. If @a __pos is beyond end(), out_of_range is
4604  * thrown. The value of the string doesn't change if an error is
4605  * thrown.
4606  */
4607  basic_string&
4608  insert(size_type __pos, const _CharT* __s)
4609  {
4610  __glibcxx_requires_string(__s);
4611  return this->insert(__pos, __s, traits_type::length(__s));
4612  }
4613 
4614  /**
4615  * @brief Insert multiple characters.
4616  * @param __pos Index in string to insert at.
4617  * @param __n Number of characters to insert
4618  * @param __c The character to insert.
4619  * @return Reference to this string.
4620  * @throw std::length_error If new length exceeds @c max_size().
4621  * @throw std::out_of_range If @a __pos is beyond the end of this
4622  * string.
4623  *
4624  * Inserts @a __n copies of character @a __c starting at index
4625  * @a __pos. If adding characters causes the length to exceed
4626  * max_size(), length_error is thrown. If @a __pos > length(),
4627  * out_of_range is thrown. The value of the string doesn't
4628  * change if an error is thrown.
4629  */
4630  basic_string&
4631  insert(size_type __pos, size_type __n, _CharT __c)
4632  { return _M_replace_aux(_M_check(__pos, "basic_string::insert"),
4633  size_type(0), __n, __c); }
4634 
4635  /**
4636  * @brief Insert one character.
4637  * @param __p Iterator referencing position in string to insert at.
4638  * @param __c The character to insert.
4639  * @return Iterator referencing newly inserted char.
4640  * @throw std::length_error If new length exceeds @c max_size().
4641  *
4642  * Inserts character @a __c at position referenced by @a __p.
4643  * If adding character causes the length to exceed max_size(),
4644  * length_error is thrown. If @a __p is beyond end of string,
4645  * out_of_range is thrown. The value of the string doesn't
4646  * change if an error is thrown.
4647  */
4648  iterator
4649  insert(iterator __p, _CharT __c)
4650  {
4651  _GLIBCXX_DEBUG_PEDASSERT(__p >= _M_ibegin() && __p <= _M_iend());
4652  const size_type __pos = __p - _M_ibegin();
4653  _M_replace_aux(__pos, size_type(0), size_type(1), __c);
4654  _M_rep()->_M_set_leaked();
4655  return iterator(_M_data() + __pos);
4656  }
4657 
4658 #if __cplusplus >= 201703L
4659  /**
4660  * @brief Insert a string_view.
4661  * @param __pos Position in string to insert at.
4662  * @param __svt The object convertible to string_view to insert.
4663  * @return Reference to this string.
4664  */
4665  template<typename _Tp>
4666  _If_sv<_Tp, basic_string&>
4667  insert(size_type __pos, const _Tp& __svt)
4668  {
4669  __sv_type __sv = __svt;
4670  return this->insert(__pos, __sv.data(), __sv.size());
4671  }
4672 
4673  /**
4674  * @brief Insert a string_view.
4675  * @param __pos1 Position in string to insert at.
4676  * @param __svt The object convertible to string_view to insert from.
4677  * @param __pos2 Position in string_view to insert from.
4678  * @param __n The number of characters to insert.
4679  * @return Reference to this string.
4680  */
4681  template<typename _Tp>
4682  _If_sv<_Tp, basic_string&>
4683  insert(size_type __pos1, const _Tp& __svt,
4684  size_type __pos2, size_type __n = npos)
4685  {
4686  __sv_type __sv = __svt;
4687  return this->replace(__pos1, size_type(0), __sv.data()
4688  + std::__sv_check(__sv.size(), __pos2, "basic_string::insert"),
4689  std::__sv_limit(__sv.size(), __pos2, __n));
4690  }
4691 #endif // C++17
4692 
4693  /**
4694  * @brief Remove characters.
4695  * @param __pos Index of first character to remove (default 0).
4696  * @param __n Number of characters to remove (default remainder).
4697  * @return Reference to this string.
4698  * @throw std::out_of_range If @a pos is beyond the end of this
4699  * string.
4700  *
4701  * Removes @a __n characters from this string starting at @a
4702  * __pos. The length of the string is reduced by @a __n. If
4703  * there are < @a __n characters to remove, the remainder of
4704  * the string is truncated. If @a __p is beyond end of string,
4705  * out_of_range is thrown. The value of the string doesn't
4706  * change if an error is thrown.
4707  */
4708  basic_string&
4709  erase(size_type __pos = 0, size_type __n = npos)
4710  {
4711  _M_mutate(_M_check(__pos, "basic_string::erase"),
4712  _M_limit(__pos, __n), size_type(0));
4713  return *this;
4714  }
4715 
4716  /**
4717  * @brief Remove one character.
4718  * @param __position Iterator referencing the character to remove.
4719  * @return iterator referencing same location after removal.
4720  *
4721  * Removes the character at @a __position from this string. The value
4722  * of the string doesn't change if an error is thrown.
4723  */
4724  iterator
4725  erase(iterator __position)
4726  {
4727  _GLIBCXX_DEBUG_PEDASSERT(__position >= _M_ibegin()
4728  && __position < _M_iend());
4729  const size_type __pos = __position - _M_ibegin();
4730  _M_mutate(__pos, size_type(1), size_type(0));
4731  _M_rep()->_M_set_leaked();
4732  return iterator(_M_data() + __pos);
4733  }
4734 
4735  /**
4736  * @brief Remove a range of characters.
4737  * @param __first Iterator referencing the first character to remove.
4738  * @param __last Iterator referencing the end of the range.
4739  * @return Iterator referencing location of first after removal.
4740  *
4741  * Removes the characters in the range [first,last) from this string.
4742  * The value of the string doesn't change if an error is thrown.
4743  */
4744  iterator
4745  erase(iterator __first, iterator __last);
4746 
4747 #if __cplusplus >= 201103L
4748  /**
4749  * @brief Remove the last character.
4750  *
4751  * The string must be non-empty.
4752  */
4753  void
4754  pop_back() // FIXME C++11: should be noexcept.
4755  {
4756  __glibcxx_assert(!empty());
4757  erase(size() - 1, 1);
4758  }
4759 #endif // C++11
4760 
4761  /**
4762  * @brief Replace characters with value from another string.
4763  * @param __pos Index of first character to replace.
4764  * @param __n Number of characters to be replaced.
4765  * @param __str String to insert.
4766  * @return Reference to this string.
4767  * @throw std::out_of_range If @a pos is beyond the end of this
4768  * string.
4769  * @throw std::length_error If new length exceeds @c max_size().
4770  *
4771  * Removes the characters in the range [__pos,__pos+__n) from
4772  * this string. In place, the value of @a __str is inserted.
4773  * If @a __pos is beyond end of string, out_of_range is thrown.
4774  * If the length of the result exceeds max_size(), length_error
4775  * is thrown. The value of the string doesn't change if an
4776  * error is thrown.
4777  */
4778  basic_string&
4779  replace(size_type __pos, size_type __n, const basic_string& __str)
4780  { return this->replace(__pos, __n, __str._M_data(), __str.size()); }
4781 
4782  /**
4783  * @brief Replace characters with value from another string.
4784  * @param __pos1 Index of first character to replace.
4785  * @param __n1 Number of characters to be replaced.
4786  * @param __str String to insert.
4787  * @param __pos2 Index of first character of str to use.
4788  * @param __n2 Number of characters from str to use.
4789  * @return Reference to this string.
4790  * @throw std::out_of_range If @a __pos1 > size() or @a __pos2 >
4791  * __str.size().
4792  * @throw std::length_error If new length exceeds @c max_size().
4793  *
4794  * Removes the characters in the range [__pos1,__pos1 + n) from this
4795  * string. In place, the value of @a __str is inserted. If @a __pos is
4796  * beyond end of string, out_of_range is thrown. If the length of the
4797  * result exceeds max_size(), length_error is thrown. The value of the
4798  * string doesn't change if an error is thrown.
4799  */
4800  basic_string&
4801  replace(size_type __pos1, size_type __n1, const basic_string& __str,
4802  size_type __pos2, size_type __n2 = npos)
4803  { return this->replace(__pos1, __n1, __str._M_data()
4804  + __str._M_check(__pos2, "basic_string::replace"),
4805  __str._M_limit(__pos2, __n2)); }
4806 
4807  /**
4808  * @brief Replace characters with value of a C substring.
4809  * @param __pos Index of first character to replace.
4810  * @param __n1 Number of characters to be replaced.
4811  * @param __s C string to insert.
4812  * @param __n2 Number of characters from @a s to use.
4813  * @return Reference to this string.
4814  * @throw std::out_of_range If @a pos1 > size().
4815  * @throw std::length_error If new length exceeds @c max_size().
4816  *
4817  * Removes the characters in the range [__pos,__pos + __n1)
4818  * from this string. In place, the first @a __n2 characters of
4819  * @a __s are inserted, or all of @a __s if @a __n2 is too large. If
4820  * @a __pos is beyond end of string, out_of_range is thrown. If
4821  * the length of result exceeds max_size(), length_error is
4822  * thrown. The value of the string doesn't change if an error
4823  * is thrown.
4824  */
4825  basic_string&
4826  replace(size_type __pos, size_type __n1, const _CharT* __s,
4827  size_type __n2);
4828 
4829  /**
4830  * @brief Replace characters with value of a C string.
4831  * @param __pos Index of first character to replace.
4832  * @param __n1 Number of characters to be replaced.
4833  * @param __s C string to insert.
4834  * @return Reference to this string.
4835  * @throw std::out_of_range If @a pos > size().
4836  * @throw std::length_error If new length exceeds @c max_size().
4837  *
4838  * Removes the characters in the range [__pos,__pos + __n1)
4839  * from this string. In place, the characters of @a __s are
4840  * inserted. If @a __pos is beyond end of string, out_of_range
4841  * is thrown. If the length of result exceeds max_size(),
4842  * length_error is thrown. The value of the string doesn't
4843  * change if an error is thrown.
4844  */
4845  basic_string&
4846  replace(size_type __pos, size_type __n1, const _CharT* __s)
4847  {
4848  __glibcxx_requires_string(__s);
4849  return this->replace(__pos, __n1, __s, traits_type::length(__s));
4850  }
4851 
4852  /**
4853  * @brief Replace characters with multiple characters.
4854  * @param __pos Index of first character to replace.
4855  * @param __n1 Number of characters to be replaced.
4856  * @param __n2 Number of characters to insert.
4857  * @param __c Character to insert.
4858  * @return Reference to this string.
4859  * @throw std::out_of_range If @a __pos > size().
4860  * @throw std::length_error If new length exceeds @c max_size().
4861  *
4862  * Removes the characters in the range [pos,pos + n1) from this
4863  * string. In place, @a __n2 copies of @a __c are inserted.
4864  * If @a __pos is beyond end of string, out_of_range is thrown.
4865  * If the length of result exceeds max_size(), length_error is
4866  * thrown. The value of the string doesn't change if an error
4867  * is thrown.
4868  */
4869  basic_string&
4870  replace(size_type __pos, size_type __n1, size_type __n2, _CharT __c)
4871  { return _M_replace_aux(_M_check(__pos, "basic_string::replace"),
4872  _M_limit(__pos, __n1), __n2, __c); }
4873 
4874  /**
4875  * @brief Replace range of characters with string.
4876  * @param __i1 Iterator referencing start of range to replace.
4877  * @param __i2 Iterator referencing end of range to replace.
4878  * @param __str String value to insert.
4879  * @return Reference to this string.
4880  * @throw std::length_error If new length exceeds @c max_size().
4881  *
4882  * Removes the characters in the range [__i1,__i2). In place,
4883  * the value of @a __str is inserted. If the length of result
4884  * exceeds max_size(), length_error is thrown. The value of
4885  * the string doesn't change if an error is thrown.
4886  */
4887  basic_string&
4888  replace(iterator __i1, iterator __i2, const basic_string& __str)
4889  { return this->replace(__i1, __i2, __str._M_data(), __str.size()); }
4890 
4891  /**
4892  * @brief Replace range of characters with C substring.
4893  * @param __i1 Iterator referencing start of range to replace.
4894  * @param __i2 Iterator referencing end of range to replace.
4895  * @param __s C string value to insert.
4896  * @param __n Number of characters from s to insert.
4897  * @return Reference to this string.
4898  * @throw std::length_error If new length exceeds @c max_size().
4899  *
4900  * Removes the characters in the range [__i1,__i2). In place,
4901  * the first @a __n characters of @a __s are inserted. If the
4902  * length of result exceeds max_size(), length_error is thrown.
4903  * The value of the string doesn't change if an error is
4904  * thrown.
4905  */
4906  basic_string&
4907  replace(iterator __i1, iterator __i2, const _CharT* __s, size_type __n)
4908  {
4909  _GLIBCXX_DEBUG_PEDASSERT(_M_ibegin() <= __i1 && __i1 <= __i2
4910  && __i2 <= _M_iend());
4911  return this->replace(__i1 - _M_ibegin(), __i2 - __i1, __s, __n);
4912  }
4913 
4914  /**
4915  * @brief Replace range of characters with C string.
4916  * @param __i1 Iterator referencing start of range to replace.
4917  * @param __i2 Iterator referencing end of range to replace.
4918  * @param __s C string value to insert.
4919  * @return Reference to this string.
4920  * @throw std::length_error If new length exceeds @c max_size().
4921  *
4922  * Removes the characters in the range [__i1,__i2). In place,
4923  * the characters of @a __s are inserted. If the length of
4924  * result exceeds max_size(), length_error is thrown. The
4925  * value of the string doesn't change if an error is thrown.
4926  */
4927  basic_string&
4928  replace(iterator __i1, iterator __i2, const _CharT* __s)
4929  {
4930  __glibcxx_requires_string(__s);
4931  return this->replace(__i1, __i2, __s, traits_type::length(__s));
4932  }
4933 
4934  /**
4935  * @brief Replace range of characters with multiple characters
4936  * @param __i1 Iterator referencing start of range to replace.
4937  * @param __i2 Iterator referencing end of range to replace.
4938  * @param __n Number of characters to insert.
4939  * @param __c Character to insert.
4940  * @return Reference to this string.
4941  * @throw std::length_error If new length exceeds @c max_size().
4942  *
4943  * Removes the characters in the range [__i1,__i2). In place,
4944  * @a __n copies of @a __c are inserted. If the length of
4945  * result exceeds max_size(), length_error is thrown. The
4946  * value of the string doesn't change if an error is thrown.
4947  */
4948  basic_string&
4949  replace(iterator __i1, iterator __i2, size_type __n, _CharT __c)
4950  {
4951  _GLIBCXX_DEBUG_PEDASSERT(_M_ibegin() <= __i1 && __i1 <= __i2
4952  && __i2 <= _M_iend());
4953  return _M_replace_aux(__i1 - _M_ibegin(), __i2 - __i1, __n, __c);
4954  }
4955 
4956  /**
4957  * @brief Replace range of characters with range.
4958  * @param __i1 Iterator referencing start of range to replace.
4959  * @param __i2 Iterator referencing end of range to replace.
4960  * @param __k1 Iterator referencing start of range to insert.
4961  * @param __k2 Iterator referencing end of range to insert.
4962  * @return Reference to this string.
4963  * @throw std::length_error If new length exceeds @c max_size().
4964  *
4965  * Removes the characters in the range [__i1,__i2). In place,
4966  * characters in the range [__k1,__k2) are inserted. If the
4967  * length of result exceeds max_size(), length_error is thrown.
4968  * The value of the string doesn't change if an error is
4969  * thrown.
4970  */
4971  template<class _InputIterator>
4972  basic_string&
4973  replace(iterator __i1, iterator __i2,
4974  _InputIterator __k1, _InputIterator __k2)
4975  {
4976  _GLIBCXX_DEBUG_PEDASSERT(_M_ibegin() <= __i1 && __i1 <= __i2
4977  && __i2 <= _M_iend());
4978  __glibcxx_requires_valid_range(__k1, __k2);
4979  typedef typename std::__is_integer<_InputIterator>::__type _Integral;
4980  return _M_replace_dispatch(__i1, __i2, __k1, __k2, _Integral());
4981  }
4982 
4983  // Specializations for the common case of pointer and iterator:
4984  // useful to avoid the overhead of temporary buffering in _M_replace.
4985  basic_string&
4986  replace(iterator __i1, iterator __i2, _CharT* __k1, _CharT* __k2)
4987  {
4988  _GLIBCXX_DEBUG_PEDASSERT(_M_ibegin() <= __i1 && __i1 <= __i2
4989  && __i2 <= _M_iend());
4990  __glibcxx_requires_valid_range(__k1, __k2);
4991  return this->replace(__i1 - _M_ibegin(), __i2 - __i1,
4992  __k1, __k2 - __k1);
4993  }
4994 
4995  basic_string&
4996  replace(iterator __i1, iterator __i2,
4997  const _CharT* __k1, const _CharT* __k2)
4998  {
4999  _GLIBCXX_DEBUG_PEDASSERT(_M_ibegin() <= __i1 && __i1 <= __i2
5000  && __i2 <= _M_iend());
5001  __glibcxx_requires_valid_range(__k1, __k2);
5002  return this->replace(__i1 - _M_ibegin(), __i2 - __i1,
5003  __k1, __k2 - __k1);
5004  }
5005 
5006  basic_string&
5007  replace(iterator __i1, iterator __i2, iterator __k1, iterator __k2)
5008  {
5009  _GLIBCXX_DEBUG_PEDASSERT(_M_ibegin() <= __i1 && __i1 <= __i2
5010  && __i2 <= _M_iend());
5011  __glibcxx_requires_valid_range(__k1, __k2);
5012  return this->replace(__i1 - _M_ibegin(), __i2 - __i1,
5013  __k1.base(), __k2 - __k1);
5014  }
5015 
5016  basic_string&
5017  replace(iterator __i1, iterator __i2,
5018  const_iterator __k1, const_iterator __k2)
5019  {
5020  _GLIBCXX_DEBUG_PEDASSERT(_M_ibegin() <= __i1 && __i1 <= __i2
5021  && __i2 <= _M_iend());
5022  __glibcxx_requires_valid_range(__k1, __k2);
5023  return this->replace(__i1 - _M_ibegin(), __i2 - __i1,
5024  __k1.base(), __k2 - __k1);
5025  }
5026 
5027 #if __cplusplus >= 201103L
5028  /**
5029  * @brief Replace range of characters with initializer_list.
5030  * @param __i1 Iterator referencing start of range to replace.
5031  * @param __i2 Iterator referencing end of range to replace.
5032  * @param __l The initializer_list of characters to insert.
5033  * @return Reference to this string.
5034  * @throw std::length_error If new length exceeds @c max_size().
5035  *
5036  * Removes the characters in the range [__i1,__i2). In place,
5037  * characters in the range [__k1,__k2) are inserted. If the
5038  * length of result exceeds max_size(), length_error is thrown.
5039  * The value of the string doesn't change if an error is
5040  * thrown.
5041  */
5042  basic_string& replace(iterator __i1, iterator __i2,
5044  { return this->replace(__i1, __i2, __l.begin(), __l.end()); }
5045 #endif // C++11
5046 
5047 #if __cplusplus >= 201703L
5048  /**
5049  * @brief Replace range of characters with string_view.
5050  * @param __pos The position to replace at.
5051  * @param __n The number of characters to replace.
5052  * @param __svt The object convertible to string_view to insert.
5053  * @return Reference to this string.
5054  */
5055  template<typename _Tp>
5056  _If_sv<_Tp, basic_string&>
5057  replace(size_type __pos, size_type __n, const _Tp& __svt)
5058  {
5059  __sv_type __sv = __svt;
5060  return this->replace(__pos, __n, __sv.data(), __sv.size());
5061  }
5062 
5063  /**
5064  * @brief Replace range of characters with string_view.
5065  * @param __pos1 The position to replace at.
5066  * @param __n1 The number of characters to replace.
5067  * @param __svt The object convertible to string_view to insert from.
5068  * @param __pos2 The position in the string_view to insert from.
5069  * @param __n2 The number of characters to insert.
5070  * @return Reference to this string.
5071  */
5072  template<typename _Tp>
5073  _If_sv<_Tp, basic_string&>
5074  replace(size_type __pos1, size_type __n1, const _Tp& __svt,
5075  size_type __pos2, size_type __n2 = npos)
5076  {
5077  __sv_type __sv = __svt;
5078  return this->replace(__pos1, __n1,
5079  __sv.data()
5080  + std::__sv_check(__sv.size(), __pos2, "basic_string::replace"),
5081  std::__sv_limit(__sv.size(), __pos2, __n2));
5082  }
5083 
5084  /**
5085  * @brief Replace range of characters with string_view.
5086  * @param __i1 An iterator referencing the start position
5087  to replace at.
5088  * @param __i2 An iterator referencing the end position
5089  for the replace.
5090  * @param __svt The object convertible to string_view to insert from.
5091  * @return Reference to this string.
5092  */
5093  template<typename _Tp>
5094  _If_sv<_Tp, basic_string&>
5095  replace(const_iterator __i1, const_iterator __i2, const _Tp& __svt)
5096  {
5097  __sv_type __sv = __svt;
5098  return this->replace(__i1 - begin(), __i2 - __i1, __sv);
5099  }
5100 #endif // C++17
5101 
5102  private:
5103  template<class _Integer>
5104  basic_string&
5105  _M_replace_dispatch(iterator __i1, iterator __i2, _Integer __n,
5106  _Integer __val, __true_type)
5107  { return _M_replace_aux(__i1 - _M_ibegin(), __i2 - __i1, __n, __val); }
5108 
5109  template<class _InputIterator>
5110  basic_string&
5111  _M_replace_dispatch(iterator __i1, iterator __i2, _InputIterator __k1,
5112  _InputIterator __k2, __false_type);
5113 
5114  basic_string&
5115  _M_replace_aux(size_type __pos1, size_type __n1, size_type __n2,
5116  _CharT __c);
5117 
5118  basic_string&
5119  _M_replace_safe(size_type __pos1, size_type __n1, const _CharT* __s,
5120  size_type __n2);
5121 
5122  // _S_construct_aux is used to implement the 21.3.1 para 15 which
5123  // requires special behaviour if _InIter is an integral type
5124  template<class _InIterator>
5125  static _CharT*
5126  _S_construct_aux(_InIterator __beg, _InIterator __end,
5127  const _Alloc& __a, __false_type)
5128  {
5129  typedef typename iterator_traits<_InIterator>::iterator_category _Tag;
5130  return _S_construct(__beg, __end, __a, _Tag());
5131  }
5132 
5133  // _GLIBCXX_RESOLVE_LIB_DEFECTS
5134  // 438. Ambiguity in the "do the right thing" clause
5135  template<class _Integer>
5136  static _CharT*
5137  _S_construct_aux(_Integer __beg, _Integer __end,
5138  const _Alloc& __a, __true_type)
5139  { return _S_construct_aux_2(static_cast<size_type>(__beg),
5140  __end, __a); }
5141 
5142  static _CharT*
5143  _S_construct_aux_2(size_type __req, _CharT __c, const _Alloc& __a)
5144  { return _S_construct(__req, __c, __a); }
5145 
5146  template<class _InIterator>
5147  static _CharT*
5148  _S_construct(_InIterator __beg, _InIterator __end, const _Alloc& __a)
5149  {
5150  typedef typename std::__is_integer<_InIterator>::__type _Integral;
5151  return _S_construct_aux(__beg, __end, __a, _Integral());
5152  }
5153 
5154  // For Input Iterators, used in istreambuf_iterators, etc.
5155  template<class _InIterator>
5156  static _CharT*
5157  _S_construct(_InIterator __beg, _InIterator __end, const _Alloc& __a,
5158  input_iterator_tag);
5159 
5160  // For forward_iterators up to random_access_iterators, used for
5161  // string::iterator, _CharT*, etc.
5162  template<class _FwdIterator>
5163  static _CharT*
5164  _S_construct(_FwdIterator __beg, _FwdIterator __end, const _Alloc& __a,
5165  forward_iterator_tag);
5166 
5167  static _CharT*
5168  _S_construct(size_type __req, _CharT __c, const _Alloc& __a);
5169 
5170  public:
5171 
5172  /**
5173  * @brief Copy substring into C string.
5174  * @param __s C string to copy value into.
5175  * @param __n Number of characters to copy.
5176  * @param __pos Index of first character to copy.
5177  * @return Number of characters actually copied
5178  * @throw std::out_of_range If __pos > size().
5179  *
5180  * Copies up to @a __n characters starting at @a __pos into the
5181  * C string @a __s. If @a __pos is %greater than size(),
5182  * out_of_range is thrown.
5183  */
5184  size_type
5185  copy(_CharT* __s, size_type __n, size_type __pos = 0) const;
5186 
5187  /**
5188  * @brief Swap contents with another string.
5189  * @param __s String to swap with.
5190  *
5191  * Exchanges the contents of this string with that of @a __s in constant
5192  * time.
5193  */
5194  void
5195  swap(basic_string& __s)
5196  _GLIBCXX_NOEXCEPT_IF(allocator_traits<_Alloc>::is_always_equal::value);
5197 
5198  // String operations:
5199  /**
5200  * @brief Return const pointer to null-terminated contents.
5201  *
5202  * This is a handle to internal data. Do not modify or dire things may
5203  * happen.
5204  */
5205  const _CharT*
5206  c_str() const _GLIBCXX_NOEXCEPT
5207  { return _M_data(); }
5208 
5209  /**
5210  * @brief Return const pointer to contents.
5211  *
5212  * This is a pointer to internal data. It is undefined to modify
5213  * the contents through the returned pointer. To get a pointer that
5214  * allows modifying the contents use @c &str[0] instead,
5215  * (or in C++17 the non-const @c str.data() overload).
5216  */
5217  const _CharT*
5218  data() const _GLIBCXX_NOEXCEPT
5219  { return _M_data(); }
5220 
5221 #if __cplusplus >= 201703L
5222  /**
5223  * @brief Return non-const pointer to contents.
5224  *
5225  * This is a pointer to the character sequence held by the string.
5226  * Modifying the characters in the sequence is allowed.
5227  */
5228  _CharT*
5229  data() noexcept
5230  {
5231  _M_leak();
5232  return _M_data();
5233  }
5234 #endif
5235 
5236  /**
5237  * @brief Return copy of allocator used to construct this string.
5238  */
5239  allocator_type
5240  get_allocator() const _GLIBCXX_NOEXCEPT
5241  { return _M_dataplus; }
5242 
5243  /**
5244  * @brief Find position of a C substring.
5245  * @param __s C string to locate.
5246  * @param __pos Index of character to search from.
5247  * @param __n Number of characters from @a s to search for.
5248  * @return Index of start of first occurrence.
5249  *
5250  * Starting from @a __pos, searches forward for the first @a
5251  * __n characters in @a __s within this string. If found,
5252  * returns the index where it begins. If not found, returns
5253  * npos.
5254  */
5255  size_type
5256  find(const _CharT* __s, size_type __pos, size_type __n) const
5257  _GLIBCXX_NOEXCEPT;
5258 
5259  /**
5260  * @brief Find position of a string.
5261  * @param __str String to locate.
5262  * @param __pos Index of character to search from (default 0).
5263  * @return Index of start of first occurrence.
5264  *
5265  * Starting from @a __pos, searches forward for value of @a __str within
5266  * this string. If found, returns the index where it begins. If not
5267  * found, returns npos.
5268  */
5269  size_type
5270  find(const basic_string& __str, size_type __pos = 0) const
5271  _GLIBCXX_NOEXCEPT
5272  { return this->find(__str.data(), __pos, __str.size()); }
5273 
5274  /**
5275  * @brief Find position of a C string.
5276  * @param __s C string to locate.
5277  * @param __pos Index of character to search from (default 0).
5278  * @return Index of start of first occurrence.
5279  *
5280  * Starting from @a __pos, searches forward for the value of @a
5281  * __s within this string. If found, returns the index where
5282  * it begins. If not found, returns npos.
5283  */
5284  size_type
5285  find(const _CharT* __s, size_type __pos = 0) const _GLIBCXX_NOEXCEPT
5286  {
5287  __glibcxx_requires_string(__s);
5288  return this->find(__s, __pos, traits_type::length(__s));
5289  }
5290 
5291  /**
5292  * @brief Find position of a character.
5293  * @param __c Character to locate.
5294  * @param __pos Index of character to search from (default 0).
5295  * @return Index of first occurrence.
5296  *
5297  * Starting from @a __pos, searches forward for @a __c within
5298  * this string. If found, returns the index where it was
5299  * found. If not found, returns npos.
5300  */
5301  size_type
5302  find(_CharT __c, size_type __pos = 0) const _GLIBCXX_NOEXCEPT;
5303 
5304 #if __cplusplus >= 201703L
5305  /**
5306  * @brief Find position of a string_view.
5307  * @param __svt The object convertible to string_view to locate.
5308  * @param __pos Index of character to search from (default 0).
5309  * @return Index of start of first occurrence.
5310  */
5311  template<typename _Tp>
5312  _If_sv<_Tp, size_type>
5313  find(const _Tp& __svt, size_type __pos = 0) const
5314  noexcept(is_same<_Tp, __sv_type>::value)
5315  {
5316  __sv_type __sv = __svt;
5317  return this->find(__sv.data(), __pos, __sv.size());
5318  }
5319 #endif // C++17
5320 
5321  /**
5322  * @brief Find last position of a string.
5323  * @param __str String to locate.
5324  * @param __pos Index of character to search back from (default end).
5325  * @return Index of start of last occurrence.
5326  *
5327  * Starting from @a __pos, searches backward for value of @a
5328  * __str within this string. If found, returns the index where
5329  * it begins. If not found, returns npos.
5330  */
5331  size_type
5332  rfind(const basic_string& __str, size_type __pos = npos) const
5333  _GLIBCXX_NOEXCEPT
5334  { return this->rfind(__str.data(), __pos, __str.size()); }
5335 
5336  /**
5337  * @brief Find last position of a C substring.
5338  * @param __s C string to locate.
5339  * @param __pos Index of character to search back from.
5340  * @param __n Number of characters from s to search for.
5341  * @return Index of start of last occurrence.
5342  *
5343  * Starting from @a __pos, searches backward for the first @a
5344  * __n characters in @a __s within this string. If found,
5345  * returns the index where it begins. If not found, returns
5346  * npos.
5347  */
5348  size_type
5349  rfind(const _CharT* __s, size_type __pos, size_type __n) const
5350  _GLIBCXX_NOEXCEPT;
5351 
5352  /**
5353  * @brief Find last position of a C string.
5354  * @param __s C string to locate.
5355  * @param __pos Index of character to start search at (default end).
5356  * @return Index of start of last occurrence.
5357  *
5358  * Starting from @a __pos, searches backward for the value of
5359  * @a __s within this string. If found, returns the index
5360  * where it begins. If not found, returns npos.
5361  */
5362  size_type
5363  rfind(const _CharT* __s, size_type __pos = npos) const _GLIBCXX_NOEXCEPT
5364  {
5365  __glibcxx_requires_string(__s);
5366  return this->rfind(__s, __pos, traits_type::length(__s));
5367  }
5368 
5369  /**
5370  * @brief Find last position of a character.
5371  * @param __c Character to locate.
5372  * @param __pos Index of character to search back from (default end).
5373  * @return Index of last occurrence.
5374  *
5375  * Starting from @a __pos, searches backward for @a __c within
5376  * this string. If found, returns the index where it was
5377  * found. If not found, returns npos.
5378  */
5379  size_type
5380  rfind(_CharT __c, size_type __pos = npos) const _GLIBCXX_NOEXCEPT;
5381 
5382 #if __cplusplus >= 201703L
5383  /**
5384  * @brief Find last position of a string_view.
5385  * @param __svt The object convertible to string_view to locate.
5386  * @param __pos Index of character to search back from (default end).
5387  * @return Index of start of last occurrence.
5388  */
5389  template<typename _Tp>
5390  _If_sv<_Tp, size_type>
5391  rfind(const _Tp& __svt, size_type __pos = npos) const
5393  {
5394  __sv_type __sv = __svt;
5395  return this->rfind(__sv.data(), __pos, __sv.size());
5396  }
5397 #endif // C++17
5398 
5399  /**
5400  * @brief Find position of a character of string.
5401  * @param __str String containing characters to locate.
5402  * @param __pos Index of character to search from (default 0).
5403  * @return Index of first occurrence.
5404  *
5405  * Starting from @a __pos, searches forward for one of the
5406  * characters of @a __str within this string. If found,
5407  * returns the index where it was found. If not found, returns
5408  * npos.
5409  */
5410  size_type
5411  find_first_of(const basic_string& __str, size_type __pos = 0) const
5412  _GLIBCXX_NOEXCEPT
5413  { return this->find_first_of(__str.data(), __pos, __str.size()); }
5414 
5415  /**
5416  * @brief Find position of a character of C substring.
5417  * @param __s String containing characters to locate.
5418  * @param __pos Index of character to search from.
5419  * @param __n Number of characters from s to search for.
5420  * @return Index of first occurrence.
5421  *
5422  * Starting from @a __pos, searches forward for one of the
5423  * first @a __n characters of @a __s within this string. If
5424  * found, returns the index where it was found. If not found,
5425  * returns npos.
5426  */
5427  size_type
5428  find_first_of(const _CharT* __s, size_type __pos, size_type __n) const
5429  _GLIBCXX_NOEXCEPT;
5430 
5431  /**
5432  * @brief Find position of a character of C string.
5433  * @param __s String containing characters to locate.
5434  * @param __pos Index of character to search from (default 0).
5435  * @return Index of first occurrence.
5436  *
5437  * Starting from @a __pos, searches forward for one of the
5438  * characters of @a __s within this string. If found, returns
5439  * the index where it was found. If not found, returns npos.
5440  */
5441  size_type
5442  find_first_of(const _CharT* __s, size_type __pos = 0) const
5443  _GLIBCXX_NOEXCEPT
5444  {
5445  __glibcxx_requires_string(__s);
5446  return this->find_first_of(__s, __pos, traits_type::length(__s));
5447  }
5448 
5449  /**
5450  * @brief Find position of a character.
5451  * @param __c Character to locate.
5452  * @param __pos Index of character to search from (default 0).
5453  * @return Index of first occurrence.
5454  *
5455  * Starting from @a __pos, searches forward for the character
5456  * @a __c within this string. If found, returns the index
5457  * where it was found. If not found, returns npos.
5458  *
5459  * Note: equivalent to find(__c, __pos).
5460  */
5461  size_type
5462  find_first_of(_CharT __c, size_type __pos = 0) const _GLIBCXX_NOEXCEPT
5463  { return this->find(__c, __pos); }
5464 
5465 #if __cplusplus >= 201703L
5466  /**
5467  * @brief Find position of a character of a string_view.
5468  * @param __svt An object convertible to string_view containing
5469  * characters to locate.
5470  * @param __pos Index of character to search from (default 0).
5471  * @return Index of first occurrence.
5472  */
5473  template<typename _Tp>
5474  _If_sv<_Tp, size_type>
5475  find_first_of(const _Tp& __svt, size_type __pos = 0) const
5476  noexcept(is_same<_Tp, __sv_type>::value)
5477  {
5478  __sv_type __sv = __svt;
5479  return this->find_first_of(__sv.data(), __pos, __sv.size());
5480  }
5481 #endif // C++17
5482 
5483  /**
5484  * @brief Find last position of a character of string.
5485  * @param __str String containing characters to locate.
5486  * @param __pos Index of character to search back from (default end).
5487  * @return Index of last occurrence.
5488  *
5489  * Starting from @a __pos, searches backward for one of the
5490  * characters of @a __str within this string. If found,
5491  * returns the index where it was found. If not found, returns
5492  * npos.
5493  */
5494  size_type
5495  find_last_of(const basic_string& __str, size_type __pos = npos) const
5496  _GLIBCXX_NOEXCEPT
5497  { return this->find_last_of(__str.data(), __pos, __str.size()); }
5498 
5499  /**
5500  * @brief Find last position of a character of C substring.
5501  * @param __s C string containing characters to locate.
5502  * @param __pos Index of character to search back from.
5503  * @param __n Number of characters from s to search for.
5504  * @return Index of last occurrence.
5505  *
5506  * Starting from @a __pos, searches backward for one of the
5507  * first @a __n characters of @a __s within this string. If
5508  * found, returns the index where it was found. If not found,
5509  * returns npos.
5510  */
5511  size_type
5512  find_last_of(const _CharT* __s, size_type __pos, size_type __n) const
5513  _GLIBCXX_NOEXCEPT;
5514 
5515  /**
5516  * @brief Find last position of a character of C string.
5517  * @param __s C string containing characters to locate.
5518  * @param __pos Index of character to search back from (default end).
5519  * @return Index of last occurrence.
5520  *
5521  * Starting from @a __pos, searches backward for one of the
5522  * characters of @a __s within this string. If found, returns
5523  * the index where it was found. If not found, returns npos.
5524  */
5525  size_type
5526  find_last_of(const _CharT* __s, size_type __pos = npos) const
5527  _GLIBCXX_NOEXCEPT
5528  {
5529  __glibcxx_requires_string(__s);
5530  return this->find_last_of(__s, __pos, traits_type::length(__s));
5531  }
5532 
5533  /**
5534  * @brief Find last position of a character.
5535  * @param __c Character to locate.
5536  * @param __pos Index of character to search back from (default end).
5537  * @return Index of last occurrence.
5538  *
5539  * Starting from @a __pos, searches backward for @a __c within
5540  * this string. If found, returns the index where it was
5541  * found. If not found, returns npos.
5542  *
5543  * Note: equivalent to rfind(__c, __pos).
5544  */
5545  size_type
5546  find_last_of(_CharT __c, size_type __pos = npos) const _GLIBCXX_NOEXCEPT
5547  { return this->rfind(__c, __pos); }
5548 
5549 #if __cplusplus >= 201703L
5550  /**
5551  * @brief Find last position of a character of string.
5552  * @param __svt An object convertible to string_view containing
5553  * characters to locate.
5554  * @param __pos Index of character to search back from (default end).
5555  * @return Index of last occurrence.
5556  */
5557  template<typename _Tp>
5558  _If_sv<_Tp, size_type>
5559  find_last_of(const _Tp& __svt, size_type __pos = npos) const
5561  {
5562  __sv_type __sv = __svt;
5563  return this->find_last_of(__sv.data(), __pos, __sv.size());
5564  }
5565 #endif // C++17
5566 
5567  /**
5568  * @brief Find position of a character not in string.
5569  * @param __str String containing characters to avoid.
5570  * @param __pos Index of character to search from (default 0).
5571  * @return Index of first occurrence.
5572  *
5573  * Starting from @a __pos, searches forward for a character not contained
5574  * in @a __str within this string. If found, returns the index where it
5575  * was found. If not found, returns npos.
5576  */
5577  size_type
5578  find_first_not_of(const basic_string& __str, size_type __pos = 0) const
5579  _GLIBCXX_NOEXCEPT
5580  { return this->find_first_not_of(__str.data(), __pos, __str.size()); }
5581 
5582  /**
5583  * @brief Find position of a character not in C substring.
5584  * @param __s C string containing characters to avoid.
5585  * @param __pos Index of character to search from.
5586  * @param __n Number of characters from __s to consider.
5587  * @return Index of first occurrence.
5588  *
5589  * Starting from @a __pos, searches forward for a character not
5590  * contained in the first @a __n characters of @a __s within
5591  * this string. If found, returns the index where it was
5592  * found. If not found, returns npos.
5593  */
5594  size_type
5595  find_first_not_of(const _CharT* __s, size_type __pos,
5596  size_type __n) const _GLIBCXX_NOEXCEPT;
5597 
5598  /**
5599  * @brief Find position of a character not in C string.
5600  * @param __s C string containing characters to avoid.
5601  * @param __pos Index of character to search from (default 0).
5602  * @return Index of first occurrence.
5603  *
5604  * Starting from @a __pos, searches forward for a character not
5605  * contained in @a __s within this string. If found, returns
5606  * the index where it was found. If not found, returns npos.
5607  */
5608  size_type
5609  find_first_not_of(const _CharT* __s, size_type __pos = 0) const
5610  _GLIBCXX_NOEXCEPT
5611  {
5612  __glibcxx_requires_string(__s);
5613  return this->find_first_not_of(__s, __pos, traits_type::length(__s));
5614  }
5615 
5616  /**
5617  * @brief Find position of a different character.
5618  * @param __c Character to avoid.
5619  * @param __pos Index of character to search from (default 0).
5620  * @return Index of first occurrence.
5621  *
5622  * Starting from @a __pos, searches forward for a character
5623  * other than @a __c within this string. If found, returns the
5624  * index where it was found. If not found, returns npos.
5625  */
5626  size_type
5627  find_first_not_of(_CharT __c, size_type __pos = 0) const
5628  _GLIBCXX_NOEXCEPT;
5629 
5630 #if __cplusplus >= 201703L
5631  /**
5632  * @brief Find position of a character not in a string_view.
5633  * @param __svt An object convertible to string_view containing
5634  * characters to avoid.
5635  * @param __pos Index of character to search from (default 0).
5636  * @return Index of first occurrence.
5637  */
5638  template<typename _Tp>
5639  _If_sv<_Tp, size_type>
5640  find_first_not_of(const _Tp& __svt, size_type __pos = 0) const
5641  noexcept(is_same<_Tp, __sv_type>::value)
5642  {
5643  __sv_type __sv = __svt;
5644  return this->find_first_not_of(__sv.data(), __pos, __sv.size());
5645  }
5646 #endif // C++17
5647 
5648  /**
5649  * @brief Find last position of a character not in string.
5650  * @param __str String containing characters to avoid.
5651  * @param __pos Index of character to search back from (default end).
5652  * @return Index of last occurrence.
5653  *
5654  * Starting from @a __pos, searches backward for a character
5655  * not contained in @a __str within this string. If found,
5656  * returns the index where it was found. If not found, returns
5657  * npos.
5658  */
5659  size_type
5660  find_last_not_of(const basic_string& __str, size_type __pos = npos) const
5661  _GLIBCXX_NOEXCEPT
5662  { return this->find_last_not_of(__str.data(), __pos, __str.size()); }
5663 
5664  /**
5665  * @brief Find last position of a character not in C substring.
5666  * @param __s C string containing characters to avoid.
5667  * @param __pos Index of character to search back from.
5668  * @param __n Number of characters from s to consider.
5669  * @return Index of last occurrence.
5670  *
5671  * Starting from @a __pos, searches backward for a character not
5672  * contained in the first @a __n characters of @a __s within this string.
5673  * If found, returns the index where it was found. If not found,
5674  * returns npos.
5675  */
5676  size_type
5677  find_last_not_of(const _CharT* __s, size_type __pos,
5678  size_type __n) const _GLIBCXX_NOEXCEPT;
5679  /**
5680  * @brief Find last position of a character not in C string.
5681  * @param __s C string containing characters to avoid.
5682  * @param __pos Index of character to search back from (default end).
5683  * @return Index of last occurrence.
5684  *
5685  * Starting from @a __pos, searches backward for a character
5686  * not contained in @a __s within this string. If found,
5687  * returns the index where it was found. If not found, returns
5688  * npos.
5689  */
5690  size_type
5691  find_last_not_of(const _CharT* __s, size_type __pos = npos) const
5692  _GLIBCXX_NOEXCEPT
5693  {
5694  __glibcxx_requires_string(__s);
5695  return this->find_last_not_of(__s, __pos, traits_type::length(__s));
5696  }
5697 
5698  /**
5699  * @brief Find last position of a different character.
5700  * @param __c Character to avoid.
5701  * @param __pos Index of character to search back from (default end).
5702  * @return Index of last occurrence.
5703  *
5704  * Starting from @a __pos, searches backward for a character other than
5705  * @a __c within this string. If found, returns the index where it was
5706  * found. If not found, returns npos.
5707  */
5708  size_type
5709  find_last_not_of(_CharT __c, size_type __pos = npos) const
5710  _GLIBCXX_NOEXCEPT;
5711 
5712 #if __cplusplus >= 201703L
5713  /**
5714  * @brief Find last position of a character not in a string_view.
5715  * @param __svt An object convertible to string_view containing
5716  * characters to avoid.
5717  * @param __pos Index of character to search back from (default end).
5718  * @return Index of last occurrence.
5719  */
5720  template<typename _Tp>
5721  _If_sv<_Tp, size_type>
5722  find_last_not_of(const _Tp& __svt, size_type __pos = npos) const
5724  {
5725  __sv_type __sv = __svt;
5726  return this->find_last_not_of(__sv.data(), __pos, __sv.size());
5727  }
5728 #endif // C++17
5729 
5730  /**
5731  * @brief Get a substring.
5732  * @param __pos Index of first character (default 0).
5733  * @param __n Number of characters in substring (default remainder).
5734  * @return The new string.
5735  * @throw std::out_of_range If __pos > size().
5736  *
5737  * Construct and return a new string using the @a __n
5738  * characters starting at @a __pos. If the string is too
5739  * short, use the remainder of the characters. If @a __pos is
5740  * beyond the end of the string, out_of_range is thrown.
5741  */
5742  basic_string
5743  substr(size_type __pos = 0, size_type __n = npos) const
5744  { return basic_string(*this,
5745  _M_check(__pos, "basic_string::substr"), __n); }
5746 
5747  /**
5748  * @brief Compare to a string.
5749  * @param __str String to compare against.
5750  * @return Integer < 0, 0, or > 0.
5751  *
5752  * Returns an integer < 0 if this string is ordered before @a
5753  * __str, 0 if their values are equivalent, or > 0 if this
5754  * string is ordered after @a __str. Determines the effective
5755  * length rlen of the strings to compare as the smallest of
5756  * size() and str.size(). The function then compares the two
5757  * strings by calling traits::compare(data(), str.data(),rlen).
5758  * If the result of the comparison is nonzero returns it,
5759  * otherwise the shorter one is ordered first.
5760  */
5761  int
5762  compare(const basic_string& __str) const
5763  {
5764  const size_type __size = this->size();
5765  const size_type __osize = __str.size();
5766  const size_type __len = std::min(__size, __osize);
5767 
5768  int __r = traits_type::compare(_M_data(), __str.data(), __len);
5769  if (!__r)
5770  __r = _S_compare(__size, __osize);
5771  return __r;
5772  }
5773 
5774 #if __cplusplus >= 201703L
5775  /**
5776  * @brief Compare to a string_view.
5777  * @param __svt An object convertible to string_view to compare against.
5778  * @return Integer < 0, 0, or > 0.
5779  */
5780  template<typename _Tp>
5781  _If_sv<_Tp, int>
5782  compare(const _Tp& __svt) const
5784  {
5785  __sv_type __sv = __svt;
5786  const size_type __size = this->size();
5787  const size_type __osize = __sv.size();
5788  const size_type __len = std::min(__size, __osize);
5789 
5790  int __r = traits_type::compare(_M_data(), __sv.data(), __len);
5791  if (!__r)
5792  __r = _S_compare(__size, __osize);
5793  return __r;
5794  }
5795 
5796  /**
5797  * @brief Compare to a string_view.
5798  * @param __pos A position in the string to start comparing from.
5799  * @param __n The number of characters to compare.
5800  * @param __svt An object convertible to string_view to compare
5801  * against.
5802  * @return Integer < 0, 0, or > 0.
5803  */
5804  template<typename _Tp>
5805  _If_sv<_Tp, int>
5806  compare(size_type __pos, size_type __n, const _Tp& __svt) const
5807  noexcept(is_same<_Tp, __sv_type>::value)
5808  {
5809  __sv_type __sv = __svt;
5810  return __sv_type(*this).substr(__pos, __n).compare(__sv);
5811  }
5812 
5813  /**
5814  * @brief Compare to a string_view.
5815  * @param __pos1 A position in the string to start comparing from.
5816  * @param __n1 The number of characters to compare.
5817  * @param __svt An object convertible to string_view to compare
5818  * against.
5819  * @param __pos2 A position in the string_view to start comparing from.
5820  * @param __n2 The number of characters to compare.
5821  * @return Integer < 0, 0, or > 0.
5822  */
5823  template<typename _Tp>
5824  _If_sv<_Tp, int>
5825  compare(size_type __pos1, size_type __n1, const _Tp& __svt,
5826  size_type __pos2, size_type __n2 = npos) const
5827  noexcept(is_same<_Tp, __sv_type>::value)
5828  {
5829  __sv_type __sv = __svt;
5830  return __sv_type(*this)
5831  .substr(__pos1, __n1).compare(__sv.substr(__pos2, __n2));
5832  }
5833 #endif // C++17
5834 
5835  /**
5836  * @brief Compare substring to a string.
5837  * @param __pos Index of first character of substring.
5838  * @param __n Number of characters in substring.
5839  * @param __str String to compare against.
5840  * @return Integer < 0, 0, or > 0.
5841  *
5842  * Form the substring of this string from the @a __n characters
5843  * starting at @a __pos. Returns an integer < 0 if the
5844  * substring is ordered before @a __str, 0 if their values are
5845  * equivalent, or > 0 if the substring is ordered after @a
5846  * __str. Determines the effective length rlen of the strings
5847  * to compare as the smallest of the length of the substring
5848  * and @a __str.size(). The function then compares the two
5849  * strings by calling
5850  * traits::compare(substring.data(),str.data(),rlen). If the
5851  * result of the comparison is nonzero returns it, otherwise
5852  * the shorter one is ordered first.
5853  */
5854  int
5855  compare(size_type __pos, size_type __n, const basic_string& __str) const;
5856 
5857  /**
5858  * @brief Compare substring to a substring.
5859  * @param __pos1 Index of first character of substring.
5860  * @param __n1 Number of characters in substring.
5861  * @param __str String to compare against.
5862  * @param __pos2 Index of first character of substring of str.
5863  * @param __n2 Number of characters in substring of str.
5864  * @return Integer < 0, 0, or > 0.
5865  *
5866  * Form the substring of this string from the @a __n1
5867  * characters starting at @a __pos1. Form the substring of @a
5868  * __str from the @a __n2 characters starting at @a __pos2.
5869  * Returns an integer < 0 if this substring is ordered before
5870  * the substring of @a __str, 0 if their values are equivalent,
5871  * or > 0 if this substring is ordered after the substring of
5872  * @a __str. Determines the effective length rlen of the
5873  * strings to compare as the smallest of the lengths of the
5874  * substrings. The function then compares the two strings by
5875  * calling
5876  * traits::compare(substring.data(),str.substr(pos2,n2).data(),rlen).
5877  * If the result of the comparison is nonzero returns it,
5878  * otherwise the shorter one is ordered first.
5879  */
5880  int
5881  compare(size_type __pos1, size_type __n1, const basic_string& __str,
5882  size_type __pos2, size_type __n2 = npos) const;
5883 
5884  /**
5885  * @brief Compare to a C string.
5886  * @param __s C string to compare against.
5887  * @return Integer < 0, 0, or > 0.
5888  *
5889  * Returns an integer < 0 if this string is ordered before @a __s, 0 if
5890  * their values are equivalent, or > 0 if this string is ordered after
5891  * @a __s. Determines the effective length rlen of the strings to
5892  * compare as the smallest of size() and the length of a string
5893  * constructed from @a __s. The function then compares the two strings
5894  * by calling traits::compare(data(),s,rlen). If the result of the
5895  * comparison is nonzero returns it, otherwise the shorter one is
5896  * ordered first.
5897  */
5898  int
5899  compare(const _CharT* __s) const _GLIBCXX_NOEXCEPT;
5900 
5901  // _GLIBCXX_RESOLVE_LIB_DEFECTS
5902  // 5 String::compare specification questionable
5903  /**
5904  * @brief Compare substring to a C string.
5905  * @param __pos Index of first character of substring.
5906  * @param __n1 Number of characters in substring.
5907  * @param __s C string to compare against.
5908  * @return Integer < 0, 0, or > 0.
5909  *
5910  * Form the substring of this string from the @a __n1
5911  * characters starting at @a pos. Returns an integer < 0 if
5912  * the substring is ordered before @a __s, 0 if their values
5913  * are equivalent, or > 0 if the substring is ordered after @a
5914  * __s. Determines the effective length rlen of the strings to
5915  * compare as the smallest of the length of the substring and
5916  * the length of a string constructed from @a __s. The
5917  * function then compares the two string by calling
5918  * traits::compare(substring.data(),__s,rlen). If the result of
5919  * the comparison is nonzero returns it, otherwise the shorter
5920  * one is ordered first.
5921  */
5922  int
5923  compare(size_type __pos, size_type __n1, const _CharT* __s) const;
5924 
5925  /**
5926  * @brief Compare substring against a character %array.
5927  * @param __pos Index of first character of substring.
5928  * @param __n1 Number of characters in substring.
5929  * @param __s character %array to compare against.
5930  * @param __n2 Number of characters of s.
5931  * @return Integer < 0, 0, or > 0.
5932  *
5933  * Form the substring of this string from the @a __n1
5934  * characters starting at @a __pos. Form a string from the
5935  * first @a __n2 characters of @a __s. Returns an integer < 0
5936  * if this substring is ordered before the string from @a __s,
5937  * 0 if their values are equivalent, or > 0 if this substring
5938  * is ordered after the string from @a __s. Determines the
5939  * effective length rlen of the strings to compare as the
5940  * smallest of the length of the substring and @a __n2. The
5941  * function then compares the two strings by calling
5942  * traits::compare(substring.data(),s,rlen). If the result of
5943  * the comparison is nonzero returns it, otherwise the shorter
5944  * one is ordered first.
5945  *
5946  * NB: s must have at least n2 characters, &apos;\\0&apos; has
5947  * no special meaning.
5948  */
5949  int
5950  compare(size_type __pos, size_type __n1, const _CharT* __s,
5951  size_type __n2) const;
5952 
5953 #if __cplusplus > 201703L
5954  bool
5955  starts_with(basic_string_view<_CharT, _Traits> __x) const noexcept
5956  { return __sv_type(this->data(), this->size()).starts_with(__x); }
5957 
5958  bool
5959  starts_with(_CharT __x) const noexcept
5960  { return __sv_type(this->data(), this->size()).starts_with(__x); }
5961 
5962  bool
5963  starts_with(const _CharT* __x) const noexcept
5964  { return __sv_type(this->data(), this->size()).starts_with(__x); }
5965 
5966  bool
5967  ends_with(basic_string_view<_CharT, _Traits> __x) const noexcept
5968  { return __sv_type(this->data(), this->size()).ends_with(__x); }
5969 
5970  bool
5971  ends_with(_CharT __x) const noexcept
5972  { return __sv_type(this->data(), this->size()).ends_with(__x); }
5973 
5974  bool
5975  ends_with(const _CharT* __x) const noexcept
5976  { return __sv_type(this->data(), this->size()).ends_with(__x); }
5977 #endif // C++20
5978 
5979 # ifdef _GLIBCXX_TM_TS_INTERNAL
5980  friend void
5981  ::_txnal_cow_string_C1_for_exceptions(void* that, const char* s,
5982  void* exc);
5983  friend const char*
5984  ::_txnal_cow_string_c_str(const void *that);
5985  friend void
5986  ::_txnal_cow_string_D1(void *that);
5987  friend void
5988  ::_txnal_cow_string_D1_commit(void *that);
5989 # endif
5990  };
5991 #endif // !_GLIBCXX_USE_CXX11_ABI
5992 
5993 #if __cpp_deduction_guides >= 201606
5994 _GLIBCXX_BEGIN_NAMESPACE_CXX11
5995  template<typename _InputIterator, typename _CharT
5996  = typename iterator_traits<_InputIterator>::value_type,
5997  typename _Allocator = allocator<_CharT>,
5998  typename = _RequireInputIter<_InputIterator>,
5999  typename = _RequireAllocator<_Allocator>>
6000  basic_string(_InputIterator, _InputIterator, _Allocator = _Allocator())
6001  -> basic_string<_CharT, char_traits<_CharT>, _Allocator>;
6002 
6003  // _GLIBCXX_RESOLVE_LIB_DEFECTS
6004  // 3075. basic_string needs deduction guides from basic_string_view
6005  template<typename _CharT, typename _Traits,
6006  typename _Allocator = allocator<_CharT>,
6007  typename = _RequireAllocator<_Allocator>>
6008  basic_string(basic_string_view<_CharT, _Traits>, const _Allocator& = _Allocator())
6009  -> basic_string<_CharT, _Traits, _Allocator>;
6010 
6011  template<typename _CharT, typename _Traits,
6012  typename _Allocator = allocator<_CharT>,
6013  typename = _RequireAllocator<_Allocator>>
6014  basic_string(basic_string_view<_CharT, _Traits>,
6015  typename basic_string<_CharT, _Traits, _Allocator>::size_type,
6016  typename basic_string<_CharT, _Traits, _Allocator>::size_type,
6017  const _Allocator& = _Allocator())
6018  -> basic_string<_CharT, _Traits, _Allocator>;
6019 _GLIBCXX_END_NAMESPACE_CXX11
6020 #endif
6021 
6022  // operator+
6023  /**
6024  * @brief Concatenate two strings.
6025  * @param __lhs First string.
6026  * @param __rhs Last string.
6027  * @return New string with value of @a __lhs followed by @a __rhs.
6028  */
6029  template<typename _CharT, typename _Traits, typename _Alloc>
6030  basic_string<_CharT, _Traits, _Alloc>
6033  {
6035  __str.append(__rhs);
6036  return __str;
6037  }
6038 
6039  /**
6040  * @brief Concatenate C string and string.
6041  * @param __lhs First string.
6042  * @param __rhs Last string.
6043  * @return New string with value of @a __lhs followed by @a __rhs.
6044  */
6045  template<typename _CharT, typename _Traits, typename _Alloc>
6046  basic_string<_CharT,_Traits,_Alloc>
6047  operator+(const _CharT* __lhs,
6048  const basic_string<_CharT,_Traits,_Alloc>& __rhs);
6049 
6050  /**
6051  * @brief Concatenate character and string.
6052  * @param __lhs First string.
6053  * @param __rhs Last string.
6054  * @return New string with @a __lhs followed by @a __rhs.
6055  */
6056  template<typename _CharT, typename _Traits, typename _Alloc>
6057  basic_string<_CharT,_Traits,_Alloc>
6058  operator+(_CharT __lhs, const basic_string<_CharT,_Traits,_Alloc>& __rhs);
6059 
6060  /**
6061  * @brief Concatenate string and C string.
6062  * @param __lhs First string.
6063  * @param __rhs Last string.
6064  * @return New string with @a __lhs followed by @a __rhs.
6065  */
6066  template<typename _CharT, typename _Traits, typename _Alloc>
6067  inline basic_string<_CharT, _Traits, _Alloc>
6069  const _CharT* __rhs)
6070  {
6072  __str.append(__rhs);
6073  return __str;
6074  }
6075 
6076  /**
6077  * @brief Concatenate string and character.
6078  * @param __lhs First string.
6079  * @param __rhs Last string.
6080  * @return New string with @a __lhs followed by @a __rhs.
6081  */
6082  template<typename _CharT, typename _Traits, typename _Alloc>
6083  inline basic_string<_CharT, _Traits, _Alloc>
6085  {
6086  typedef basic_string<_CharT, _Traits, _Alloc> __string_type;
6087  typedef typename __string_type::size_type __size_type;
6088  __string_type __str(__lhs);
6089  __str.append(__size_type(1), __rhs);
6090  return __str;
6091  }
6092 
6093 #if __cplusplus >= 201103L
6094  template<typename _CharT, typename _Traits, typename _Alloc>
6095  inline basic_string<_CharT, _Traits, _Alloc>
6096  operator+(basic_string<_CharT, _Traits, _Alloc>&& __lhs,
6097  const basic_string<_CharT, _Traits, _Alloc>& __rhs)
6098  { return std::move(__lhs.append(__rhs)); }
6099 
6100  template<typename _CharT, typename _Traits, typename _Alloc>
6101  inline basic_string<_CharT, _Traits, _Alloc>
6102  operator+(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
6103  basic_string<_CharT, _Traits, _Alloc>&& __rhs)
6104  { return std::move(__rhs.insert(0, __lhs)); }
6105 
6106  template<typename _CharT, typename _Traits, typename _Alloc>
6107  inline basic_string<_CharT, _Traits, _Alloc>
6108  operator+(basic_string<_CharT, _Traits, _Alloc>&& __lhs,
6109  basic_string<_CharT, _Traits, _Alloc>&& __rhs)
6110  {
6111 #if _GLIBCXX_USE_CXX11_ABI
6112  using _Alloc_traits = allocator_traits<_Alloc>;
6113  bool __use_rhs = false;
6114  if _GLIBCXX17_CONSTEXPR (typename _Alloc_traits::is_always_equal{})
6115  __use_rhs = true;
6116  else if (__lhs.get_allocator() == __rhs.get_allocator())
6117  __use_rhs = true;
6118  if (__use_rhs)
6119 #endif
6120  {
6121  const auto __size = __lhs.size() + __rhs.size();
6122  if (__size > __lhs.capacity() && __size <= __rhs.capacity())
6123  return std::move(__rhs.insert(0, __lhs));
6124  }
6125  return std::move(__lhs.append(__rhs));
6126  }
6127 
6128  template<typename _CharT, typename _Traits, typename _Alloc>
6129  inline basic_string<_CharT, _Traits, _Alloc>
6130  operator+(const _CharT* __lhs,
6131  basic_string<_CharT, _Traits, _Alloc>&& __rhs)
6132  { return std::move(__rhs.insert(0, __lhs)); }
6133 
6134  template<typename _CharT, typename _Traits, typename _Alloc>
6135  inline basic_string<_CharT, _Traits, _Alloc>
6136  operator+(_CharT __lhs,
6137  basic_string<_CharT, _Traits, _Alloc>&& __rhs)
6138  { return std::move(__rhs.insert(0, 1, __lhs)); }
6139 
6140  template<typename _CharT, typename _Traits, typename _Alloc>
6141  inline basic_string<_CharT, _Traits, _Alloc>
6142  operator+(basic_string<_CharT, _Traits, _Alloc>&& __lhs,
6143  const _CharT* __rhs)
6144  { return std::move(__lhs.append(__rhs)); }
6145 
6146  template<typename _CharT, typename _Traits, typename _Alloc>
6147  inline basic_string<_CharT, _Traits, _Alloc>
6148  operator+(basic_string<_CharT, _Traits, _Alloc>&& __lhs,
6149  _CharT __rhs)
6150  { return std::move(__lhs.append(1, __rhs)); }
6151 #endif
6152 
6153  // operator ==
6154  /**
6155  * @brief Test equivalence of two strings.
6156  * @param __lhs First string.
6157  * @param __rhs Second string.
6158  * @return True if @a __lhs.compare(@a __rhs) == 0. False otherwise.
6159  */
6160  template<typename _CharT, typename _Traits, typename _Alloc>
6161  inline bool
6162  operator==(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
6164  _GLIBCXX_NOEXCEPT
6165  { return __lhs.compare(__rhs) == 0; }
6166 
6167  template<typename _CharT>
6168  inline
6169  typename __gnu_cxx::__enable_if<__is_char<_CharT>::__value, bool>::__type
6170  operator==(const basic_string<_CharT>& __lhs,
6171  const basic_string<_CharT>& __rhs) _GLIBCXX_NOEXCEPT
6172  { return (__lhs.size() == __rhs.size()
6173  && !std::char_traits<_CharT>::compare(__lhs.data(), __rhs.data(),
6174  __lhs.size())); }
6175 
6176  /**
6177  * @brief Test equivalence of string and C string.
6178  * @param __lhs String.
6179  * @param __rhs C string.
6180  * @return True if @a __lhs.compare(@a __rhs) == 0. False otherwise.
6181  */
6182  template<typename _CharT, typename _Traits, typename _Alloc>
6183  inline bool
6184  operator==(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
6185  const _CharT* __rhs)
6186  { return __lhs.compare(__rhs) == 0; }
6187 
6188 #if __cpp_lib_three_way_comparison
6189  /**
6190  * @brief Three-way comparison of a string and a C string.
6191  * @param __lhs A string.
6192  * @param __rhs A null-terminated string.
6193  * @return A value indicating whether `__lhs` is less than, equal to,
6194  * greater than, or incomparable with `__rhs`.
6195  */
6196  template<typename _CharT, typename _Traits, typename _Alloc>
6197  inline auto
6198  operator<=>(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
6199  const basic_string<_CharT, _Traits, _Alloc>& __rhs) noexcept
6200  -> decltype(__detail::__char_traits_cmp_cat<_Traits>(0))
6201  { return __detail::__char_traits_cmp_cat<_Traits>(__lhs.compare(__rhs)); }
6202 
6203  /**
6204  * @brief Three-way comparison of a string and a C string.
6205  * @param __lhs A string.
6206  * @param __rhs A null-terminated string.
6207  * @return A value indicating whether `__lhs` is less than, equal to,
6208  * greater than, or incomparable with `__rhs`.
6209  */
6210  template<typename _CharT, typename _Traits, typename _Alloc>
6211  inline auto
6212  operator<=>(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
6213  const _CharT* __rhs) noexcept
6214  -> decltype(__detail::__char_traits_cmp_cat<_Traits>(0))
6215  { return __detail::__char_traits_cmp_cat<_Traits>(__lhs.compare(__rhs)); }
6216 #else
6217  /**
6218  * @brief Test equivalence of C string and string.
6219  * @param __lhs C string.
6220  * @param __rhs String.
6221  * @return True if @a __rhs.compare(@a __lhs) == 0. False otherwise.
6222  */
6223  template<typename _CharT, typename _Traits, typename _Alloc>
6224  inline bool
6225  operator==(const _CharT* __lhs,
6227  { return __rhs.compare(__lhs) == 0; }
6228 
6229  // operator !=
6230  /**
6231  * @brief Test difference of two strings.
6232  * @param __lhs First string.
6233  * @param __rhs Second string.
6234  * @return True if @a __lhs.compare(@a __rhs) != 0. False otherwise.
6235  */
6236  template<typename _CharT, typename _Traits, typename _Alloc>
6237  inline bool
6238  operator!=(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
6240  _GLIBCXX_NOEXCEPT
6241  { return !(__lhs == __rhs); }
6242 
6243  /**
6244  * @brief Test difference of C string and string.
6245  * @param __lhs C string.
6246  * @param __rhs String.
6247  * @return True if @a __rhs.compare(@a __lhs) != 0. False otherwise.
6248  */
6249  template<typename _CharT, typename _Traits, typename _Alloc>
6250  inline bool
6251  operator!=(const _CharT* __lhs,
6253  { return !(__lhs == __rhs); }
6254 
6255  /**
6256  * @brief Test difference of string and C string.
6257  * @param __lhs String.
6258  * @param __rhs C string.
6259  * @return True if @a __lhs.compare(@a __rhs) != 0. False otherwise.
6260  */
6261  template<typename _CharT, typename _Traits, typename _Alloc>
6262  inline bool
6263  operator!=(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
6264  const _CharT* __rhs)
6265  { return !(__lhs == __rhs); }
6266 
6267  // operator <
6268  /**
6269  * @brief Test if string precedes string.
6270  * @param __lhs First string.
6271  * @param __rhs Second string.
6272  * @return True if @a __lhs precedes @a __rhs. False otherwise.
6273  */
6274  template<typename _CharT, typename _Traits, typename _Alloc>
6275  inline bool
6276  operator<(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
6278  _GLIBCXX_NOEXCEPT
6279  { return __lhs.compare(__rhs) < 0; }
6280 
6281  /**
6282  * @brief Test if string precedes C string.
6283  * @param __lhs String.
6284  * @param __rhs C string.
6285  * @return True if @a __lhs precedes @a __rhs. False otherwise.
6286  */
6287  template<typename _CharT, typename _Traits, typename _Alloc>
6288  inline bool
6289  operator<(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
6290  const _CharT* __rhs)
6291  { return __lhs.compare(__rhs) < 0; }
6292 
6293  /**
6294  * @brief Test if C string precedes string.
6295  * @param __lhs C string.
6296  * @param __rhs String.
6297  * @return True if @a __lhs precedes @a __rhs. False otherwise.
6298  */
6299  template<typename _CharT, typename _Traits, typename _Alloc>
6300  inline bool
6301  operator<(const _CharT* __lhs,
6303  { return __rhs.compare(__lhs) > 0; }
6304 
6305  // operator >
6306  /**
6307  * @brief Test if string follows string.
6308  * @param __lhs First string.
6309  * @param __rhs Second string.
6310  * @return True if @a __lhs follows @a __rhs. False otherwise.
6311  */
6312  template<typename _CharT, typename _Traits, typename _Alloc>
6313  inline bool
6316  _GLIBCXX_NOEXCEPT
6317  { return __lhs.compare(__rhs) > 0; }
6318 
6319  /**
6320  * @brief Test if string follows C string.
6321  * @param __lhs String.
6322  * @param __rhs C string.
6323  * @return True if @a __lhs follows @a __rhs. False otherwise.
6324  */
6325  template<typename _CharT, typename _Traits, typename _Alloc>
6326  inline bool
6328  const _CharT* __rhs)
6329  { return __lhs.compare(__rhs) > 0; }
6330 
6331  /**
6332  * @brief Test if C string follows string.
6333  * @param __lhs C string.
6334  * @param __rhs String.
6335  * @return True if @a __lhs follows @a __rhs. False otherwise.
6336  */
6337  template<typename _CharT, typename _Traits, typename _Alloc>
6338  inline bool
6339  operator>(const _CharT* __lhs,
6341  { return __rhs.compare(__lhs) < 0; }
6342 
6343  // operator <=
6344  /**
6345  * @brief Test if string doesn't follow string.
6346  * @param __lhs First string.
6347  * @param __rhs Second string.
6348  * @return True if @a __lhs doesn't follow @a __rhs. False otherwise.
6349  */
6350  template<typename _CharT, typename _Traits, typename _Alloc>
6351  inline bool
6352  operator<=(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
6354  _GLIBCXX_NOEXCEPT
6355  { return __lhs.compare(__rhs) <= 0; }
6356 
6357  /**
6358  * @brief Test if string doesn't follow C string.
6359  * @param __lhs String.
6360  * @param __rhs C string.
6361  * @return True if @a __lhs doesn't follow @a __rhs. False otherwise.
6362  */
6363  template<typename _CharT, typename _Traits, typename _Alloc>
6364  inline bool
6365  operator<=(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
6366  const _CharT* __rhs)
6367  { return __lhs.compare(__rhs) <= 0; }
6368 
6369  /**
6370  * @brief Test if C string doesn't follow string.
6371  * @param __lhs C string.
6372  * @param __rhs String.
6373  * @return True if @a __lhs doesn't follow @a __rhs. False otherwise.
6374  */
6375  template<typename _CharT, typename _Traits, typename _Alloc>
6376  inline bool
6377  operator<=(const _CharT* __lhs,
6379  { return __rhs.compare(__lhs) >= 0; }
6380 
6381  // operator >=
6382  /**
6383  * @brief Test if string doesn't precede string.
6384  * @param __lhs First string.
6385  * @param __rhs Second string.
6386  * @return True if @a __lhs doesn't precede @a __rhs. False otherwise.
6387  */
6388  template<typename _CharT, typename _Traits, typename _Alloc>
6389  inline bool
6390  operator>=(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
6392  _GLIBCXX_NOEXCEPT
6393  { return __lhs.compare(__rhs) >= 0; }
6394 
6395  /**
6396  * @brief Test if string doesn't precede C string.
6397  * @param __lhs String.
6398  * @param __rhs C string.
6399  * @return True if @a __lhs doesn't precede @a __rhs. False otherwise.
6400  */
6401  template<typename _CharT, typename _Traits, typename _Alloc>
6402  inline bool
6403  operator>=(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
6404  const _CharT* __rhs)
6405  { return __lhs.compare(__rhs) >= 0; }
6406 
6407  /**
6408  * @brief Test if C string doesn't precede string.
6409  * @param __lhs C string.
6410  * @param __rhs String.
6411  * @return True if @a __lhs doesn't precede @a __rhs. False otherwise.
6412  */
6413  template<typename _CharT, typename _Traits, typename _Alloc>
6414  inline bool
6415  operator>=(const _CharT* __lhs,
6417  { return __rhs.compare(__lhs) <= 0; }
6418 #endif // three-way comparison
6419 
6420  /**
6421  * @brief Swap contents of two strings.
6422  * @param __lhs First string.
6423  * @param __rhs Second string.
6424  *
6425  * Exchanges the contents of @a __lhs and @a __rhs in constant time.
6426  */
6427  template<typename _CharT, typename _Traits, typename _Alloc>
6428  inline void
6431  _GLIBCXX_NOEXCEPT_IF(noexcept(__lhs.swap(__rhs)))
6432  { __lhs.swap(__rhs); }
6433 
6434 
6435  /**
6436  * @brief Read stream into a string.
6437  * @param __is Input stream.
6438  * @param __str Buffer to store into.
6439  * @return Reference to the input stream.
6440  *
6441  * Stores characters from @a __is into @a __str until whitespace is
6442  * found, the end of the stream is encountered, or str.max_size()
6443  * is reached. If is.width() is non-zero, that is the limit on the
6444  * number of characters stored into @a __str. Any previous
6445  * contents of @a __str are erased.
6446  */
6447  template<typename _CharT, typename _Traits, typename _Alloc>
6448  basic_istream<_CharT, _Traits>&
6449  operator>>(basic_istream<_CharT, _Traits>& __is,
6450  basic_string<_CharT, _Traits, _Alloc>& __str);
6451 
6452  template<>
6453  basic_istream<char>&
6455 
6456  /**
6457  * @brief Write string to a stream.
6458  * @param __os Output stream.
6459  * @param __str String to write out.
6460  * @return Reference to the output stream.
6461  *
6462  * Output characters of @a __str into os following the same rules as for
6463  * writing a C string.
6464  */
6465  template<typename _CharT, typename _Traits, typename _Alloc>
6469  {
6470  // _GLIBCXX_RESOLVE_LIB_DEFECTS
6471  // 586. string inserter not a formatted function
6472  return __ostream_insert(__os, __str.data(), __str.size());
6473  }
6474 
6475  /**
6476  * @brief Read a line from stream into a string.
6477  * @param __is Input stream.
6478  * @param __str Buffer to store into.
6479  * @param __delim Character marking end of line.
6480  * @return Reference to the input stream.
6481  *
6482  * Stores characters from @a __is into @a __str until @a __delim is
6483  * found, the end of the stream is encountered, or str.max_size()
6484  * is reached. Any previous contents of @a __str are erased. If
6485  * @a __delim is encountered, it is extracted but not stored into
6486  * @a __str.
6487  */
6488  template<typename _CharT, typename _Traits, typename _Alloc>
6489  basic_istream<_CharT, _Traits>&
6490  getline(basic_istream<_CharT, _Traits>& __is,
6491  basic_string<_CharT, _Traits, _Alloc>& __str, _CharT __delim);
6492 
6493  /**
6494  * @brief Read a line from stream into a string.
6495  * @param __is Input stream.
6496  * @param __str Buffer to store into.
6497  * @return Reference to the input stream.
6498  *
6499  * Stores characters from is into @a __str until &apos;\n&apos; is
6500  * found, the end of the stream is encountered, or str.max_size()
6501  * is reached. Any previous contents of @a __str are erased. If
6502  * end of line is encountered, it is extracted but not stored into
6503  * @a __str.
6504  */
6505  template<typename _CharT, typename _Traits, typename _Alloc>
6506  inline basic_istream<_CharT, _Traits>&
6509  { return std::getline(__is, __str, __is.widen('\n')); }
6510 
6511 #if __cplusplus >= 201103L
6512  /// Read a line from an rvalue stream into a string.
6513  template<typename _CharT, typename _Traits, typename _Alloc>
6514  inline basic_istream<_CharT, _Traits>&
6516  basic_string<_CharT, _Traits, _Alloc>& __str, _CharT __delim)
6517  { return std::getline(__is, __str, __delim); }
6518 
6519  /// Read a line from an rvalue stream into a string.
6520  template<typename _CharT, typename _Traits, typename _Alloc>
6521  inline basic_istream<_CharT, _Traits>&
6524  { return std::getline(__is, __str); }
6525 #endif
6526 
6527  template<>
6528  basic_istream<char>&
6529  getline(basic_istream<char>& __in, basic_string<char>& __str,
6530  char __delim);
6531 
6532 #ifdef _GLIBCXX_USE_WCHAR_T
6533  template<>
6534  basic_istream<wchar_t>&
6535  getline(basic_istream<wchar_t>& __in, basic_string<wchar_t>& __str,
6536  wchar_t __delim);
6537 #endif
6538 
6539 _GLIBCXX_END_NAMESPACE_VERSION
6540 } // namespace
6541 
6542 #if __cplusplus >= 201103L
6543 
6544 #include <ext/string_conversions.h>
6545 #include <bits/charconv.h>
6546 
6547 namespace std _GLIBCXX_VISIBILITY(default)
6548 {
6549 _GLIBCXX_BEGIN_NAMESPACE_VERSION
6550 _GLIBCXX_BEGIN_NAMESPACE_CXX11
6551 
6552 #if _GLIBCXX_USE_C99_STDLIB
6553  // 21.4 Numeric Conversions [string.conversions].
6554  inline int
6555  stoi(const string& __str, size_t* __idx = 0, int __base = 10)
6556  { return __gnu_cxx::__stoa<long, int>(&std::strtol, "stoi", __str.c_str(),
6557  __idx, __base); }
6558 
6559  inline long
6560  stol(const string& __str, size_t* __idx = 0, int __base = 10)
6561  { return __gnu_cxx::__stoa(&std::strtol, "stol", __str.c_str(),
6562  __idx, __base); }
6563 
6564  inline unsigned long
6565  stoul(const string& __str, size_t* __idx = 0, int __base = 10)
6566  { return __gnu_cxx::__stoa(&std::strtoul, "stoul", __str.c_str(),
6567  __idx, __base); }
6568 
6569  inline long long
6570  stoll(const string& __str, size_t* __idx = 0, int __base = 10)
6571  { return __gnu_cxx::__stoa(&std::strtoll, "stoll", __str.c_str(),
6572  __idx, __base); }
6573 
6574  inline unsigned long long
6575  stoull(const string& __str, size_t* __idx = 0, int __base = 10)
6576  { return __gnu_cxx::__stoa(&std::strtoull, "stoull", __str.c_str(),
6577  __idx, __base); }
6578 
6579  // NB: strtof vs strtod.
6580  inline float
6581  stof(const string& __str, size_t* __idx = 0)
6582  { return __gnu_cxx::__stoa(&std::strtof, "stof", __str.c_str(), __idx); }
6583 
6584  inline double
6585  stod(const string& __str, size_t* __idx = 0)
6586  { return __gnu_cxx::__stoa(&std::strtod, "stod", __str.c_str(), __idx); }
6587 
6588  inline long double
6589  stold(const string& __str, size_t* __idx = 0)
6590  { return __gnu_cxx::__stoa(&std::strtold, "stold", __str.c_str(), __idx); }
6591 #endif // _GLIBCXX_USE_C99_STDLIB
6592 
6593  // DR 1261. Insufficent overloads for to_string / to_wstring
6594 
6595  inline string
6596  to_string(int __val)
6597  {
6598  const bool __neg = __val < 0;
6599  const unsigned __uval = __neg ? (unsigned)~__val + 1u : __val;
6600  const auto __len = __detail::__to_chars_len(__uval);
6601  string __str(__neg + __len, '-');
6602  __detail::__to_chars_10_impl(&__str[__neg], __len, __uval);
6603  return __str;
6604  }
6605 
6606  inline string
6607  to_string(unsigned __val)
6608  {
6609  string __str(__detail::__to_chars_len(__val), '\0');
6610  __detail::__to_chars_10_impl(&__str[0], __str.size(), __val);
6611  return __str;
6612  }
6613 
6614  inline string
6615  to_string(long __val)
6616  {
6617  const bool __neg = __val < 0;
6618  const unsigned long __uval = __neg ? (unsigned long)~__val + 1ul : __val;
6619  const auto __len = __detail::__to_chars_len(__uval);
6620  string __str(__neg + __len, '-');
6621  __detail::__to_chars_10_impl(&__str[__neg], __len, __uval);
6622  return __str;
6623  }
6624 
6625  inline string
6626  to_string(unsigned long __val)
6627  {
6628  string __str(__detail::__to_chars_len(__val), '\0');
6629  __detail::__to_chars_10_impl(&__str[0], __str.size(), __val);
6630  return __str;
6631  }
6632 
6633  inline string
6634  to_string(long long __val)
6635  {
6636  const bool __neg = __val < 0;
6637  const unsigned long long __uval
6638  = __neg ? (unsigned long long)~__val + 1ull : __val;
6639  const auto __len = __detail::__to_chars_len(__uval);
6640  string __str(__neg + __len, '-');
6641  __detail::__to_chars_10_impl(&__str[__neg], __len, __uval);
6642  return __str;
6643  }
6644 
6645  inline string
6646  to_string(unsigned long long __val)
6647  {
6648  string __str(__detail::__to_chars_len(__val), '\0');
6649  __detail::__to_chars_10_impl(&__str[0], __str.size(), __val);
6650  return __str;
6651  }
6652 
6653 #if _GLIBCXX_USE_C99_STDIO
6654  // NB: (v)snprintf vs sprintf.
6655 
6656  inline string
6657  to_string(float __val)
6658  {
6659  const int __n =
6660  __gnu_cxx::__numeric_traits<float>::__max_exponent10 + 20;
6661  return __gnu_cxx::__to_xstring<string>(&std::vsnprintf, __n,
6662  "%f", __val);
6663  }
6664 
6665  inline string
6666  to_string(double __val)
6667  {
6668  const int __n =
6669  __gnu_cxx::__numeric_traits<double>::__max_exponent10 + 20;
6670  return __gnu_cxx::__to_xstring<string>(&std::vsnprintf, __n,
6671  "%f", __val);
6672  }
6673 
6674  inline string
6675  to_string(long double __val)
6676  {
6677  const int __n =
6678  __gnu_cxx::__numeric_traits<long double>::__max_exponent10 + 20;
6679  return __gnu_cxx::__to_xstring<string>(&std::vsnprintf, __n,
6680  "%Lf", __val);
6681  }
6682 #endif // _GLIBCXX_USE_C99_STDIO
6683 
6684 #if defined(_GLIBCXX_USE_WCHAR_T) && _GLIBCXX_USE_C99_WCHAR
6685  inline int
6686  stoi(const wstring& __str, size_t* __idx = 0, int __base = 10)
6687  { return __gnu_cxx::__stoa<long, int>(&std::wcstol, "stoi", __str.c_str(),
6688  __idx, __base); }
6689 
6690  inline long
6691  stol(const wstring& __str, size_t* __idx = 0, int __base = 10)
6692  { return __gnu_cxx::__stoa(&std::wcstol, "stol", __str.c_str(),
6693  __idx, __base); }
6694 
6695  inline unsigned long
6696  stoul(const wstring& __str, size_t* __idx = 0, int __base = 10)
6697  { return __gnu_cxx::__stoa(&std::wcstoul, "stoul", __str.c_str(),
6698  __idx, __base); }
6699 
6700  inline long long
6701  stoll(const wstring& __str, size_t* __idx = 0, int __base = 10)
6702  { return __gnu_cxx::__stoa(&std::wcstoll, "stoll", __str.c_str(),
6703  __idx, __base); }
6704 
6705  inline unsigned long long
6706  stoull(const wstring& __str, size_t* __idx = 0, int __base = 10)
6707  { return __gnu_cxx::__stoa(&std::wcstoull, "stoull", __str.c_str(),
6708  __idx, __base); }
6709 
6710  // NB: wcstof vs wcstod.
6711  inline float
6712  stof(const wstring& __str, size_t* __idx = 0)
6713  { return __gnu_cxx::__stoa(&std::wcstof, "stof", __str.c_str(), __idx); }
6714 
6715  inline double
6716  stod(const wstring& __str, size_t* __idx = 0)
6717  { return __gnu_cxx::__stoa(&std::wcstod, "stod", __str.c_str(), __idx); }
6718 
6719  inline long double
6720  stold(const wstring& __str, size_t* __idx = 0)
6721  { return __gnu_cxx::__stoa(&std::wcstold, "stold", __str.c_str(), __idx); }
6722 
6723 #ifndef _GLIBCXX_HAVE_BROKEN_VSWPRINTF
6724  // DR 1261.
6725  inline wstring
6726  to_wstring(int __val)
6727  { return __gnu_cxx::__to_xstring<wstring>(&std::vswprintf, 4 * sizeof(int),
6728  L"%d", __val); }
6729 
6730  inline wstring
6731  to_wstring(unsigned __val)
6732  { return __gnu_cxx::__to_xstring<wstring>(&std::vswprintf,
6733  4 * sizeof(unsigned),
6734  L"%u", __val); }
6735 
6736  inline wstring
6737  to_wstring(long __val)
6738  { return __gnu_cxx::__to_xstring<wstring>(&std::vswprintf, 4 * sizeof(long),
6739  L"%ld", __val); }
6740 
6741  inline wstring
6742  to_wstring(unsigned long __val)
6743  { return __gnu_cxx::__to_xstring<wstring>(&std::vswprintf,
6744  4 * sizeof(unsigned long),
6745  L"%lu", __val); }
6746 
6747  inline wstring
6748  to_wstring(long long __val)
6749  { return __gnu_cxx::__to_xstring<wstring>(&std::vswprintf,
6750  4 * sizeof(long long),
6751  L"%lld", __val); }
6752 
6753  inline wstring
6754  to_wstring(unsigned long long __val)
6755  { return __gnu_cxx::__to_xstring<wstring>(&std::vswprintf,
6756  4 * sizeof(unsigned long long),
6757  L"%llu", __val); }
6758 
6759  inline wstring
6760  to_wstring(float __val)
6761  {
6762  const int __n =
6763  __gnu_cxx::__numeric_traits<float>::__max_exponent10 + 20;
6764  return __gnu_cxx::__to_xstring<wstring>(&std::vswprintf, __n,
6765  L"%f", __val);
6766  }
6767 
6768  inline wstring
6769  to_wstring(double __val)
6770  {
6771  const int __n =
6772  __gnu_cxx::__numeric_traits<double>::__max_exponent10 + 20;
6773  return __gnu_cxx::__to_xstring<wstring>(&std::vswprintf, __n,
6774  L"%f", __val);
6775  }
6776 
6777  inline wstring
6778  to_wstring(long double __val)
6779  {
6780  const int __n =
6781  __gnu_cxx::__numeric_traits<long double>::__max_exponent10 + 20;
6782  return __gnu_cxx::__to_xstring<wstring>(&std::vswprintf, __n,
6783  L"%Lf", __val);
6784  }
6785 #endif // _GLIBCXX_HAVE_BROKEN_VSWPRINTF
6786 #endif // _GLIBCXX_USE_WCHAR_T && _GLIBCXX_USE_C99_WCHAR
6787 
6788 _GLIBCXX_END_NAMESPACE_CXX11
6789 _GLIBCXX_END_NAMESPACE_VERSION
6790 } // namespace
6791 
6792 #endif /* C++11 */
6793 
6794 #if __cplusplus >= 201103L
6795 
6796 #include <bits/functional_hash.h>
6797 
6798 namespace std _GLIBCXX_VISIBILITY(default)
6799 {
6800 _GLIBCXX_BEGIN_NAMESPACE_VERSION
6801 
6802  // DR 1182.
6803 
6804 #ifndef _GLIBCXX_COMPATIBILITY_CXX0X
6805  /// std::hash specialization for string.
6806  template<>
6807  struct hash<string>
6808  : public __hash_base<size_t, string>
6809  {
6810  size_t
6811  operator()(const string& __s) const noexcept
6812  { return std::_Hash_impl::hash(__s.data(), __s.length()); }
6813  };
6814 
6815  template<>
6816  struct __is_fast_hash<hash<string>> : std::false_type
6817  { };
6818 
6819 #ifdef _GLIBCXX_USE_WCHAR_T
6820  /// std::hash specialization for wstring.
6821  template<>
6822  struct hash<wstring>
6823  : public __hash_base<size_t, wstring>
6824  {
6825  size_t
6826  operator()(const wstring& __s) const noexcept
6827  { return std::_Hash_impl::hash(__s.data(),
6828  __s.length() * sizeof(wchar_t)); }
6829  };
6830 
6831  template<>
6832  struct __is_fast_hash<hash<wstring>> : std::false_type
6833  { };
6834 #endif
6835 #endif /* _GLIBCXX_COMPATIBILITY_CXX0X */
6836 
6837 #ifdef _GLIBCXX_USE_CHAR8_T
6838  /// std::hash specialization for u8string.
6839  template<>
6840  struct hash<u8string>
6841  : public __hash_base<size_t, u8string>
6842  {
6843  size_t
6844  operator()(const u8string& __s) const noexcept
6845  { return std::_Hash_impl::hash(__s.data(),
6846  __s.length() * sizeof(char8_t)); }
6847  };
6848 
6849  template<>
6850  struct __is_fast_hash<hash<u8string>> : std::false_type
6851  { };
6852 #endif
6853 
6854  /// std::hash specialization for u16string.
6855  template<>
6856  struct hash<u16string>
6857  : public __hash_base<size_t, u16string>
6858  {
6859  size_t
6860  operator()(const u16string& __s) const noexcept
6861  { return std::_Hash_impl::hash(__s.data(),
6862  __s.length() * sizeof(char16_t)); }
6863  };
6864 
6865  template<>
6866  struct __is_fast_hash<hash<u16string>> : std::false_type
6867  { };
6868 
6869  /// std::hash specialization for u32string.
6870  template<>
6871  struct hash<u32string>
6872  : public __hash_base<size_t, u32string>
6873  {
6874  size_t
6875  operator()(const u32string& __s) const noexcept
6876  { return std::_Hash_impl::hash(__s.data(),
6877  __s.length() * sizeof(char32_t)); }
6878  };
6879 
6880  template<>
6881  struct __is_fast_hash<hash<u32string>> : std::false_type
6882  { };
6883 
6884 #if __cplusplus >= 201402L
6885 
6886 #define __cpp_lib_string_udls 201304
6887 
6888  inline namespace literals
6889  {
6890  inline namespace string_literals
6891  {
6892 #pragma GCC diagnostic push
6893 #pragma GCC diagnostic ignored "-Wliteral-suffix"
6894  _GLIBCXX_DEFAULT_ABI_TAG
6895  inline basic_string<char>
6896  operator""s(const char* __str, size_t __len)
6897  { return basic_string<char>{__str, __len}; }
6898 
6899 #ifdef _GLIBCXX_USE_WCHAR_T
6900  _GLIBCXX_DEFAULT_ABI_TAG
6901  inline basic_string<wchar_t>
6902  operator""s(const wchar_t* __str, size_t __len)
6903  { return basic_string<wchar_t>{__str, __len}; }
6904 #endif
6905 
6906 #ifdef _GLIBCXX_USE_CHAR8_T
6907  _GLIBCXX_DEFAULT_ABI_TAG
6908  inline basic_string<char8_t>
6909  operator""s(const char8_t* __str, size_t __len)
6910  { return basic_string<char8_t>{__str, __len}; }
6911 #endif
6912 
6913  _GLIBCXX_DEFAULT_ABI_TAG
6914  inline basic_string<char16_t>
6915  operator""s(const char16_t* __str, size_t __len)
6916  { return basic_string<char16_t>{__str, __len}; }
6917 
6918  _GLIBCXX_DEFAULT_ABI_TAG
6919  inline basic_string<char32_t>
6920  operator""s(const char32_t* __str, size_t __len)
6921  { return basic_string<char32_t>{__str, __len}; }
6922 
6923 #pragma GCC diagnostic pop
6924  } // inline namespace string_literals
6925  } // inline namespace literals
6926 
6927 #if __cplusplus >= 201703L
6928  namespace __detail::__variant
6929  {
6930  template<typename> struct _Never_valueless_alt; // see <variant>
6931 
6932  // Provide the strong exception-safety guarantee when emplacing a
6933  // basic_string into a variant, but only if moving the string cannot throw.
6934  template<typename _Tp, typename _Traits, typename _Alloc>
6935  struct _Never_valueless_alt<std::basic_string<_Tp, _Traits, _Alloc>>
6936  : __and_<
6937  is_nothrow_move_constructible<std::basic_string<_Tp, _Traits, _Alloc>>,
6938  is_nothrow_move_assignable<std::basic_string<_Tp, _Traits, _Alloc>>
6939  >::type
6940  { };
6941  } // namespace __detail::__variant
6942 #endif // C++17
6943 #endif // C++14
6944 
6945 _GLIBCXX_END_NAMESPACE_VERSION
6946 } // namespace std
6947 
6948 #endif // C++11
6949 
6950 #endif /* _BASIC_STRING_H */
std::min
constexpr const _Tp & min(const _Tp &, const _Tp &)
This does what you think it does.
Definition: stl_algobase.h:230
std::basic_string::back
reference back()
Definition: basic_string.h:4141
std::basic_string::rfind
size_type rfind(const _CharT *__s, size_type __pos=npos) const noexcept
Find last position of a C string.
Definition: basic_string.h:5363
std::basic_string::insert
void insert(iterator __p, size_type __n, _CharT __c)
Insert multiple characters.
Definition: basic_string.h:4497
std::basic_string::find
size_type find(const basic_string &__str, size_type __pos=0) const noexcept
Find position of a string.
Definition: basic_string.h:5270
std::basic_string::operator+=
basic_string & operator+=(_CharT __c)
Append a character.
Definition: basic_string.h:4184
std::basic_string::~basic_string
~basic_string() noexcept
Destroy the string instance.
Definition: basic_string.h:3717
std::basic_string::find_last_not_of
size_type find_last_not_of(const basic_string &__str, size_type __pos=npos) const noexcept
Find last position of a character not in string.
Definition: basic_string.h:5660
std::basic_string::assign
basic_string & assign(const _CharT *__s)
Set value to contents of a C string.
Definition: basic_string.h:4408
std::basic_string::assign
basic_string & assign(basic_string &&__str) noexcept(allocator_traits< _Alloc >::is_always_equal::value)
Set value to contents of another string.
Definition: basic_string.h:4358
std::basic_string::end
iterator end()
Definition: basic_string.h:3822
std::basic_string::append
basic_string & append(const _CharT *__s)
Append a C string.
Definition: basic_string.h:4252
std::basic_string::erase
basic_string & erase(size_type __pos=0, size_type __n=npos)
Remove characters.
Definition: basic_string.h:4709
std::basic_string::find_last_of
size_type find_last_of(const basic_string &__str, size_type __pos=npos) const noexcept
Find last position of a character of string.
Definition: basic_string.h:5495
std::basic_string::rbegin
const_reverse_iterator rbegin() const noexcept
Definition: basic_string.h:3851
std::basic_string::front
reference front()
Definition: basic_string.h:4119
std::basic_string::insert
basic_string & insert(size_type __pos1, const basic_string &__str)
Insert value of a string.
Definition: basic_string.h:4545
std::basic_string::replace
basic_string & replace(iterator __i1, iterator __i2, _InputIterator __k1, _InputIterator __k2)
Replace range of characters with range.
Definition: basic_string.h:4973
std::basic_string::rend
const_reverse_iterator rend() const noexcept
Definition: basic_string.h:3869
std::iterator
Common iterator class.
Definition: stl_iterator_base_types.h:128
std::hash
Primary class template hash.
Definition: functional_hash.h:102
std::basic_string::reserve
void reserve(size_type __res_arg=0)
Attempt to preallocate enough memory for specified number of characters.
Definition: basic_string.tcc:946
std::forward_iterator_tag
Forward iterators support a superset of input iterator operations.
Definition: stl_iterator_base_types.h:99
std::basic_string::find_first_of
size_type find_first_of(_CharT __c, size_type __pos=0) const noexcept
Find position of a character.
Definition: basic_string.h:5462
std::basic_string::rend
reverse_iterator rend()
Definition: basic_string.h:3860
std::basic_string::c_str
const _CharT * c_str() const noexcept
Return const pointer to null-terminated contents.
Definition: basic_string.h:5206
std::basic_string::replace
basic_string & replace(iterator __i1, iterator __i2, const _CharT *__s, size_type __n)
Replace range of characters with C substring.
Definition: basic_string.h:4907
std::basic_string::compare
int compare(const basic_string &__str) const
Compare to a string.
Definition: basic_string.h:5762
std::basic_string::assign
basic_string & assign(const basic_string &__str, size_type __pos, size_type __n=npos)
Set value to a substring of a string.
Definition: basic_string.h:4380
std::basic_string::assign
basic_string & assign(const basic_string &__str)
Set value to contents of another string.
Definition: basic_string.tcc:687
std::basic_string::append
basic_string & append(const basic_string &__str)
Append a string to this string.
Definition: basic_string.tcc:769
std::basic_string::shrink_to_fit
void shrink_to_fit() noexcept
A non-binding request to reduce capacity() to size().
Definition: basic_string.h:3957
std::pointer_traits
Uniform interface to all pointer-like types.
Definition: ptr_traits.h:84
std::wstring
basic_string< wchar_t > wstring
A string of wchar_t.
Definition: stringfwd.h:83
std::basic_string::begin
const_iterator begin() const noexcept
Definition: basic_string.h:3814
__gnu_cxx::__alloc_traits
Uniform interface to C++98 and C++11 allocators.
Definition: ext/alloc_traits.h:52
__gnu_debug::__base
constexpr _Iterator __base(_Iterator __it)
Definition: helper_functions.h:311
std::enable_if_t
typename enable_if< _Cond, _Tp >::type enable_if_t
Alias template for enable_if.
Definition: type_traits:2554
std::basic_string::push_back
void push_back(_CharT __c)
Append a single character.
Definition: basic_string.h:4331
std::move
constexpr std::remove_reference< _Tp >::type && move(_Tp &&__t) noexcept
Convert a value to an rvalue.
Definition: move.h:101
std::basic_string::replace
basic_string & replace(iterator __i1, iterator __i2, const _CharT *__s)
Replace range of characters with C string.
Definition: basic_string.h:4928
std::operator+
constexpr complex< _Tp > operator+(const complex< _Tp > &__x, const complex< _Tp > &__y)
Return new complex value x plus y.
Definition: complex:331
std::basic_string::data
const _CharT * data() const noexcept
Return const pointer to contents.
Definition: basic_string.h:5218
std::is_same
is_same
Definition: type_traits:1400
std::basic_string::npos
static const size_type npos
Value returned by various member functions when they fail.
Definition: basic_string.h:3353
std::getline
basic_istream< _CharT, _Traits > & getline(basic_istream< _CharT, _Traits > &__is, basic_string< _CharT, _Traits, _Alloc > &__str, _CharT __delim)
Read a line from stream into a string.
Definition: basic_string.tcc:1540
std::initializer_list
initializer_list
Definition: initializer_list:48
alloc_traits.h
std::basic_string::empty
bool empty() const noexcept
Definition: basic_string.h:4026
std::integral_constant
integral_constant
Definition: type_traits:58
std::basic_string::operator+=
basic_string & operator+=(initializer_list< _CharT > __l)
Append an initializer_list of characters.
Definition: basic_string.h:4197
std::basic_string::append
basic_string & append(_InputIterator __first, _InputIterator __last)
Append a range of characters.
Definition: basic_string.h:4290
std::basic_string::cbegin
const_iterator cbegin() const noexcept
Definition: basic_string.h:3878
std::basic_string::resize
void resize(size_type __n, _CharT __c)
Resizes the string to the specified number of characters.
Definition: basic_string.tcc:1085
std::basic_string::insert
basic_string & insert(size_type __pos, const _CharT *__s)
Insert a C string.
Definition: basic_string.h:4608
std::basic_string::get_allocator
allocator_type get_allocator() const noexcept
Return copy of allocator used to construct this string.
Definition: basic_string.h:5240
std::basic_istream< char >
std::basic_string::find_last_not_of
size_type find_last_not_of(const _CharT *__s, size_type __pos=npos) const noexcept
Find last position of a character not in C string.
Definition: basic_string.h:5691
std::input_iterator_tag
Marking input iterators.
Definition: stl_iterator_base_types.h:93
std::basic_string::replace
basic_string & replace(size_type __pos1, size_type __n1, const basic_string &__str, size_type __pos2, size_type __n2=npos)
Replace characters with value from another string.
Definition: basic_string.h:4801
atomicity.h
std::basic_string::operator[]
reference operator[](size_type __pos)
Subscript access to the data contained in the string.
Definition: basic_string.h:4058
std::basic_string::length
size_type length() const noexcept
Returns the number of characters in the string, not including any null-termination.
Definition: basic_string.h:3919
std::basic_string::find
size_type find(const _CharT *__s, size_type __pos=0) const noexcept
Find position of a C string.
Definition: basic_string.h:5285
initializer_list
std::basic_string
Managing sequences of characters and character-like objects.
Definition: basic_string.h:3140
std::basic_string::operator+=
basic_string & operator+=(const basic_string &__str)
Append a string to this string.
Definition: basic_string.h:4166
std::basic_string::rfind
size_type rfind(const basic_string &__str, size_type __pos=npos) const noexcept
Find last position of a string.
Definition: basic_string.h:5332
std::basic_string::find_first_of
size_type find_first_of(const _CharT *__s, size_type __pos=0) const noexcept
Find position of a character of C string.
Definition: basic_string.h:5442
std::basic_string::swap
void swap(basic_string &__s) noexcept(/*conditional */)
Swap contents with another string.
Definition: basic_string.tcc:963
std::basic_string::erase
iterator erase(iterator __position)
Remove one character.
Definition: basic_string.h:4725
std::basic_string::find_last_of
size_type find_last_of(_CharT __c, size_type __pos=npos) const noexcept
Find last position of a character.
Definition: basic_string.h:5546
std::basic_string::replace
basic_string & replace(iterator __i1, iterator __i2, const basic_string &__str)
Replace range of characters with string.
Definition: basic_string.h:4888
std::basic_string::insert
iterator insert(iterator __p, _CharT __c)
Insert one character.
Definition: basic_string.h:4649
std::basic_string::begin
iterator begin()
Definition: basic_string.h:3803
std::basic_string::crend
const_reverse_iterator crend() const noexcept
Definition: basic_string.h:3904
std::char_traits< char >
21.1.3.1 char_traits specializations
Definition: char_traits.h:317
std
ISO C++ entities toplevel namespace is std.
debug.h
std::basic_string::operator+=
basic_string & operator+=(const _CharT *__s)
Append a C string.
Definition: basic_string.h:4175
std::basic_string::insert
void insert(iterator __p, _InputIterator __beg, _InputIterator __end)
Insert a range of characters.
Definition: basic_string.h:4514
std::basic_string::insert
basic_string & insert(size_type __pos1, const basic_string &__str, size_type __pos2, size_type __n=npos)
Insert a substring.
Definition: basic_string.h:4567
std::basic_string::basic_string
basic_string(const _CharT *__s, const _Alloc &__a=_Alloc())
Construct string as copy of a C string.
Definition: basic_string.h:3619
std::basic_string::operator[]
const_reference operator[](size_type __pos) const noexcept
Subscript access to the data contained in the string.
Definition: basic_string.h:4041
std::basic_string::replace
basic_string & replace(size_type __pos, size_type __n1, const _CharT *__s)
Replace characters with value of a C string.
Definition: basic_string.h:4846
std::reverse_iterator
Definition: bits/stl_iterator.h:131
std::basic_string::find_first_not_of
size_type find_first_not_of(const basic_string &__str, size_type __pos=0) const noexcept
Find position of a character not in string.
Definition: basic_string.h:5578
std::basic_string::replace
basic_string & replace(size_type __pos, size_type __n1, size_type __n2, _CharT __c)
Replace characters with multiple characters.
Definition: basic_string.h:4870
std::basic_string::end
const_iterator end() const noexcept
Definition: basic_string.h:3833
std::basic_string::basic_string
basic_string() noexcept
Default constructor creates an empty string.
Definition: basic_string.h:3546
std::allocator_traits
Uniform interface to all allocator types.
Definition: bits/alloc_traits.h:87
charconv.h
std::basic_string::substr
basic_string substr(size_type __pos=0, size_type __n=npos) const
Get a substring.
Definition: basic_string.h:5743
std::basic_string::append
basic_string & append(initializer_list< _CharT > __l)
Append an initializer_list of characters.
Definition: basic_string.h:4276
std::basic_string::cend
const_iterator cend() const noexcept
Definition: basic_string.h:3886
std::basic_string::at
const_reference at(size_type __n) const
Provides access to the data contained in the string.
Definition: basic_string.h:4080
std::char_traits
Basis for explicit traits specializations.
Definition: char_traits.h:311
std::basic_string::find_first_of
size_type find_first_of(const basic_string &__str, size_type __pos=0) const noexcept
Find position of a character of string.
Definition: basic_string.h:5411
std::basic_string::basic_string
basic_string(basic_string &&__str) noexcept
Move construct string.
Definition: basic_string.h:3640
std::basic_string::assign
basic_string & assign(size_type __n, _CharT __c)
Set value to multiple characters.
Definition: basic_string.h:4424
std::basic_string::assign
basic_string & assign(_InputIterator __first, _InputIterator __last)
Set value to a range of characters.
Definition: basic_string.h:4437
std::basic_string::clear
void clear() noexcept
Definition: basic_string.h:4004
std::basic_string::replace
basic_string & replace(iterator __i1, iterator __i2, initializer_list< _CharT > __l)
Replace range of characters with initializer_list.
Definition: basic_string.h:5042
std::basic_string::replace
basic_string & replace(iterator __i1, iterator __i2, size_type __n, _CharT __c)
Replace range of characters with multiple characters.
Definition: basic_string.h:4949
std::operator>>
std::basic_istream< _CharT, _Traits > & operator>>(std::basic_istream< _CharT, _Traits > &__is, bitset< _Nb > &__x)
Global I/O operators for bitsets.
Definition: bitset:1472
std::operator<<
std::basic_ostream< _CharT, _Traits > & operator<<(std::basic_ostream< _CharT, _Traits > &__os, const bitset< _Nb > &__x)
Global I/O operators for bitsets.
Definition: bitset:1540
std::basic_string::operator=
basic_string & operator=(const _CharT *__s)
Copy contents of s into this string.
Definition: basic_string.h:3733
std::basic_string::insert
void insert(iterator __p, initializer_list< _CharT > __l)
Insert an initializer_list of characters.
Definition: basic_string.h:4525
std::basic_string::find_first_not_of
size_type find_first_not_of(const _CharT *__s, size_type __pos=0) const noexcept
Find position of a character not in C string.
Definition: basic_string.h:5609
std::basic_ostream
Template class basic_ostream.
Definition: ostream:59
std::basic_string::size
size_type size() const noexcept
Returns the number of characters in the string, not including any null-termination.
Definition: basic_string.h:3913
functional_hash.h
std::basic_string::rbegin
reverse_iterator rbegin()
Definition: basic_string.h:3842
std::basic_string::back
const_reference back() const noexcept
Definition: basic_string.h:4152
std::basic_string::at
reference at(size_type __n)
Provides access to the data contained in the string.
Definition: basic_string.h:4102
std::basic_string::pop_back
void pop_back()
Remove the last character.
Definition: basic_string.h:4754
std::basic_string::find_last_of
size_type find_last_of(const _CharT *__s, size_type __pos=npos) const noexcept
Find last position of a character of C string.
Definition: basic_string.h:5526
std::basic_string::operator=
basic_string & operator=(const basic_string &__str)
Assign the value of str to this string.
Definition: basic_string.h:3725
std::basic_string::operator=
basic_string & operator=(initializer_list< _CharT > __l)
Set value to string constructed from initializer list.
Definition: basic_string.h:3772
std::basic_string::copy
size_type copy(_CharT *__s, size_type __n, size_type __pos=0) const
Copy substring into C string.
Definition: basic_string.tcc:1138
std::basic_string::max_size
size_type max_size() const noexcept
Returns the size() of the largest possible string.
Definition: basic_string.h:3924
std::basic_string::insert
basic_string & insert(size_type __pos, size_type __n, _CharT __c)
Insert multiple characters.
Definition: basic_string.h:4631
string_conversions.h
std::basic_string::front
const_reference front() const noexcept
Definition: basic_string.h:4130
std::basic_string::operator=
basic_string & operator=(_CharT __c)
Set value to string of length 1.
Definition: basic_string.h:3744
std::basic_string::find
size_type find(const _CharT *__s, size_type __pos, size_type __n) const noexcept
Find position of a C substring.
Definition: basic_string.tcc:1191
std::basic_string::crbegin
const_reverse_iterator crbegin() const noexcept
Definition: basic_string.h:3895
std::basic_string::capacity
size_type capacity() const noexcept
Definition: basic_string.h:3976
std::basic_string::assign
basic_string & assign(initializer_list< _CharT > __l)
Set value to an initializer_list of characters.
Definition: basic_string.h:4447
std::basic_string::resize
void resize(size_type __n)
Resizes the string to the specified number of characters.
Definition: basic_string.h:3951
std::basic_string::replace
basic_string & replace(size_type __pos, size_type __n, const basic_string &__str)
Replace characters with value from another string.
Definition: basic_string.h:4779
std::basic_string::operator=
basic_string & operator=(basic_string &&__str) noexcept(/*conditional */)
Move assign the value of str to this string.
Definition: basic_string.h:3759