C++ Logo


Advanced search

Missing standard concepts "subsumes" relations

From: Andrew Schepler <aschepler_at_[hidden]>
Date: Sun, 29 Aug 2021 13:59:57 -0400
It seems the C++20 standard library concepts missed out on some
requirements for one concept to subsume another. For example, should we
consider it incorrect that concept std::integral is not subsumed by
std::destructible, std::copy_constructible, std::regular, etc.? If T is a
fundamental integer type, then T is regular, but conforming compilers can't
use these facts in partial ordering of templates. Should this be a Defect
Report? Or has this sort of issue been considered by the Committees, or is
anyone working on a related paper?

-- Andrew Schepler

Received on 2021-08-29 13:00:12