std::meta::is_empty_type

Определён в заголовочном файле `<meta>`
consteval bool is_empty_type( std::meta::info r );		(начиная с C++26)

Возвращает true, если r обозначает тип класса (но не объединения) и не имеет нестатических полей данных. В противном случае возвращает false.

Параметры

значение отражения

Возвращаемое значение

true, если r обозначает тип пустого класса; в противном случае — false.

Исключения

Выбрасывает std::meta::exception, если r не обозначает тип или псевдоним типа.

Пример

#include <meta>
#include <print>

struct A {};
static_assert(is_empty_type(^^A));

struct B { int m; };
static_assert(!is_empty_type(^^B));

struct C { static int m; };
static_assert(is_empty_type(^^C));

struct D { virtual ~D(); };
static_assert(!is_empty_type(^^D));

union E {};
static_assert(!is_empty_type(^^E));

struct F
{
    int: 0;
    // C++ standard allows "an unnamed bit-field with a width of zero
    // specifies alignment of the next bit-field at an allocation unit boundary.
    // Only when declaring an unnamed bit-field may the width be zero."
};
static_assert(is_empty_type(^^F)); // holds only unnamed bit-fields of zero width

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

int main()
{
    std::println("G: {}", is_empty_type(^^G)); // the result is ABI-dependent
}

Возможный вывод:

G: true

См. также

is_empty (C++11)	проверяет, является ли тип типом класса (но не объединения) и не имеет ли он нестатических полей данных (шаблон класса)
is_class_type (C++26)	проверяет, является ли отражённый тип типом класса, не являющегося объединением (функция)
is_union_type (C++26)	проверяет, является ли отражённый тип типом объединения (функция)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/meta/is_empty_type