Re: type traits

From: John Maddock (jz.maddock_at_[hidden])
Date: 2024-02-05 13:41:15

> Since integral types are actually a compound category in the standard,
>
> "The character types, bool, the signed and unsigned integer types,
> and cv-qualified versions ([basic.type.qualifier]) thereof, are collectively
> termed integral types."
Sure, and we have is_integral for that.
> I think there is justification for providing the separate categories for
> signed integer (https://eel.is/c++draft/basic.fundamental#1), unsigned
> integer (https://eel.is/c++draft/basic.fundamental#2), character
> (https://eel.is/c++draft/basic.fundamental#11) and, for completeness,
> bool.

I have no great objection to that, though it will have to wait until I 
have some spare time, unless someone wants to submit a PR sooner.

Best, John.