std::make_unsigned
定义于头文件 <type_traits>
|
||
template< class T > struct make_unsigned; |
(C++11 起) | |
若 T
是整数(除 bool )或枚举类型,则提供成员 typedef type
,它是对应 T
的拥有相同 cv 限定符的无符号整数类型。
若 T
为有符号或无符号的 char 、 short 、 int 、 long 、 long long ;则提供来自此列表的对应 T
的无符号类型。
若 T
为枚举类型或 char 、 wchar_t 、 char8_t (C++20 起)、 char16_t 、 char32_t ;则提供与 T
有相同 sizeof
的有最小等级的无符号整数类型。
否则,行为未定义。 |
(C++20 前) |
否则,程序为非良构。 |
(C++20 起) |
添加 make_unsigned
的特化的程序行为未定义。
成员类型
成员 | 定义 |
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 is 'unsigned char'? : " << ok1 << '\n' << "int_type is 'unsigned int'? : " << ok2 << '\n' << "long_type is '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) |
使给定的整型类型有符号 (类模板) |