std::make_unsigned
Материал из cppreference.com
| Определён в заголовочном файле <type_traits>
|
||
| template< class T > struct make_unsigned; |
(начиная с C++11) | |
Если T является целочисленным типом (но не bool) или типом перечисления, то предоставляет определение типа в члене type, которое будет равно соответствующему T беззнаковому целочисленному типу с теми же cv-квалификаторами, иначе поведение будет не определено.
Содержание |
[править] Типы-члены
| Имя | Определение |
type
|
Беззнаковый целочисленный тип, соответствующий T
|
[править] Вспомогательные типы
| template< class T > using make_unsigned_t = typename make_unsigned<T>::type; |
(начиная с C++14) | |
[править] Пример
Запустить этот код
#include <iostream> #include <type_traits> int main() { typedef std::make_unsigned<char>::type char_type; typedef std::make_unsigned<int>::type int_type; typedef std::make_unsigned<volatile long>::type long_type; bool ok1 = std::is_same<char_type, unsigned char>::value; bool ok2 = std::is_same<int_type, unsigned int>::value; bool ok3 = std::is_same<long_type, volatile unsigned long>::value; std::cout << std::boolalpha << "char_type является 'unsigned char'? : " << ok1 << '\n' << "int_type является 'unsigned int'? : " << ok2 << '\n' << "long_type является 'volatile unsigned long'? : " << ok3 << '\n'; }
Вывод:
char_type is 'unsigned char'? : true int_type is 'unsigned int'? : true long_type is 'volatile unsigned long'? : true
[править] См. также
| (C++11) |
Проверяет является ли тип знаковым арифметическим типом или нет (шаблон класса) |
| (C++11) |
Проверяет является ли тип беззнаковым арифметическим типом или нет (шаблон класса) |
| (C++11) |
Делает данный целочисленный тип знаковым (шаблон класса) |
