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

Files changed (1) hide show

tmp/tmpjfp_t2nf/{from.md → to.md} +68 -28

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

@@ -131,10 +131,18 @@ template<class InputIterator>
 iterator [[container.requirements.general]].
 *Effects:* Equivalent to:
 `return append(basic_string(first, last, get_allocator()));`
 ``` cpp
 constexpr basic_string& append(initializer_list<charT> il);
 ```
 *Effects:* Equivalent to: `return append(il.begin(), il.size());`
@@ -251,10 +259,18 @@ template<class InputIterator>
 iterator [[container.requirements.general]].
 *Effects:* Equivalent to:
 `return assign(basic_string(first, last, get_allocator()));`
 ##### `basic_string::insert` <a id="string.insert">[[string.insert]]</a>
 ``` cpp
 constexpr basic_string& insert(size_type pos, const basic_string& str);
 ```
@@ -313,22 +329,22 @@ return insert(pos1, sv.substr(pos2, n));
 constexpr basic_string& insert(size_type pos, const charT* s, size_type n);
 ```
 *Preconditions:* \[`s`, `s + n`) is a valid range.
-*Throws:*
-- `out_of_range` if `pos > size()`,
-- `length_error` if `n > max_size() - size()`, or
-- any exceptions thrown by `allocator_traits<Allocator>::allocate`.
 *Effects:* Inserts a copy of the range \[`s`, `s + n`) immediately
 before the character at position `pos` if `pos < size()`, or otherwise
 at the end of the string.
 *Returns:* `*this`.
 ``` cpp
 constexpr basic_string& insert(size_type pos, const charT* s);
 ```
 *Effects:* Equivalent to: `return insert(pos, s, traits::length(s));`
@@ -383,10 +399,23 @@ iterator [[container.requirements.general]].
 `insert(p - begin(), basic_string(first, last, get_allocator()))`.
 *Returns:* An iterator which refers to the first inserted character, or
 `p` if `first == last`.
 ``` cpp
 constexpr iterator insert(const_iterator p, initializer_list<charT> il);
 ```
 *Effects:* Equivalent to: `return insert(p, il.begin(), il.end());`
@@ -395,57 +424,57 @@ constexpr iterator insert(const_iterator p, initializer_list<charT> il);
 ``` cpp
 constexpr basic_string& erase(size_type pos = 0, size_type n = npos);
 ```
-*Throws:* `out_of_range` if `pos` `> size()`.
 *Effects:* Determines the effective length `xlen` of the string to be
 removed as the smaller of `n` and `size() - pos`. Removes the characters
 in the range \[`begin() + pos`, `begin() + pos + xlen`).
 *Returns:* `*this`.
 ``` cpp
 constexpr iterator erase(const_iterator p);
 ```
 *Preconditions:* `p` is a valid dereferenceable iterator on `*this`.
-*Throws:* Nothing.
 *Effects:* Removes the character referred to by `p`.
 *Returns:* An iterator which points to the element immediately following
 `p` prior to the element being erased. If no such element exists,
 `end()` is returned.
 ``` cpp
 constexpr iterator erase(const_iterator first, const_iterator last);
 ```
 *Preconditions:* `first` and `last` are valid iterators on `*this`.
 \[`first`, `last`) is a valid range.
-*Throws:* Nothing.
 *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();
 ```
 *Preconditions:* `!empty()`.
-*Throws:* Nothing.
 *Effects:* Equivalent to `erase(end() - 1)`.
 ##### `basic_string::replace` <a id="string.replace">[[string.replace]]</a>
 ``` cpp
 constexpr basic_string& replace(size_type pos1, size_type n1, const basic_string& str);
 ```
