C++23 : 「継承コンストラクタからのクラステンプレート引数の推論」を追加 (close #1035)

Author: faithandbrave

implementation-status.md

@@ -264,7 +264,7 @@
 | P2362R3: [1ワイド文字に収まらないワイド文字リテラルを禁止する](/lang/cpp23/remove_non_encodable_wide_character_literals_and_multicharacter_wide_character_literals.md) | エンコード結果として`wchar_t`の大きさに収まらないワイド文字リテラルを禁止する | 13 | 14 | 2023.2 | - |
 | P2071R2: [名前付きユニバーサルキャラクタ名](/lang/cpp23/named_universal_character_escapes.md) | 16進数のユニバーサルキャラクタだけでなく、その文字の名前を入力できるようにする | 13 | 15 | 2023.2 | - |
 | P2096R2: [部分特殊化の汎用化仕様](/lang/cpp23/generalized_wording_for_partial_specializations.md.nolink) | 変数テンプレートの部分特殊化を許可するために部分特殊化の仕様を汎用化 | - | - | - | - |
-| P2582R1: [継承コンストラクタからのクラステンプレート引数の推論](/lang/cpp23/class_template_argument_deduction_from_inherited.md.nolink) | | - | - | - | - |
+| P2582R1: [継承コンストラクタからのクラステンプレート引数の推論](/lang/cpp23/class_template_argument_deduction_from_inherited.md) | 継承コンストラクタからもクラステンプレート引数を推論できるようにする | - | - | - | - |
 | P1938R3: [`if consteval`](/lang/cpp23/if_consteval.md.nolink) | コンパイル時の文脈かどうかで分岐させる | 12 | 14 | - | - |
 | P1401R5: [定数式の文脈での`bool`への縮小変換を許可](/lang/cpp23/narrowing_contextual_conversions_to_bool.md.nolink) | `if constexpr(flags & Flags::Exec)`や`static_assert(N);`を許可 | 9 | 13 | 2022.2 | - |
 | P2242R3: [定数式内での非リテラル変数、静的変数・スレッドローカル変数およびgotoとラベルの存在を許可する](/lang/cpp23/non_literal_variables_in_constexpr_functions.md) | コンパイル時に評価されない限り、定数式内に静的変数・スレッドローカル変数およびgoto文とラベルを含むことを許可する | 12 | 15 | 2022.2 | - |

lang/cpp17/type_deduction_for_class_templates.md

@@ -283,6 +283,7 @@ int main()
     - `std::array`の推論補助からは、非トリビアルなコンストラクタを持たないクラステンプレートであっても、推論補助を定義できることがわかる。ただし、配列の要素型を推論するためには、推論しない場合とは違った制限が必要となる
 - [C++20 集成体クラステンプレートのテンプレート引数推論](/lang/cpp20/class_template_argument_deduction_for_aggregates.md)
 - [C++20 エイリアステンプレート経由でのクラステンプレートのテンプレート引数推論](/lang/cpp20/class_template_argument_deduction_for_alias_templates.md)
+- [C++23 継承コンストラクタからのクラステンプレート引数の推論](/lang/cpp23/class_template_argument_deduction_from_inherited.md)
 
 
 ## 参照

lang/cpp23.md

@@ -60,7 +60,7 @@ C++23とは、2023年中に改訂される予定の、C++バージョンの通
 | 言語機能 | 説明 |
 |----------|------|
 | [部分特殊化の汎用化仕様](cpp23/generalized_wording_for_partial_specializations.md.nolink) | 変数テンプレートの部分特殊化を許可するために部分特殊化の仕様を汎用化 |
-| [継承コンストラクタからのクラステンプレート引数の推論](cpp23/class_template_argument_deduction_from_inherited.md.nolink) | |
+| [継承コンストラクタからのクラステンプレート引数の推論](cpp23/class_template_argument_deduction_from_inherited.md) | 継承コンストラクタからもクラステンプレート引数を推論できるようにする |
 
 
 ### 定数式

lang/cpp23/class_template_argument_deduction_from_inherited.md

@@ -0,0 +1,62 @@
+# 継承コンストラクタからのクラステンプレート引数の推論
+* cpp23[meta cpp]
+
+## 概要
+C++23では、派生クラスで定義した継承コンストラクタからでも、クラステンプレート引数を推論できるようになる。
+
+
+基本的な例：
+
+```cpp
+template <typename T>
+struct B {
+  B(T);
+};
+
+template <typename T>
+struct C : public B<T> {
+  using B<T>::B;
+};
+
+template <typename T>
+struct D : public B<T> {};
+
+C c(42); // C++23:OK, C<int>に推論される
+D d(42); // エラー！推論失敗。推論補助が継承されていない
+
+B(int) -> B<char>; // 推論補助を追加定義
+C c2(42); // OK。C<char>に推論される
+
+template <typename T>
+struct E : public B<int> {
+  using B<int>::B;
+};
+
+E e(42); // エラー！推論失敗。Eのテンプレート引数を推論補助から推論できない
+```
+
+
+派生クラスもテンプレート引数をもつ場合：
+
+```cpp
+template <typename T, typename U, typename V>
+struct F {
+  F(T, U, V);
+};
+
+template <typename T, typename U>
+struct G : F<U, T, int> {
+  using G::F::F;
+};
+
+G g(true, 'a', 1); // OK。G<char, bool>に推論される
+```
+
+
+## 関連項目
+- [C++11 継承コンストラクタ](/lang/cpp11/inheriting_constructors.md)
+- [C++17 クラステンプレートのテンプレート引数推論](/lang/cpp17/type_deduction_for_class_templates.md)
+
+
+## 参照
+- [P2582R1 Wording for class template argument deduction from inherited constructors](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2582r1.pdf)