C++26 : 「パラメータパックへのインデックスアクセスを許可」を追加 (close #1230)

Author: faithandbrave

implementation-status.md

@@ -299,7 +299,7 @@
 | P2738R1: [定数式での`void*`からポインタ型へのキャストを許可](/lang/cpp26/constexpr_cast_from_voidptr.md) | 型消去のために`void*`からポインタ型へのキャストを許可する | 14 | 17 | | |
 | P2741R3: [`static_assert`の診断メッセージにユーザーが生成した文字列の指定を許可](/lang/cpp26/user-generated_static_assert_messages.md) | `constexpr`な`S.size()`と`S.data()`メンバ関数をもつオブジェクトをコンパイル時文字列として指定できるようにする | 14 | 17 | | |
 | P2558R2: [基本文字集合に@、$、\`を追加](/lang/cpp26/add_atsign_dollar_graveaccent_to_the_basic_character_set.md) | C言語との互換性のためにこれらの文字を基本文字集合に追加 | | Yes | | |
-| P2662R3: [パラメータパックへのインデックスアクセスを許可](/lang/cpp26/pack_indexing.md.nolink) | 可変引数テンプレートのパラメータパックに添字アクセスできるようにする | 15 | | | |
+| P2662R3: [パラメータパックへのインデックスアクセスを許可](/lang/cpp26/pack_indexing.md) | 可変引数テンプレートのパラメータパックに添字アクセスできるようにする | 15 | | | |
 | P2864R2: [非推奨となっていた列挙値から算術型への暗黙変換を削除](/lang/cpp26/remove_deprecated_arithmetic_conversion_on_enumerations.md) | C++20から非推奨となっていた列挙値への算術演算で算術型に暗黙変換される仕様を削除 | 14 | 18 | | |
 | P2748R5: [返却された左辺値から暗黙変換された一時オブジェクトが参照に束縛されることを禁止する](/lang/cpp26/disallow_binding_a_returned_glvalue_to_a_temporary.md) | 寿命切れの変数によって引き起こされるバグを防止する | 14 | 19 | | |
 | P3106R1: [要素数不明の配列を集成体初期化する規則を明確化](/lang/cpp26/clarifying_rules_for_brace_elision_in_aggregate_initialization.md.nolink) | 配列要素の集成体初期化で`{}`が省略された場合の矛盾していた規定を修正 | yes | 17 | | |

lang/cpp11/variadic_templates.md

@@ -389,7 +389,7 @@ void f(const T1& t1, const T2& t2, const T3& t3);
 ## <a id="relative-page" href="#relative-page">関連項目</a>
 - [C++11 可変引数マクロ](variadic_macros.md)
 - [C++17 畳み込み式](/lang/cpp17/folding_expressions.md)
-- [C++26 パラメータパックへのインデックスアクセスを許可](/lang/cpp26/pack_indexing.md.nolink)
+- [C++26 パラメータパックへのインデックスアクセスを許可](/lang/cpp26/pack_indexing.md)
 - [C++26 可変引数テンプレートで`friend`宣言をできるようにする](/lang/cpp26/variadic_friends.md)
 
 

lang/cpp26.md

@@ -65,7 +65,7 @@ C++26とは、2026年中に改訂される予定の、C++バージョンの通
 
 | 言語機能 | 説明 |
 |----------|------|
-| [パラメータパックへのインデックスアクセスを許可](/lang/cpp26/pack_indexing.md.nolink) | 可変引数テンプレートのパラメータパックに添字アクセスできるようにする |
+| [パラメータパックへのインデックスアクセスを許可](/lang/cpp26/pack_indexing.md) | 可変引数テンプレートのパラメータパックに添字アクセスできるようにする |
 | [制約式内での畳み込み式の順序付け](/lang/cpp26/ordering_of_constraints_involving_fold_expressions.md.nolink) | 畳み込み式では全体ではなく個別の制約を原子制約式として扱う |
 | [可変引数テンプレートで`friend`宣言をできるようにする](/lang/cpp26/variadic_friends.md) | クラステンプレートの可変引数テンプレートでまとめて`friend`宣言できるようにする |
 | [コンセプトと変数テンプレートにテンプレートテンプレートパラメータのサポートを追加](/lang/cpp26/concept_and_variable-template_template-parameters.md.nolink) | テンプレート引数をあとで指定するテンプレートテンプレートパラメータを、コンセプトと変数テンプレートでも使用できるようにする |

lang/cpp26/pack_indexing.md

@@ -0,0 +1,67 @@
+# パラメータパックへのインデックスアクセスを許可 [P2662R3]
+* cpp26[meta cpp]
+
+<!-- start lang caution -->
+
+このページはC++26に採用される見込みの言語機能の変更を解説しています。
+
+のちのC++規格でさらに変更される場合があるため[関連項目](#relative-page)を参照してください。
+
+<!-- last lang caution -->
+
+## 概要
+C++26では、可変引数テンプレートのパラメータパックに対してインデックスアクセスを行う添字構文が導入される。この機能により、パラメータパックの特定の要素に直接アクセスできるようになる。
+
+これにより、従来の再帰的テンプレートメタプログラミングやタプルの[`std::get()`](/reference/tuple/tuple/get.md)などを使用する必要がなくなり、コードの簡潔さと可読性が向上する。
+
+```cpp
+template <class... T>
+constexpr auto first_plus_last(T... values) -> T...[0] {
+  return T...[0](values...[0] + values...[sizeof...(values)-1]);
+}
+
+int main() {
+  //first_plus_last(); // コンパイルエラー！
+  static_assert(first_plus_last(1, 2, 10) == 11);
+}
+```
+
+パラメータパックへのインデックスアクセスは、値のパラメータパック、および型のパラメータパックどちらに対しても使用できる。
+
+インデックスが範囲外の場合、コンパイルエラーとなる。
+
+
+## 例
+### N番目の要素を取得する
+```cpp example
+#include <iostream>
+#include <utility>
+#include <tuple>
+
+template <int I, typename... Args>
+void print_nth(Args&&... args) {
+  // C++23実装 : タプルに変換してからI番目の要素を参照する
+  // auto value = std::get<I>(std::forward_as_tuple(std::forward<Args>(args)...));
+
+  // C++26実装 : 添字構文でI番目の要素を参照する
+  auto value = args...[I];
+
+  std::cout << value << std::endl;
+}
+
+int main() {
+  print_nth<2>("A", "B", "C", "D"); // 出力: C
+}
+```
+
+#### 出力
+```
+C
+```
+
+## <a id="relative-page" href="#relative-page">関連項目</a>
+- [C++11 可変引数テンプレート](/lang/cpp11/variadic_templates.md)
+
+
+## 参照
+- [P2662R3 Pack Indexing](https://open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2662r3.pdf)