命名空间
变体
操作

std::make_signed

来自 cppreference.com
< cpp‎ | types
 
 
元编程库
类型特征
类型类别
(C++11)
(C++14)  
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
类型属性
(C++11)
(C++11)
(C++14)
(C++11)
(C++11)(直到 C++20*)
(C++11)(C++20 中已弃用)
(C++11)
类型特征常量
元函数
(C++17)
支持的操作
关系和属性查询
类型修改
(C++11)(C++11)(C++11)
make_signed
(C++11)
类型转换
(C++11)(C++23 中已弃用)
(C++11)(C++23 中已弃用)
(C++11)
(C++11)
(C++17)

(C++11)(直到 C++20*)(C++17)
编译时有理数算术
编译时整数序列
 
定义在头文件 <type_traits>
template< class T >
struct make_signed;
(自 C++11 起)

如果 T 是一个整数类型(除了 bool)或枚举类型,则提供成员类型定义 type,它对应于 T 的带符号整数类型,具有相同的 cv 限定符。

如果 T 是带符号或无符号 charshortintlonglong long,则提供此列表中对应于 T 的带符号类型。

如果 T 是枚举类型或 charwchar_t, char8_t(自 C++20 起)char16_tchar32_t,则提供具有与 T 相同 sizeof 的具有最小 的带符号整数类型。

否则,行为未定义。

(直到 C++20)

否则,程序格式错误。

(自 C++20 起)

如果程序为 std::make_signed 添加了特化,则行为未定义。

内容

[编辑] 成员类型

名称 定义
type 对应于 T 的带符号整数类型

[编辑] 辅助类型

template< class T >
using make_signed_t = typename make_signed<T>::type;
(自 C++14 起)

[编辑] 示例

#include <type_traits>
 
enum struct E : unsigned short {};
 
int main()
{
    using char_type = std::make_signed_t<unsigned char>;
    using int_type  = std::make_signed_t<unsigned int>;
    using long_type = std::make_signed_t<volatile unsigned long>;
    using enum_type = std::make_signed_t<E>;
 
    static_assert(
        std::is_same_v<char_type, signed char> and
        std::is_same_v<int_type, signed int> and
        std::is_same_v<long_type, volatile signed long> and
        std::is_same_v<enum_type, signed short>
    );
}

[编辑] 另请参见

(C++11)
检查类型是否为带符号算术类型
(类模板) [编辑]
检查类型是否为无符号算术类型
(类模板) [编辑]
获取给定整数类型的对应带符号类型
(类模板) [编辑]