yohhoy https://blog.hatena.ne.jp/yohhoy/ yohhoyの日記 https://yohhoy.hatenadiary.jp/ C++ C++20コンセプトでは制約式(constraint-expression)を&&(conjunction)／||(disjunction)で組み合わせることで複雑な制約式を表現できる。一方で制約式が多数の原子制約(atomic constraint)から構成されるケースでは、包摂関係(subsumption relation)判定のための正規化プロセスが複雑になりコンパイル時間に悪影響を及ぼす。例えばコンセプトX, Y, Zからなるコンセプトの定義方法として、下記2種類が考えられる。コンセプトC1は3個の原子制約から、一見すると記述が冗長なコンセプトC2は2個の原子制約から構成されるため、包… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyohhoy.hatenadiary.jp%2Fentry%2F20220217%2Fp1" title="コンセプト制約式の構成：包摂関係 vs. コンパイル時間 - yohhoyの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2022-02-17 00:00:00 rich https://yohhoy.hatenadiary.jp/entry/20220217/p1 1.0 100%