C++23 : 「初期化文での型の別名宣言を許可」を追加 (close #1024)

Author: faithandbrave

implementation-status.md

@@ -252,7 +252,7 @@
 | P2266R3: [暗黙的なムーブを簡略化](/lang/cpp23/simpler_implicit_move.md.nolink) | 参照を返す関数の`return`文で暗黙的にムーブされない問題を修正 | 13 | 13 | 2022.2 | - |
 | P1787R6: [スコープと名前ルックアップの仕様整理](/lang/cpp23/declarations_and_where_to_find_them.md.nolink) | 複雑で不完全になっているスコープと名前ルックアップの仕様を整理し、一部の問題を解決する | - | - | - | - |
 | P2615R1: [無意味なexport宣言を禁止する](/lang/cpp23/meaningful_exports.md.nolink) | | - | - | - | - |
-| P2360R0: [初期化文での型の別名宣言を許可](/lang/cpp23/extend_init_statement_to_allow_alias_declaration.md.nolink) | `for (using T = int; T e : v) {}`を許可 | 12 | 14 | 2022.2 | - |
+| P2360R0: [初期化文での型の別名宣言を許可](/lang/cpp23/extend_init_statement_to_allow_alias_declaration.md) | `for (using T = int; T e : v) {}`を許可 | 12 | 14 | 2022.2 | - |
 | P2718R0: [範囲for文が範囲初期化子内で生じた一時オブジェクトを延命することを規定](lang/cpp23/lifetime_extension_in_range_based_for_loop.md) | | - | - | - | - |
 | P2324R2: [関数末尾のラベルを許可](/lang/cpp23/labels_at_the_end_of_compound_statements.md.nolink) | C互換のため、関数末尾でのgoto文のラベルを許可する | 13 | 16 | 2023.2 | - |
 | P0847R7: [自身のオブジェクトを明示的にパラメータとして指定する](/lang/cpp23/deducing_this.md.nolink) | メンバ関数が`*this`の型・オブジェクトをパラメータとしてとり、`*this`オブジェクトがconst/非const、左辺値/右辺値であるかをメンバ関数内で識別できるようにする | - | 18 | - | 2022 Update 2 (partial) |

lang/cpp17/selection_statements_with_initializer.md

@@ -205,6 +205,7 @@ if (it != m.end()) { return it->size(); }
 
 ## 関連項目
 - [C++20 初期化式をともなう範囲for文](/lang/cpp20/range-based_for_statements_with_initializer.md)
+- [C++23 初期化文での型の別名宣言を許可](/lang/cpp23/extend_init_statement_to_allow_alias_declaration.md)
 
 
 ## 参照

lang/cpp20/range-based_for_statements_with_initializer.md

@@ -115,6 +115,7 @@ int main()
 
 ## 関連項目
 - [C++17 if文とswitch文の条件式と初期化を分離](/lang/cpp17/selection_statements_with_initializer.md)
+- [C++23 初期化文での型の別名宣言を許可](/lang/cpp23/extend_init_statement_to_allow_alias_declaration.md)
 
 
 ## 参照

lang/cpp23.md

@@ -30,7 +30,7 @@ C++23とは、2023年中に改訂される予定の、C++バージョンの通
 
 | 言語機能 | 説明 |
 |----------|------|
-| [初期化文での型の別名宣言を許可](cpp23/extend_init_statement_to_allow_alias_declaration.md.nolink) | `for (using T = int; T e : v) {}`を許可 |
+| [初期化文での型の別名宣言を許可](cpp23/extend_init_statement_to_allow_alias_declaration.md) | `for (using T = int; T e : v) {}`を許可 |
 | [範囲for文が範囲初期化子内で生じた一時オブジェクトを延命することを規定](cpp23/lifetime_extension_in_range_based_for_loop.md) | 範囲初期化子内で生じた一時オブジェクトは範囲for文の終わりまで延命される |
 | [関数末尾のラベルを許可](cpp23/labels_at_the_end_of_compound_statements.md.nolink) | C互換のため、関数末尾でのgoto文のラベルを許可する |
 

lang/cpp23/extend_init_statement_to_allow_alias_declaration.md

@@ -0,0 +1,47 @@
+# 初期化文での型の別名宣言を許可
+* cpp23[meta cpp]
+
+## 概要
+`if`文、`switch`文、範囲`for`文で初期化文を指定できるが、C++20までその初期化文では`typedef`による型の別名定義はできたが、`using`による型の別名定義はできなかった。
+
+C++23では`using`による別名定義もまた初期化文でできるようになる。
+
+
+## 仕様
+初期化文 (init-statement) に、別名宣言 (alias-declaration) を追加 (`typedef`はsimple-declarationに含まれる)。
+
+```
+init-statement:
+    expression-statement
+    simple-declaration
+    alias-declaration
+```
+
+## 例
+```cpp example
+#include <iostream>
+
+int f() { return 1; }
+
+int main()
+{
+  // C++20 : OK
+  if (typedef int T; T x = f()) {
+    std::cout << x << std::endl;
+  }
+
+  // C++20 : OK
+  // C++23 : OK
+  if (using T = int; T x = f()) {
+    std::cout << x << std::endl;
+  }
+}
+```
+
+## 関連項目
+- [C++17 if文とswitch文の条件式と初期化を分離](/lang/cpp17/selection_statements_with_initializer.md)
+- [C++20 初期化式をともなう範囲for文](/lang/cpp20/range-based_for_statements_with_initializer.md)
+
+
+## 参照
+- [P2360R0 Extend init-statement to allow alias-declaration](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2360r0.html)