yohhoy https://blog.hatena.ne.jp/yohhoy/ yohhoyの日記 https://yohhoy.hatenadiary.jp/ C++ C++2a C++2a(C++20)コンセプトにおける原子制約(atomic constraint)では、パラメータ置換(parameter mapping)の失敗はハードエラー(ill-formed)を引き起こさず、その制約式を満たさない(not satisfied)と解釈される。C++17現在はstd::void_tやstd::conjunctionを駆使した難解なテンプレートメタプログラミング技法が要求されるが、C++2aでは単純な制約式記述によるコンセプト定義により代替される。はず。＼＼\\٩( 'ω' )و //／／ある型TがT::value_type = int型を定義するか確認するメタ関数／… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyohhoy.hatenadiary.jp%2Fentry%2F20201123%2Fp1" title="コンセプトのパラメータ置換失敗はハードエラーではない - 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 2020-11-23 00:00:00 rich https://yohhoy.hatenadiary.jp/entry/20201123/p1 1.0 100%