std::is_signed

来自cppreference.com
< cpp‎ | types
 
C++
 
元编程库
类型特征
类型类别
(C++11)
(C++11)(DR*)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11) 
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)  
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
类型属性
(C++11)
(C++11)
(C++11)
(C++11)
(C++14)
(C++11)
(C++17)
(C++23)
(C++11)(C++26 弃用)
(C++11)
(C++11)
(C++11)(C++20 前*)
(C++11)(C++20 弃用)
is_signed
(C++11)
(C++11)
(C++20)
(C++20)
(C++23)
(C++17)
类型特征常量
(C++11)(C++17)(C++11)(C++11)
元函数
(C++17)
(C++17)
(C++17)
受支持操作
关系与属性查询
类型修改
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)
(C++11)
类型变换
(C++11)(C++23 弃用)
(C++11)(C++23 弃用)
(C++11)
(C++20)
(C++11)(C++20 前*)(C++17)

(C++11)
(C++11)
(C++20)
(C++11)
(C++20)
(C++11)
(C++17)
编译时有理数算术
编译时整数序列
(C++14)
 
在标头 <type_traits> 定义
template< class T >
struct is_signed;
 (C++11 起)

std::is_signed 是一元类型特征 (UnaryTypeTrait) 。

检查 T 是否为有符号算术类型。

  • 如果 std::is_arithmetic<T>::value 是 true，那么提供的成员常量 value 等于 T(-1) < T(0)。
  • 否则提供的成员常量 value 等于 false。

如果程序添加了 std::is_signed 或 std::is_signed_v 的特化，那么行为未定义。

目录

[编辑] 模板形参

T - 要检查的类型

[编辑] 辅助变量模板

template< class T >
constexpr bool is_signed_v = is_signed<T>::value;
 (C++17 起)
[编辑]

继承自 std::integral_constant

成员常量

value
[静态]
 如果 T 是有符号算术类型那么是 true，否则是 false
(公开静态成员常量)

成员函数

operator bool
 将对象转换到 bool，返回 value
(公开成员函数)
operator()
(C++14)
 返回 value
(公开成员函数)

成员类型

类型 定义
value_type bool
type std::integral_constant<bool, value>

[编辑] 可能的实现

namespace detail
{
    template<typename T, bool = std::is_arithmetic<T>::value>
    struct is_signed : std::integral_constant<bool, T(-1) < T(0)> {};
 
    template<typename T>
    struct is_signed<T, false> : std::false_type {};
}
 
template<typename T>
struct is_signed : detail::is_signed<T>::type {};

[编辑] 示例

运行此代码
#include <iostream>
#include <type_traits>
 
class A {};
static_assert(std::is_signed_v<A> == false);
 
class B { int i; };
static_assert(std::is_signed_v<B> == false);
 
enum C : int {};
static_assert(std::is_signed_v<C> == false);
 
enum class D : int {};
static_assert(std::is_signed_v<D> == false);
 
static_assert
(
    std::is_signed<signed int>::value == true and // C++11
    std::is_signed<signed int>() == true and      // C++11
    std::is_signed<signed int>{} == true and      // C++11
    std::is_signed_v<signed int> == true and      // C++17
    std::is_signed_v<unsigned int> == false and
    std::is_signed_v<float> == true and
    std::is_signed_v<bool> == false and
    std::is_signed_v<signed char> == true and
    std::is_signed_v<unsigned char> == false
);
 
int main()
{
    // char 是否有符号由实现定义：
    std::cout << std::boolalpha << std::is_signed_v<char> << '\n';
}

可能的输出： 

true

[编辑] 缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
LWG 2197 C++11 T 不是算术类型时 value 也有可能是 true 此时只能是 false

[编辑] 参阅

(C++11)
 检查类型是否为无符号算术类型
(类模板) [编辑]
[静态]
 鉴别有符号类型
(std::numeric_limits<T> 的公开静态成员常量) [编辑]
(C++11)
 检查类型是否为算术类型
(类模板) [编辑]
(C++11)
 获取整数类型的对应有符号类型
(类模板) [编辑]
(C++11)
 获取整数类型的对应无符号类型
(类模板) [编辑]
来自“https://zh.cppreference.com/mwiki/index.php?title=cpp/types/is_signed&oldid=95643”