std::is_signed

出自cppreference.com
 
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 棄用)
(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)
 獲取整數類型的對應無符號類型
(類模板) [編輯]