5 Feb
2024
5 Feb
'24
1:41 p.m.
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.