std::is_empty
| Определено в заголовочном файле <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 (начиная с C++17) не определено.
Параметры шаблона
| T | — | тип для проверки |
Шаблон вспомогательной переменной
<tbody> </tbody> template< class T > inline constexpr bool is_empty_v = is_empty<T>::value; |
(начиная с C++17) | |
Унаследован от std::integral_constant
Константы элементы
value [static] |
true, если T является пустым классовым типом, false иначе (public static константа-элемент) |
Функции-элементы
operator bool |
преобразует объект в bool, возвращает value (public функция-элемент) |
operator() (C++14) |
возвращает 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
}
Возможный вывод:
F: true
Отчёты о дефектах
Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:
| Номер | Применён | Поведение в стандарте | Корректное поведение |
|---|---|---|---|
| LWG 2015 | C++11 | поведение было неопределённым, если Tявлялся неполным типом объединения |
базовая характеристика в этом случае std::false_type |
Смотрите также
(C++11) |
проверяет, является ли тип типом класса не объединения (шаблон класса) |