Здравствуйте, Marty, Вы писали:

M>Здравствуйте!

M>Для отделения базовых типов есть is_integral и is_floating_point.

M>Можно ли как-то так же из интегральных типов выделить bool и char — char хочу отделить от int8_t/uint8_t, которые, скорее всего, определены, как signed/unsigned char, а в плюсах, как мы знаем, signed char, unsigned char и char — это разные типы

template<typename T> using is_bool = std::is_same<T, bool>;
template<typename T> using is_char = std::is_same<T, char>;

Или использовать is_same/is_same_v по месту, не порождая лишних сущностный...