std::make_signed
定义于头文件 <type_traits>
|
||
template< class T > struct make_signed; |
(C++11 起) | |
若 T
是整数(除 bool )或枚举类型,则提供是对应 T
的有符号整数类型的成员 typedef type
,它拥有相同的 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_signed
的特化的程序行为未定义。
成员类型
名称 | 定义 |
type
|
对应 T 的有符号整数类型
|
辅助类型
template< class T > using make_signed_t = typename make_signed<T>::type; |
(C++14 起) | |
示例
运行此代码
#include <iostream> #include <type_traits> int main() { typedef std::make_signed<char>::type char_type; typedef std::make_signed<int>::type int_type; typedef std::make_signed<volatile long>::type long_type; bool ok1 = std::is_same<char_type, signed char>::value; bool ok2 = std::is_same<int_type, signed int>::value; bool ok3 = std::is_same<long_type, volatile signed long>::value; std::cout << std::boolalpha << "char_type is 'signed char'? : " << ok1 << '\n' << "int_type is 'signed int'? : " << ok2 << '\n' << "long_type is 'volatile signed long'? : " << ok3 << '\n'; }
输出:
char_type is 'signed char'? : true int_type is 'signed int'? : true long_type is 'volatile signed long'? : true
参阅
(C++11) |
检查类型是否为有符号算术类型 (类模板) |
(C++11) |
检查类型是否为无符号算术类型 (类模板) |
(C++11) |
使给定的整型类型无符号 (类模板) |