C++23 : 「添字演算子の多次元サポート」を追加 (close #1028)

Author: faithandbrave

implementation-status.md

@@ -257,7 +257,7 @@
 | P2324R2: [複合文の末尾へのラベルを許可](/lang/cpp23/labels_at_the_end_of_compound_statements.md) | C互換のため、複合文の末尾でのgoto文のラベルを許可する | 13 | 16 | 2023.2 | - |
 | P0847R7: [自身のオブジェクトを明示的にパラメータとして指定する](/lang/cpp23/deducing_this.md.nolink) | メンバ関数が`*this`の型・オブジェクトをパラメータとしてとり、`*this`オブジェクトがconst/非const、左辺値/右辺値であるかをメンバ関数内で識別できるようにする | - | 18 | - | 2022 Update 2 (partial) |
 | P1847R4: [アクセス制御の異なるメンバ変数のレイアウトを宣言順に規定](/lang/cpp23/make_declaration_order_layout_mandated.md) | アクセス制御の異なるメンバ変数のレイアウトは並び替えを許可されていたが宣言順に規定する | Yes | Yes | - | 2022 |
-| P2128R6: [添字演算子の多次元サポート](/lang/cpp23/multidimensional_subscript_operator.nd.nolink) | `operator[](int x, int y, int z)`のように添字演算子のオーバーロードで複数のパラメータをとることを許可 | 12 | 15 | 2022.2 | - |
+| P2128R6: [添字演算子の多次元サポート](/lang/cpp23/multidimensional_subscript_operator.md) | `operator[](int x, int y, int z)`のように添字演算子のオーバーロードで複数のパラメータをとることを許可 | 12 | 15 | 2022.2 | - |
 | P1169R4: [`this`ポインタをもつ必要のない演算子を`static`として宣言できるようにする](/lang/cpp23/static_operator.md) | 状態をもたないいくつかの演算子を`static`として宣言できるようにする | 13 | 16 | 2023.2 | - |
 | P2201R1: [異なる文字エンコーディングをもつ文字列リテラルの連結を不適格とする](/lang/cpp23/mixed_string_literal_concatenation.md) | `auto a = u8"" L"";`のような異なる文字エンコーディング同士での文字列リテラルを連結を禁止する | Yes | Yes | 2022.2 | Yes |
 | P2029R4: [文字・文字列リテラル中の数値・ユニバーサルキャラクタのエスケープに関する問題解決](/lang/cpp23/numeric_and_universal_character_escapes_in_character_and_string_literals.md.nolink) | | - | - | - | - |

lang/cpp20/deprecate_uses_of_the_comma_operator_in_subscripting_expressions.md

@@ -15,5 +15,8 @@ ar[x, y]   // C++17:OK, C++20:非推奨
 既存のカンマ演算子をオーバーロードしたコードを使用する場合は、丸カッコで囲むこと。
 
 
+## 関連項目
+- [C++23 添字演算子の多次元サポート](/lang/cpp23/multidimensional_subscript_operator.md)
+
 ## 参照
 - [P1161R3 Deprecate uses of the comma operator in subscripting expressions](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1161r3.html)

lang/cpp23.md

@@ -40,7 +40,7 @@ C++23とは、2023年中に改訂される予定の、C++バージョンの通
 |----------|------|
 | [自身のオブジェクトを明示的にパラメータとして指定する](cpp23/deducing_this.md.nolink) | メンバ関数が`*this`の型・オブジェクトをパラメータとしてとり、`*this`オブジェクトがconst/非const、左辺値/右辺値であるかをメンバ関数内で識別できるようにする |
 | [アクセス制御の異なるメンバ変数のレイアウトを宣言順に規定](cpp23/make_declaration_order_layout_mandated.md) | アクセス制御の異なるメンバ変数のレイアウトは並び替えを許可されていたが宣言順に規定する |
-| [添字演算子の多次元サポート](cpp23/multidimensional_subscript_operator.nd.nolink) | `operator[](int x, int y, int z)`のように添字演算子のオーバーロードで複数のパラメータをとることを許可 |
+| [添字演算子の多次元サポート](cpp23/multidimensional_subscript_operator.md) | `operator[](int x, int y, int z)`のように添字演算子のオーバーロードで複数のパラメータをとることを許可 |
 | [`this`ポインタをもつ必要のない演算子を`static`として宣言できるようにする](cpp23/static_operator.md) | 状態をもたないいくつかの演算子を`static`として宣言できるようにする |
 
 

lang/cpp23/multidimensional_subscript_operator.md

@@ -0,0 +1,50 @@
+# 添字演算子の多次元サポート
+* cpp23[meta cpp]
+
+## 概要
+C++23では、多次元配列クラスを定義するために必要となる、添字演算子のオーバーロードを定義する際の複数引数を許可する。
+
+```cpp
+R operator[](int x, int y, int z);
+```
+
+複数の許可がされるまでは、以下のような回避策がとられていた：
+
+- 添字アクセスを、関数呼び出し演算子で代用
+- カンマ演算子をオーバーロードして、複数引数をひとつの引数にまとめる
+
+
+## 例
+```cpp example
+struct Matrix2x2 {
+  float data[2 * 2];
+
+  float& operator[](int x, int y) {
+    return data[y * 2 + x];
+  }
+};
+
+#include <iostream>
+int main() {
+  Matrix2x2 mat = {
+    1.0f, 2.0f,
+    3.0f, 4.0f
+  };
+
+  float r = mat[0, 1];
+  std::cout << r << std::endl;
+}
+```
+
+### 出力
+```
+3
+```
+
+## 関連項目
+- [C++20 添字演算子内でのカンマ演算子の使用を非推奨化](/lang/cpp20/deprecate_uses_of_the_comma_operator_in_subscripting_expressions.md)
+- [`std::mdspan`](/reference/mdspan/mdspan.md)
+
+
+## 参照
+- [P2128R6 Multidimensional subscript operator](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2128r6.pdf)

reference/mdspan/mdspan.md

@@ -181,6 +181,7 @@ int main()
 - [`extents`](extents.md)
 - [LayoutMappingPolicy](LayoutMappingPolicy.md)
 - [AccessorPolicy](AccessorPolicy.md)
+- [C++23 添字演算子の多次元サポート](/lang/cpp23/multidimensional_subscript_operator.md)
 
 
 ## 参照