@@ -505,25 +534,25 @@ return replace(pos1, n1, sv.substr(pos2, n2));
 constexpr basic_string& replace(size_type pos1, size_type n1, const charT* s, size_type n2);
 ```
 *Preconditions:* \[`s`, `s + n2`) is a valid range.
-*Throws:*
-- `out_of_range` if `pos1 > size()`,
-- `length_error` if the length of the resulting string would exceed
-  `max_size()` (see below), or
-- any exceptions thrown by `allocator_traits<Allocator>::allocate`.
 *Effects:* Determines the effective length `xlen` of the string to be
 removed as the smaller of `n1` and `size() - pos1`. If
 `size() - xlen >= max_size() - n2` throws `length_error`. Otherwise, the
 function replaces the characters in the range \[`begin() + pos1`,
 `begin() + pos1 + xlen`) with a copy of the range \[`s`, `s + n2`).
 *Returns:* `*this`.
 ``` cpp
 constexpr basic_string& replace(size_type pos, size_type n, const charT* s);
 ```
 *Effects:* Equivalent to:
@@ -531,25 +560,25 @@ constexpr basic_string& replace(size_type pos, size_type n, const charT* s);
 ``` cpp
 constexpr basic_string& replace(size_type pos1, size_type n1, size_type n2, charT c);
 ```
-*Throws:*
-- `out_of_range` if `pos1 > size()`,
-- `length_error` if the length of the resulting string would exceed
-  `max_size()` (see below), or
-- any exceptions thrown by `allocator_traits<Allocator>::allocate.`
 *Effects:* Determines the effective length `xlen` of the string to be
 removed as the smaller of `n1` and `size() - pos1`. If
 `size() - xlen >=` `max_size() - n2` throws `length_error`. Otherwise,
 the function replaces the characters in the range \[`begin() + pos1`,
 `begin() + pos1 + xlen`) with `n2` copies of `c`.
 *Returns:* `*this`.
 ``` cpp
 constexpr basic_string& replace(const_iterator i1, const_iterator i2, const basic_string& str);
 ```
 *Effects:* Equivalent to:
@@ -607,10 +636,21 @@ template<class InputIterator>
 iterator [[container.requirements.general]].
 *Effects:* Equivalent to:
 `return replace(i1, i2, basic_string(j1, j2, get_allocator()));`
 ``` cpp
 constexpr basic_string& replace(const_iterator i1, const_iterator i2, initializer_list<charT> il);
 ```
 *Effects:* Equivalent to:

 iterator [[container.requirements.general]].
 *Effects:* Equivalent to:
 `return append(basic_string(first, last, get_allocator()));`
+``` cpp
+template<container-compatible-range<charT> R>
+  constexpr basic_string& append_range(R&& rg);
+```
+*Effects:* Equivalent to:
+`return append(basic_string(from_range, std::forward<R>(rg), get_allocator()));`
 ``` cpp
 constexpr basic_string& append(initializer_list<charT> il);
 ```
 *Effects:* Equivalent to: `return append(il.begin(), il.size());`
 iterator [[container.requirements.general]].
 *Effects:* Equivalent to:
 `return assign(basic_string(first, last, get_allocator()));`
+``` cpp
+template<container-compatible-range<charT> R>
+  constexpr basic_string& assign_range(R&& rg);
+```
+*Effects:* Equivalent to:
+`return assign(basic_string(from_range, std::forward<R>(rg), get_allocator()));`
 ##### `basic_string::insert` <a id="string.insert">[[string.insert]]</a>
 ``` cpp
 constexpr basic_string& insert(size_type pos, const basic_string& str);
 ```
 constexpr basic_string& insert(size_type pos, const charT* s, size_type n);
 ```
 *Preconditions:* \[`s`, `s + n`) is a valid range.
 *Effects:* Inserts a copy of the range \[`s`, `s + n`) immediately
 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
+- any exceptions thrown by `allocator_traits<Allocator>::allocate`.
 ``` cpp
 constexpr basic_string& insert(size_type pos, const charT* s);
 ```
 *Effects:* Equivalent to: `return insert(pos, s, traits::length(s));`
 `insert(p - begin(), basic_string(first, last, get_allocator()))`.
 *Returns:* An iterator which refers to the first inserted character, or
 `p` if `first == last`.
