C++ Logo


Advanced search

Re: is_complete type trait?

From: Bjorn Reese <breese_at_[hidden]>
Date: Fri, 12 Nov 2021 10:39:54 +0100
On 11/12/21 10:31 AM, Bjorn Reese via Std-Proposals wrote:
> On 11/12/21 2:05 AM, connor horman via Std-Proposals wrote:
>> is_complete is a pure footgun. You can write it in pure C++ today, but
>> there are many questions about how it behaves, that can really only be
>> answered with "UB" or IFNDR. For example:
> Yes, this is why I asked if there have been any proposals, as they would
> have to address such topics.

Furthermore, many existing type traits requires complete types, so the
standard C++ library implementations must check for completeness today.

Received on 2021-11-12 03:40:00