◐ Shell
clean mode source ↗

std::is_signed - cppreference.com

来自cppreference.com

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 的特化，那么行为未定义。

模板形参

辅助变量模板

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

继承自 std::integral_constant

成员常量

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

成员函数

将对象转换到 bool，返回 value
(公开成员函数)
返回 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';
}

可能的输出：

缺陷报告

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

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

参阅