+``` cpp
+template<container-compatible-range<charT> R>
+  constexpr iterator insert_range(const_iterator p, R&& rg);
+```
+*Preconditions:* `p` is a valid iterator on `*this`.
+*Effects:* Equivalent to
+`insert(p - begin(), basic_string(from_range, std::forward<R>(rg), get_allocator()))`.
+*Returns:* An iterator which refers to the first inserted character, or
+`p` if `rg` is empty.
 ``` cpp
 constexpr iterator insert(const_iterator p, initializer_list<charT> il);
 ```
 *Effects:* Equivalent to: `return insert(p, il.begin(), il.end());`
 ``` cpp
 constexpr basic_string& erase(size_type pos = 0, size_type n = npos);
 ```
 *Effects:* Determines the effective length `xlen` of the string to be
 removed as the smaller of `n` and `size() - pos`. Removes the characters
 in the range \[`begin() + pos`, `begin() + pos + xlen`).
 *Returns:* `*this`.
+*Throws:* `out_of_range` if `pos` `> size()`.
 ``` cpp
 constexpr iterator erase(const_iterator p);
 ```
 *Preconditions:* `p` is a valid dereferenceable iterator on `*this`.
 *Effects:* Removes the character referred to by `p`.
 *Returns:* An iterator which points to the element immediately following
 `p` prior to the element being erased. If no such element exists,
 `end()` is returned.
+*Throws:* Nothing.
 ``` cpp
 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.
+*Throws:* Nothing.
 ``` cpp
 constexpr void pop_back();
 ```
 *Preconditions:* `!empty()`.
 *Effects:* Equivalent to `erase(end() - 1)`.
+*Throws:* Nothing.
 ##### `basic_string::replace` <a id="string.replace">[[string.replace]]</a>
 ``` cpp
 constexpr basic_string& replace(size_type pos1, size_type n1, const basic_string& str);
 ```
 constexpr basic_string& replace(size_type pos1, size_type n1, const charT* s, size_type n2);
 ```
 *Preconditions:* \[`s`, `s + n2`) is a valid range.
 *Effects:* Determines the effective length `xlen` of the string to be
 removed as the smaller of `n1` and `size() - pos1`. If
 `size() - xlen >= max_size() - n2` throws `length_error`. Otherwise, the
 function replaces the characters in the range \[`begin() + pos1`,
 `begin() + pos1 + xlen`) with a copy of the range \[`s`, `s + n2`).
 *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(size_type pos, size_type n, const charT* s);
 ```
 *Effects:* Equivalent to:
 ``` cpp
 constexpr basic_string& replace(size_type pos1, size_type n1, size_type n2, charT c);
 ```
 *Effects:* Determines the effective length `xlen` of the string to be
 removed as the smaller of `n1` and `size() - pos1`. If
 `size() - xlen >=` `max_size() - n2` throws `length_error`. Otherwise,
 the function replaces the characters in the range \[`begin() + pos1`,
 `begin() + pos1 + xlen`) with `n2` copies of `c`.
 *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);
 ```
 *Effects:* Equivalent to:
 iterator [[container.requirements.general]].
 *Effects:* Equivalent to:
 `return replace(i1, i2, basic_string(j1, j2, get_allocator()));`
+``` cpp
+template<container-compatible-range<charT> R>
+  constexpr basic_string& replace_with_range(const_iterator i1, const_iterator i2, R&& rg);
+```
+*Effects:* Equivalent to:
+``` cpp
+return replace(i1, i2, basic_string(from_range, std::forward<R>(rg), get_allocator()));
+```
 ``` cpp
 constexpr basic_string& replace(const_iterator i1, const_iterator i2, initializer_list<charT> il);
 ```
 *Effects:* Equivalent to:

Diff to HTML by rtfpessoa