[string.modifiers] - C++23 → Trunk

Files changed (1) hide show

tmp/tmp5xu90hpi/{from.md → to.md} +9 -9

tmp/tmp5xu90hpi/{from.md → to.md} RENAMED Viewed

@@ -126,11 +126,11 @@ constexpr basic_string& append(size_type n, charT c);
 template<class InputIterator>
   constexpr basic_string& append(InputIterator first, InputIterator last);
 ```
 *Constraints:* `InputIterator` is a type that qualifies as an input
-iterator [[container.requirements.general]].
 *Effects:* Equivalent to:
 `return append(basic_string(first, last, get_allocator()));`
 ``` cpp
@@ -254,11 +254,11 @@ return *this;
 template<class InputIterator>
   constexpr basic_string& assign(InputIterator first, InputIterator last);
 ```
 *Constraints:* `InputIterator` is a type that qualifies as an input
-iterator [[container.requirements.general]].
 *Effects:* Equivalent to:
 `return assign(basic_string(first, last, get_allocator()));`
 ``` cpp
@@ -354,11 +354,11 @@ constexpr basic_string& insert(size_type pos, size_type n, charT c);
 ```
 *Effects:* Inserts `n` copies of `c` before the character at position
 `pos` if `pos < size()`, or otherwise at the end of the string.
-*Returns:* `*this`
 *Throws:*
 - `out_of_range` if `pos > size()`,
 - `length_error` if `n > max_size() - size()`, or
@@ -389,11 +389,11 @@ constexpr iterator insert(const_iterator p, size_type n, charT c);
 template<class InputIterator>
   constexpr iterator insert(const_iterator p, InputIterator first, InputIterator last);
 ```
 *Constraints:* `InputIterator` is a type that qualifies as an input
-iterator [[container.requirements.general]].
 *Preconditions:* `p` is a valid iterator on `*this`.
 *Effects:* Equivalent to
 `insert(p - begin(), basic_string(first, last, get_allocator()))`.
@@ -453,11 +453,11 @@ constexpr iterator erase(const_iterator first, const_iterator last);
 ```
 *Preconditions:* `first` and `last` are valid iterators on `*this`.
 \[`first`, `last`) is a valid range.
-*Effects:* Removes the characters in the range `[first, last)`.
 *Returns:* An iterator which points to the element pointed to by `last`
 prior to the other elements being erased. If no such element exists,
 `end()` is returned.
@@ -465,11 +465,11 @@ prior to the other elements being erased. If no such element exists,
 ``` cpp
 constexpr void pop_back();
 ```
-*Preconditions:* `!empty()`.
 *Effects:* Equivalent to `erase(end() - 1)`.
 *Throws:* Nothing.
@@ -571,12 +571,12 @@ the function replaces the characters in the range \[`begin() + pos1`,
 *Returns:* `*this`.
 *Throws:*
 - `out_of_range` if `pos1 > size()`,
-- `length_error` if the length of the resulting string would
- exceed`max_size()`, or
 - any exceptions thrown by `allocator_traits<Allocator>::allocate.`
 ``` cpp
 constexpr basic_string& replace(const_iterator i1, const_iterator i2, const basic_string& str);
 ```
@@ -631,11 +631,11 @@ template<class InputIterator>
   constexpr basic_string& replace(const_iterator i1, const_iterator i2,
                                   InputIterator j1, InputIterator j2);
 ```
 *Constraints:* `InputIterator` is a type that qualifies as an input
-iterator [[container.requirements.general]].
 *Effects:* Equivalent to:
 `return replace(i1, i2, basic_string(j1, j2, get_allocator()));`
 ``` cpp

 template<class InputIterator>
   constexpr basic_string& append(InputIterator first, InputIterator last);
 ```
 *Constraints:* `InputIterator` is a type that qualifies as an input
+iterator [[container.reqmts]].
 *Effects:* Equivalent to:
 `return append(basic_string(first, last, get_allocator()));`
 ``` cpp
 template<class InputIterator>
   constexpr basic_string& assign(InputIterator first, InputIterator last);
 ```
 *Constraints:* `InputIterator` is a type that qualifies as an input
+iterator [[container.reqmts]].
 *Effects:* Equivalent to:
 `return assign(basic_string(first, last, get_allocator()));`
 ``` cpp
 ```
 *Effects:* Inserts `n` copies of `c` before the character at position
 `pos` if `pos < size()`, or otherwise at the end of the string.
+*Returns:* `*this`.
 *Throws:*
 - `out_of_range` if `pos > size()`,
 - `length_error` if `n > max_size() - size()`, or
 template<class InputIterator>
   constexpr iterator insert(const_iterator p, InputIterator first, InputIterator last);
 ```
 *Constraints:* `InputIterator` is a type that qualifies as an input
+iterator [[container.reqmts]].
 *Preconditions:* `p` is a valid iterator on `*this`.
 *Effects:* Equivalent to
 `insert(p - begin(), basic_string(first, last, get_allocator()))`.
 ```
 *Preconditions:* `first` and `last` are valid iterators on `*this`.
 \[`first`, `last`) is a valid range.
+*Effects:* Removes the characters in the range \[`first`, `last`).
 *Returns:* An iterator which points to the element pointed to by `last`
 prior to the other elements being erased. If no such element exists,
 `end()` is returned.
 ``` cpp
 constexpr void pop_back();
 ```
+`empty()` is `false`.
 *Effects:* Equivalent to `erase(end() - 1)`.
 *Throws:* Nothing.
 *Returns:* `*this`.
 *Throws:*
 - `out_of_range` if `pos1 > size()`,
+- `length_error` if the length of the resulting string would exceed
+  `max_size()`, or
 - any exceptions thrown by `allocator_traits<Allocator>::allocate.`
 ``` cpp
 constexpr basic_string& replace(const_iterator i1, const_iterator i2, const basic_string& str);
 ```
   constexpr basic_string& replace(const_iterator i1, const_iterator i2,
                                   InputIterator j1, InputIterator j2);
 ```
 *Constraints:* `InputIterator` is a type that qualifies as an input
+iterator [[container.reqmts]].
 *Effects:* Equivalent to:
 `return replace(i1, i2, basic_string(j1, j2, get_allocator()));`
 ``` cpp

Diff to HTML by rtfpessoa