From ef32aea61e8c96a00ab48eb5ecbd95d76c3b6d7e Mon Sep 17 00:00:00 2001 From: nilgawa <75154787+nilgawa@users.noreply.github.com> Date: Sun, 27 Dec 2020 19:33:38 +0900 Subject: [PATCH] =?UTF-8?q?=E9=9D=9E=E5=9E=8B=E3=83=86=E3=83=B3=E3=83=97?= =?UTF-8?q?=E3=83=AC=E3=83=BC=E3=83=88=E5=88=B6=E7=B4=84=E3=82=92=E5=89=8A?= =?UTF-8?q?=E9=99=A4?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit https://timsong-cpp.github.io/cppwp/n4861/temp.param#4 https://godbolt.org/z/doY7We 規格上も実装上も、非型テンプレート制約は作れないようなので該当部分を削除？ --- lang/cpp20/concepts.md | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/lang/cpp20/concepts.md b/lang/cpp20/concepts.md index 4744a48baf..40ebb705f7 100644 --- a/lang/cpp20/concepts.md +++ b/lang/cpp20/concepts.md @@ -612,18 +612,6 @@ int main() { X x; // requires Addable ``` - - コンセプトのテンプレートパラメータが非型である場合、そのコンセプトを使用した制約テンプレートパラメータは非型になる： - ```cpp - template - concept C = N >= 0; - - template - struct X {}; - - X<1> x; - //X<-1> y; // コンパイルエラー！制約を満たさない - ``` - - 制約パラメータに省略記号がついている場合、パラメータパックと見なされる。単一パラメータのコンセプトをパラメータパックにした場合、パラメータパックの各テンプレートパラメータがそのコンセプトを満たすべきという制約になる。複数パラメータをとるコンセプトをパラメータパックにした場合、そのパラメータパックに渡された引数列がコンセプトに渡される： ```cpp template concept C1 = true;