std::is_empty

出自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_empty;
(C++11 起)

std::is_empty 是一元類型特徵 (UnaryTypeTrait) 。

如果 T 是空類型（即沒有除了 0 大小位域以外的非靜態數據成員，沒有虛函數，沒有虛基類，且沒有非空基類的非聯合類類型），那麼提供的成員常量 value 等於 true。對於其它任何類型，value 等於 false。

如果 T 是不完整的非聯合類類型，那麼行為未定義。

如果程序添加了 std::is_empty 或 std::is_empty_v 的特化，那麼行為未定義。

模板形參

T - 要檢查的類型

輔助變量模板

template< class T >
constexpr bool is_empty_v = is_empty<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>

註解

因為空基類優化，從空類類型繼承通常不增加類的大小。

std::is_empty<T> 和所有其他類型特徵都是空類。

示例

運行此代碼
#include <iostream>
#include <type_traits>

struct A {};
static_assert(std::is_empty_v<A> == true);

struct B { int m; };
static_assert(std::is_empty_v<B> == false);

struct C { static int m; };
static_assert(std::is_empty_v<C> == true);

struct D { virtual ~D(); };
static_assert(std::is_empty_v<D> == false);

union E {};
static_assert(std::is_empty_v<E> == false);

struct F { [[no_unique_address]] E e; };

struct G
{
    int:0;
    // C++ 标准允许“作为特殊情况，无名的长度为零的位域指定下个位域在分配单元边界对齐。
    // 仅当声明无名位域时宽度可为零。”
};
static_assert(std::is_empty_v<G> == true); // 宽度为 0 的无名位域

int main()
{
    std::cout << std::boolalpha;
    std::cout << "F：" << std::is_empty_v<F> << '\n'; // 结果依赖 API
}

可能的輸出： 

F：true

缺陷報告

下列更改行為的缺陷報告追溯地應用於以前出版的 C++ 標準。

缺陷報告 應用於 出版時的行為 正確行為
LWG 2015 C++11 在 T 是不完整的聯合體類型時行為未定義 此時基特徵是 std::false_type

參閱

(C++11)
 檢查類型是否為非聯合類類型
(類模板) [編輯]