C++26: 「std::initializer_listの配列を静的記憶域に配置する」を追加 (close #1171)

Author: faithandbrave

implementation-status.md

@@ -291,7 +291,7 @@
 
 | 言語機能 | 説明 | [GCC][gcc] | [Clang][clang] | [ICX][icx] | [MSVC][msvc] |
 |----------|------|------------|----------------|------------|--------------|
-| P2752R3: [`std::initializer_list`の配列を静的ストレージに配置する](/lang/cpp26/static_storage_for_braced_initializers.md.nolink) | `std::vector v = {1, 2, 3};`のような初期化で初期化子リストを静的ストレージに配置することで無駄なコピーをなくす | 14 | | | |
+| P2752R3: [`std::initializer_list`の配列を静的記憶域に配置する](/lang/cpp26/static_storage_for_braced_initializers.md) | `std::vector v = {1, 2, 3};`のような初期化で初期化子リストを静的記憶域に配置することで無駄なコピーをなくす | 14 | | | |
 | P2169R4: [宣言のみで使用しない変数の名前として`_`をサポート](/lang/cpp26/nice_placeholder_with_no_name.md) | 変数名`_`は暗黙で`[[maybe_unused]]`が指定される | 14 | 18 | | |
 | P1854R4: [文字列リテラルの文字エンコーディング失敗を不適格とする](/lang/cpp26/making_non-encodable_string_literals_ill-formed.md) | 文字列リテラルのエンコーディング時に文字表現が失われる場合にコンパイルエラーにする | 14 | 14 | | |
 | P2361R6: [コンパイル時にのみ使用される文字列の扱いを明確化](/lang/cpp26/unevaluated_strings.md.nolink) | `static_assert`や`[[deprecated]]`などで使用されるコンパイル時の文字列について、文字コードの指定を禁止し、実行時エンコーディングが行われないことを規定 | 14 | 18 | | |

lang/cpp11/initializer_lists.md

@@ -341,6 +341,7 @@ std::vector<int> v(ar, ar + N);
 
 ## <a id="relative-page" href="#relative-page">関連項目</a>
 - [C++11 一様初期化](uniform_initialization.md)
+- [C++26 `std::initializer_list`の配列を静的記憶域に配置する](/lang/cpp26/static_storage_for_braced_initializers.md)
 
 
 ## 参照
@@ -357,4 +358,4 @@ std::vector<int> v(ar, ar + N);
 - [N2575 Initializer Lists - Alternative Mechanism and Rationale](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2575.pdf)
 - [N2640 Initializer Lists - Alternative Mechanism and Rationale (v. 2)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2640.pdf)
 - [N2672 Initializer List proposed wording](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2672.htm)
-- [CWG Issue 1030. Evaluation order in initializer-lists used in aggregate initialization](http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#1030)
+- [CWG Issue 1030. Evaluation order in initializer-lists used in aggregate initialization](http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#1030)

lang/cpp26.md

@@ -11,7 +11,7 @@ C++26とは、2026年中に改訂される予定の、C++バージョンの通
 
 | 言語機能 | 説明 |
 |----------|------|
-| [`std::initializer_list`の配列を静的ストレージに配置する](/lang/cpp26/static_storage_for_braced_initializers.md.nolink) | `std::vector v = {1, 2, 3};`のような初期化で初期化子リストを静的ストレージに配置することで無駄なコピーをなくす |
+| [`std::initializer_list`の配列を静的記憶域に配置する](/lang/cpp26/static_storage_for_braced_initializers.md) | `std::vector v = {1, 2, 3};`のような初期化で初期化子リストを静的記憶域に配置することで無駄なコピーをなくす |
 | [宣言のみで使用しない変数の名前として`_`をサポート](/lang/cpp26/nice_placeholder_with_no_name.md) | 変数名`_`は暗黙で`[[maybe_unused]]`が指定される |
 | [非推奨となっていた列挙型の算術変換を削除](/lang/cpp26/remove_deprecated_arithmetic_conversion_on_enumerations.md) | C++20から非推奨となっていた列挙値への算術演算で算術型に暗黙変換される仕様を削除 |
 | [不完全型へのポインタに対する`delete`を不適格とする](/lang/cpp26/deleting_a_pointer_to_an_incomplete_type_should_be_ill-formed.md.nolink) | 未定義動作を引き起こす操作をコンパイルエラーとする |

lang/cpp26/static_storage_for_braced_initializers.md

@@ -0,0 +1,84 @@
+# std::initializer_listの配列を静的記憶域に配置する [P2752R3]
+* cpp26[meta cpp]
+
+<!-- start lang caution -->
+
+このページはC++26に採用される見込みの言語機能の変更を解説しています。
+
+のちのC++規格でさらに変更される場合があるため[関連項目](#relative-page)を参照してください。
+
+<!-- last lang caution -->
+
+## 概要
+C++11で導入された[`std::initializer_list`](/reference/initializer_list/initializer_list.md)は、自作クラスで組み込み配列のような配列初期化をする構文であるが、そのメモリとしてはスタック上に配置されていた。
+
+```cpp
+std::vector<int> v = {1, 2, 3};
+
+// 以下と等価：
+const int __a[] = {1, 2, 3};
+std::vector<int> v(__a, __a + 3);
+```
+
+C++26では、プリプロセス時にファイル読み込む[`#embed`](/lang/cpp26/embed.md)機能が導入されることもあり、スタックオーバーフローのリスクがあった。
+
+```cpp
+std::vector<char> v = {
+  #embed "2mb-image.png"
+};
+```
+
+このため、C++26では、定数値のみ、かつ`mutable`に保持しない[`std::initializer_list`](/reference/initializer_list/initializer_list.md)は、静的記憶域に配置されるようになる。
+
+```cpp
+void f(std::initializer_list<double> il);
+
+void g(float x) {
+  f({1, x, 3});
+
+  // 変数を含むため、静的記憶域には保持されない。
+  // 以下と等価：
+  // const double __a[3] = {double{1}, double{x}, double{3}};
+  // f(std::initializer_list<double>(__a, __a+3));
+}
+
+void h() {
+  f({1, 2, 3});
+
+  // 定数のみであるため、静的記憶域に保持される。
+  // 以下と等価：
+  // static constexpr double __b[3] = {double{1}, double{2}, double{3}};
+  // f(std::initializer_list<double>(__b, __b+3));
+}
+
+struct A {
+  mutable int i;
+};
+
+void q(std::initializer_list<A>);
+
+void r() {
+  q({A{1}, A{2}, A{3}});
+
+  // mutableにするため、静的記憶域に保持される。
+  // 以下と等価：
+  // const A __c[3] = {A{1}, A{2}, A{3}};
+  // q(std::initializer_list<A>(__c, __c+3));
+}
+```
+
+将来的に、静的記憶域に配置される配列は、共有される可能性がある。この動作のために、共有で予期しない問題が起きる`mutable`は共有から除外される。
+
+```cpp
+std::initializer_list<int> i1 = {1,2,3,4,5};
+std::initializer_list<int> i2 = {2,3,4};
+PERMIT(i1.begin() == i2.begin() + 1);  // 将来的な動作
+```
+
+## <a id="relative-page" href="#relative-page">関連項目</a>
+- [C++11 初期化子リスト](/lang/cpp11/initializer_lists.md)
+- [C++26 ファイルを読み込む`#embed`命令を追加](/lang/cpp26/embed.md)
+
+
+## 参照
+- [P2752R3 Static storage for braced initializers](http://open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2752r3.html)