std:: is_empty

std::is_empty 是一个 UnaryTypeTrait 。

如果 T 是空类型（即没有非静态数据成员的非联合类类型，除了大小为0的位域，没有虚函数，没有虚基类，且无非空基类），则提供成员常量 value 等于 true 。对于任何其他类型， value 为 false 。

如果 T 是不完整的非联合类类型，则行为未定义。

如果程序为 std::is_empty 或 std::is_empty_v 添加特化，则行为是未定义的。

模板参数

辅助变量模板

注释

从空基类继承通常不会增加类的大小，这得益于 空基类优化 。

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>); // 仅包含宽度为零的未命名位域时成立
int main()
{
    std::cout << std::boolalpha;
    std::cout << "F: " << std::is_empty_v<F> << '\n'; // 结果取决于ABI实现
}

F: true

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的C++标准。

参见