From Jason Turner

[string.require]

Diff to HTML by rtfpessoa

tmp/tmpu63ozjeb/{from.md → to.md} RENAMED
@@ -15,17 +15,22 @@ as `charT`. Every object of type
15
  objects as needed. The `Allocator` object used is obtained as described
16
  in [[container.requirements.general]]. In every specialization
17
  `basic_string<charT, traits, Allocator>`, the type `traits` shall meet
18
  the character traits requirements [[char.traits]].
19
 
20
- [*Note 1*: The program is ill-formed if `traits::char_type` is not the
 
 
 
 
 
21
  same type as `charT`. — *end note*]
22
 
23
  References, pointers, and iterators referring to the elements of a
24
  `basic_string` sequence may be invalidated by the following uses of that
25
  `basic_string` object:
26
 
27
  - Passing as an argument to any standard library function taking a
28
- reference to non-const `basic_string` as an argument.[^2]
29
  - Calling non-const member functions, except `operator[]`, `at`, `data`,
30
  `front`, `back`, `begin`, `rbegin`, `end`, and `rend`.
31
 
 
15
  objects as needed. The `Allocator` object used is obtained as described
16
  in [[container.requirements.general]]. In every specialization
17
  `basic_string<charT, traits, Allocator>`, the type `traits` shall meet
18
  the character traits requirements [[char.traits]].
19
 
20
+ [*Note 1*: Every specialization
21
+ `basic_string<charT, traits, Allocator>` is an allocator-aware
22
+ container, but does not use the allocator’s `construct` and `destroy`
23
+ member functions [[container.requirements.general]]. — *end note*]
24
+
25
+ [*Note 2*: The program is ill-formed if `traits::char_type` is not the
26
  same type as `charT`. — *end note*]
27
 
28
  References, pointers, and iterators referring to the elements of a
29
  `basic_string` sequence may be invalidated by the following uses of that
30
  `basic_string` object:
31
 
32
  - Passing as an argument to any standard library function taking a
33
+ reference to non-const `basic_string` as an argument.[^3]
34
  - Calling non-const member functions, except `operator[]`, `at`, `data`,
35
  `front`, `back`, `begin`, `rbegin`, `end`, and `rend`.
36