Тип черты Wich верно для всех сопз/летучего/подпись/без знака версии фундаментального типа

Question

Рассмотрим следующие тесты:

std::is_same<T, bool>::value 
std::is_same<T, char>::value 
std::is_same<T, short int>::value 
std::is_same<T, int>::value 
std::is_same<T, long int>::value 
std::is_same<T, long long int>::value 
std::is_same<T, float>::value 
std::is_same<T, double>::value 
std::is_same<T, long double>::value 

Проблема заключается в том, если T = const unsigned char, все тесты будут ложными, и я хотел бы этот std::is_same<T, char>::value, чтобы быть правдой. Или, если T = volatile signed long long int, я бы хотел, чтобы std::is_same<T, long long int>::value был правдой. Как это сделать с type_traits?

Answer 1

Использование std::remove_cv для удаления const и volatile если присутствуют:

std::is_same<std::remove_cv<T>::type, long long int>::value; 

Answer 2

Вы можете использовать std::remove_cv позаботиться о константных энергонезависимых спецификаторах.

И вы можете использовать std::make_signed, чтобы заботиться о подписанной/неподписанной проблеме. Хотя, мне не особенно нравится эта идея (unsigned char действительно то же самое, что и char?).

std::is_same< std::make_signed< std::remove_cv<T> >, char >::value; 

будет верно для любого из char, unsigned char, const char, const unsigned char и летучих версий тех.