yohhoyの日記

技術的メモをしていきたい日記

2020-12-17から1日間の記事一覧

requires制約とテンプレート特殊化の関係

C++

C++20コンセプトで導入されたrequires節と、テンプレート特殊化の組み合わせには注意が必要。例えば制約付きプライマリテンプレート(#1)に対してdouble型で明示的特殊化(#2)しようとしても、下記記述コードでは#2定義でill-formedになる。これは#1のrequires…