コンセプトの定義内でも、型に対する要件を指定することができます。 これを関連要件(Associated Requirements)といいます。 concept Hoge<class X> { requires std::CopyConstructible<X>; } たとえば、述語を表すPredicateコンセプトを定義する際には、 戻り値の型はbo</x></class>…

アキラ(Faith and Brave)の本棚

明日、檜山さんの「技術者／プログラマのためのラムダ計算、論理、圏」セミナーに参加してきます。