std::is_empty — cppreference.com

Материал из cppreference.com


`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 (начиная с C++17) не определено.

Параметры шаблона

Шаблон вспомогательной переменной

`template< class T > inline constexpr bool is_empty_v = is_empty<T>::value;`		(начиная с C++17)

Унаследован от std::integral_constant

Константы элементы

true, если T является пустым классовым типом, false иначе
(public static константа-элемент)

Функции-элементы

	преобразует объект в `bool`, возвращает `value` (public функция-элемент)
	возвращает `value` (public функция-элемент)

Типы элементы


Тип	Определение
`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 );

int main()
{
    std::cout << std::boolalpha;
    std::cout << "F: " << std::is_empty_v<F> << '\n'; // результат зависит от ABI
}

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

Отчёты о дефектах

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

Номер	Применён	Поведение в стандарте	Корректное поведение
LWG 2015	C++11	поведение было неопределённым, если `T` являлся неполным типом объединения	базовая характеристика в этом случае std::false_type

Смотрите также

проверяет, является ли тип типом класса не объединения
(шаблон класса) [править]

Категории: