Quantcast
Channel: Why does double negation change the value of C++ concept? - Stack Overflow
Browsing latest articles
Browse All 3 View Live

Answer by chris for Why does double negation change the value of C++ concept?

The important thing to realize is that per [temp.constr.constr], atomic constraints are composed only via conjunctions (through top-level &&) and disjunctions (through top-level ||). Negation...

View Article



Answer by StoryTeller - Unslander Monica for Why does double negation change...

Here the concept D is the same as the concept CThey are not. Constraints (and concept-ids) are normalized when checked for satisfaction and broken down to atomic constraints.[temp.names]8 A concept-id...

View Article

Why does double negation change the value of C++ concept?

A friend of mine shown me a C++20 program with concepts, which puzzled me:struct A { static constexpr bool a = true; };template <typename T>concept C = T::a || T::b;template <typename...

View Article
Browsing latest articles
Browse All 3 View Live




Latest Images