Date: Fri, 12 Nov 2021 10:47:03 +0100
Hi,
On 12/11/2021 10:39, Bjorn Reese via Std-Proposals wrote:
>> 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.
Those type traits have completeness as a _precondition_, meaning that if
you violate it, the behaviour is undefined.
My 2 c,
On 12/11/2021 10:39, Bjorn Reese via Std-Proposals wrote:
>> 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.
Those type traits have completeness as a _precondition_, meaning that if
you violate it, the behaviour is undefined.
My 2 c,
-- Giuseppe D'Angelo | giuseppe.dangelo_at_[hidden] | Senior Software Engineer KDAB (France) S.A.S., a KDAB Group company Tel. France +33 (0)4 90 84 08 53, http://www.kdab.com KDAB - The Qt, C++ and OpenGL Experts
Received on 2021-11-12 03:47:15