21 Strings library [strings]

21.3 String classes [string.classes]

21.3.2 Class template basic_string [basic.string]

21.3.2.1 General requirements [string.require]

If any operation would cause size() to exceed max_size(), that operation throws an exception object of type length_error.

If any member function or operator of basic_string throws an exception, that function or operator has no other effect on the basic_string object.

In every specialization basic_string<charT, traits, Allocator>, the type allocator_traits<Allocator>::value_type shall name the same type as charT.

Every object of type basic_string<charT, traits, Allocator> uses an object of type Allocator to allocate and free storage for the contained charT objects as needed.

The Allocator object used is obtained as described in [container.requirements.general].

In every specialization basic_string<charT, traits, Allocator>, the type traits shall meet the character traits requirements ([char.traits]).

[ Note

The program is ill-formed if traits::char_type is not the same type as charT.

— end note

]

References, pointers, and iterators referring to the elements of a basic_string sequence may be invalidated by the following uses of that basic_string object:

(4.1)
Passing as an argument to any standard library function taking a reference to non-const basic_string as an argument.222
(4.2)
Calling non-const member functions, except operator[], at, data, front, back, begin, rbegin, end, and rend.

222)

For example, as an argument to non-member functions swap(), operator>>(), and getline(), or as an argument to basic_string::swap().

⮥

21 Strings library [strings]

21.3 String classes [string.classes]

21.3.2 Class template basic_­string [basic.string]

21.3.2.1 General requirements [string.require]

21.3.2 Class template basic_string [basic.string]