goyoki https://blog.hatena.ne.jp/goyoki/ 千里霧中 https://goyoki.hatenablog.com/ C++20から導入されたコンセプト（concepts）は、テンプレート型のパラメータの制約を実現する、型制約の言語機能です。 コンセプトを使うと、従来のSFINAEなどのテクニックと比べて、簡潔に型の制約を記述できるようになるほか、制約違反時のエラーメッセージを格段に読みやすくできます。 ただコンセプトによって、型の制約をより複雑に書けるようになる側面があります。そこで需要が増えるのが、型制約のテストです。複雑なコンセプトを書けばプログラミング中に確認を行いたくなりますし、また例えばライブラリなどの汎用的なAPIでは型制約は重要な品質保証の対象になります。 コンセプトのテストの記述 コンセプト… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fgoyoki.hatenablog.com%2Fentry%2F2022%2F05%2F29%2F172240" title="C++ コンセプト（concepts）の型制約のテスト - 千里霧中" 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-05-29 17:22:40 rich https://goyoki.hatenablog.com/entry/2022/05/29/172240 1.0 100%