yohhoy https://blog.hatena.ne.jp/yohhoy/ yohhoyの日記 https://yohhoy.hatenadiary.jp/ C++ C++2a C++2a(C++20)コンセプトでは制約式(constraint-expression)に論理積(&&)／論理和(||)／論理否定(!)を表現できるが、制約式を用いたオーバーロード解決では通常の論理演算で期待される ド・モルガンの法則(De Morgan's laws) は適用されない。*1超要約：否定演算!を使ったコンセプトには要注意！ // C++2a #include <concepts> // integral, same_asコンセプト template <typename T> requires (!std::integral<T>) void f(T) { /*...*/ } … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyohhoy.hatenadiary.jp%2Fentry%2F20200815%2Fp1" title="C++コンセプトとド・モルガンの法則 - 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-08-15 00:00:00 rich https://yohhoy.hatenadiary.jp/entry/20200815/p1 1.0 100%