C++20 非型テンプレートパラメータとしてクラス型を許可する : プレースホルダー型とリテラル演算子の例を追加

#1273 (comment)

Author: faithandbrave

GLOBAL_QUALIFY_LIST.txt

@@ -9,6 +9,7 @@
 * <algorithm>[link /reference/algorithm.md]
     * ExecutionPolicy[link /reference/execution/execution/execution_policy.md]
     * std::copy[link /reference/algorithm/copy.md]
+    * std::copy_n[link /reference/algorithm/copy_n.md]
     * std::for_each[link /reference/algorithm/for_each.md]
     * std::sort[link /reference/algorithm/sort.md]
 * <any>[link /reference/any.md]

lang/cpp20/class_types_in_non-type_template_parameters.md

@@ -44,6 +44,7 @@ C++11以降での[汎用的な定数式`constexpr`](/lang/cpp11/constexpr.md)の
 
 
 ## 例
+### floatやクラス型を非型テンプレートパラメータにする例
 ```cpp example
 #include <utility>
 
@@ -105,10 +106,79 @@ int main() {
 }
 ```
 
-### 出力
+#### 出力
 ```
 ```
 
+### プレースホルダーを含む型を非型テンプレートパラメータにする例
+```cpp example
+#include <iostream>
+
+template <class T>
+struct X {
+  constexpr X(T x) : value(x) {}
+  T value;
+};
+
+template <X x>
+struct Y {
+  void print() {
+    std::cout << x.value << std::endl;
+  }
+};
+
+int main() {
+  // Xクラステンプレートのテンプレートパラメータが
+  // コンストラクタ引数`3`から推論される
+  Y<3>{}.print();
+}
+```
+
+#### 出力
+```
+3
+```
+
+
+### 文字列クラスオブジェクトを非型テンプレートパラメータにしてリテラル演算子を定義する例
+```cpp example
+#include <iostream>
+#include <algorithm>
+
+template <typename CharT, std::size_t N>
+struct basic_fixed_string {
+  constexpr basic_fixed_string(const CharT (&str)[N+1])
+  { std::copy_n(str, N+1, data); }
+
+  friend auto operator<=>(const basic_fixed_string&, const basic_fixed_string&) = default;
+  CharT data[N+1];
+};
+
+template <typename CharT, std::size_t N>
+basic_fixed_string(const CharT (&str)[N]) -> basic_fixed_string<CharT, N-1>;
+
+template <std::size_t N>
+using fixed_string = basic_fixed_string<char, N>;
+
+namespace my_literals {
+template <basic_fixed_string str>
+auto operator""_udl() {
+    return str;
+}
+}
+
+int main() {
+  using namespace my_literals;
+  auto s = "hello"_udl;
+  std::cout << s.data << std::endl;
+}
+```
+
+#### 出力
+```
+hello
+```
+
 
 ## 備考
 - [Bug 97930 - `pair` is not a structural type](https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97930)
@@ -121,4 +191,4 @@ int main() {
 
 ## 参照
 - [P0732R2 Class Types in Non-Type Template Parameters](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0732r2.pdf)
-- [P1907R1 Inconsistencies with non-type template parameters](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1907r1.html)
+- [P1907R1 Inconsistencies with non-type template parameters](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1907r1.html)