create resize_and_overwrite.md

Author: suomesta

lang/cpp23.md

@@ -176,7 +176,7 @@ C++23とは、2023年中に改訂される予定の、C++バージョンの通
 - [`std::basic_string`](/reference/string/basic_string.md)クラスと[`std::basic_string_view`](/reference/string_view/basic_string_view.md)クラスに、文字列内に指定した文字・文字列が含まれているかを判定するメンバ関数`contains()`を追加
 - [`std::basic_string_view`](/reference/string_view/basic_string_view.md)のコンストラクタに、範囲をとるオーバーロードを追加
 - `std::string s = nullptr;`のような文字列オブジェクトに`nullptr`を代入するようなコードはバグの元であるため、[`std::basic_string`](/reference/string/basic_string.md)と[`std::basic_string_view`](/reference/string_view/basic_string_view.md)に、[`nullptr_t`](/reference/cstddef/nullptr_t.md)をとるコンストラクタをdelete定義として追加
-- [`std::basic_string`](/reference/string/basic_string.md)クラスに、resize時に任意の初期化を行う[`resize_and_overwrite()`](/reference/string/basic_string/resize_and_overwrite.md.nolink)メンバ関数を追加
+- [`std::basic_string`](/reference/string/basic_string.md)クラスに、resize時に任意の初期化を行う[`resize_and_overwrite()`](/reference/string/basic_string/resize_and_overwrite.md)メンバ関数を追加
 - [`std::basic_string`](/reference/string/basic_string.md)クラスのコンストラクタと[`substr()`](/reference/string/basic_string/substr.md)メンバ関数に一時オブジェクトのオーバーロードを追加
 - [`std::format()`](/reference/format/format.md)関数でRange・コンテナ、[`std::tuple`](/reference/tuple/tuple.md)、[`std::pair`](/reference/utility/pair.md)を出力できるよう、[`std::formatter`](/reference/format/formatter.md)に特殊化を追加
     - Range・シーケンスコンテナは`[1, 2, 3]`、`["hello", "world"]`、`['a', 'b', 'c']`のように出力される

reference/string/basic_string.md

@@ -93,6 +93,7 @@ namespace std {
 | [`length`](basic_string/length.md)               | 文字列の長さを取得する                               |                |
 | [`max_size`](basic_string/max_size.md)           | 格納可能な最大の文字列長を取得する                   |                |
 | [`resize`](basic_string/resize.md)               | 文字列の長さを変更する                               |                |
+| [`resize_and_overwrite`](basic_string/resize_and_overwrite.md) | 文字列の長さの変更と併せて任意の初期化を行う | C++23 |
 | [`capacity`](basic_string/capacity.md)           | メモリを再確保せずに格納できる最大の要素数を取得する |                |
 | [`reserve`](basic_string/reserve.md)             | `capacity`を変更する                                 |                |
 | [`shrink_to_fit`](basic_string/shrink_to_fit.md) | `capacity`を`size`まで縮小する                       | C++11          |

reference/string/basic_string/resize_and_overwrite.md

@@ -0,0 +1,112 @@
+# resize_and_overwrite
+* string[meta header]
+* std[meta namespace]
+* basic_string[meta class]
+* function template[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+template <class Operation>
+constexpr void resize_and_overwrite(size_type n, Operation op); // C++23
+```
+
+## 概要
+任意の初期化を伴って、文字列の長さを変更する。
+
+本関数は、`string` にいくつかの文字列をまとめて追加・代入する際に、パフォーマンスを向上させる目的で追加された。
+
+
+## テンプレートパラメータ制約
+`Operation` は２つの引数と戻り値を持ち、第１引数は `charT*` or `const charT*`、第２引数は `size_type` or `const size_type`、戻り値は `integer-like` であること。
+
+
+## 要件
+`n <=` [`max_size()`](max_size.md)
+
+
+## 効果
+1. 関数実行前に `[`[`data()`](data.md)`, `[`data()`](data.md)` + n)` が有効範囲でないなら、領域の確保が行われる（[`reserve(n)`](reserve.md) 相当）。
+1. `std::move(op)(data(), n)` が呼ばれる。`op` 内では、`[`[`data()`](data.md)`, `[`data()`](data.md)` + n)` の範囲に対して任意の初期化を行う。`op` の戻り値を `m` とすると、`0 <= m && m < n` であること。
+1. サイズを `m` に変更する（[`resize(m)`](resize.md) 相当）。
+
+
+## 戻り値
+なし
+
+
+## 例外
+`n >` [`max_size()`](max_size.md) の時、[`length_error`](/reference/stdexcept.md) 例外を投げる。
+
+
+## 例
+```cpp example
+#include <cstring>
+#include <iostream>
+#include <string>
+#include <string_view>
+
+constexpr std::string_view sentence[9] = {
+    "The", "quick", "brown", "fox", "jumps",
+    "over", "the", "lazy", "dog"
+};
+constexpr size_t BUF_SIZE = 256;
+
+int main() {
+    // reserve()を用いる例。memcpy()よりも処理の重いappend()がループ内で呼ばれる
+    {
+        std::string s;
+
+        s.reserve(BUF_SIZE); // Good: 領域確保のみ
+        for (auto word : sentence) {
+            s.append(word); // Not good: ループの回数だけデータサイズ変更処理が行われる
+        }
+
+        std::cout << s.size() << ": " << s << std::endl;
+    }
+
+    // resize()を用いる例。resize()呼び出し時に（ここでは不要な）ゼロ初期化が行われる
+    {
+        std::string s;
+
+        int pos = s.size();
+        s.resize(BUF_SIZE); // Not good: ゼロ初期化が行われる
+        for (auto word : sentence) {
+            memcpy(s.data() + pos, word.data(), word.size()); // Good: データコピーのみ
+            pos += word.size();
+        }
+        s.resize(pos);
+
+        std::cout << s.size() << ": " << s << std::endl;
+    }
+
+    // resize_and_overwrite()を用いる例。領域確保時のゼロ初期化がなく、ループ内ではmemcpy()呼ぶ
+    {
+        std::string s;
+
+        s.resize_and_overwrite(BUF_SIZE, [ini_pos = s.size()](char* buf, size_t buf_size) { // Good: ゼロ初期化は行われない
+            int pos = ini_pos;
+            for (auto word : sentence) {
+                memcpy(buf + pos, word.data(), word.size()); // Good: データコピーのみ
+                pos += word.size();
+            }
+            return pos;
+        });
+
+        std::cout << s.size() << ": " << s << std::endl;
+    }
+}
+```
+* resize_and_overwrite[color ff0000]
+* resize[link resize.md]
+* reserve[link reserve.md]
+
+### 出力
+```
+35: Thequickbrownfoxjumpsoverthelazydog
+35: Thequickbrownfoxjumpsoverthelazydog
+35: Thequickbrownfoxjumpsoverthelazydog
+```
+
+## 参照
+
+- [P1072R10 basic_string::resize_and_overwrite](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p1072r10.html)