C++ Logo


Advanced search

Re: is_complete type trait?

From: Giuseppe D'Angelo <giuseppe.dangelo_at_[hidden]>
Date: Fri, 12 Nov 2021 10:47:03 +0100

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