std::make_unsigned
来自cppreference.com
                    
                                        
                    
                    
                                                            
                    |   定义于头文件  <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)  | 
  使给定的整型类型有符号   (类模板)  |