std::is_empty
Материал из cppreference.com
| Определён в заголовочном файле <type_traits>
|
||
| template< class T > struct is_empty; |
(начиная с C++11) | |
Если T является пустым типом (тип класса, но не объединения, у которого нет нестатических членов с данными, отличных от битовых полей нулевого размера, виртуальных функций, виртуальных базовых классов и непустых базовых классов), то предоставляет константу-член, которая будет равна true. Для всех остальных типов она будет равна false.
Если T тип класса, но не объединения, T должен быть полным типом, иначе поведение будет не определено.
Содержание |
[править] Аргумент шаблона
| T | — | Тип для проверки |
[править] Вспомогательная шаблонная переменная
| template< class T > 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 {}; struct B { int m; }; struct C { virtual ~C(); }; int main() { std::cout << std::boolalpha; std::cout << std::is_empty<A>::value << '\n'; std::cout << std::is_empty<B>::value << '\n'; std::cout << std::is_empty<C>::value << '\n'; }
Вывод:
true false false
[править] См. также
| (C++11) |
Проверяет является ли тип типом класса (но не объединения) или нет (шаблон класса) |
| (library fundamentals TS) |
Шаблонная переменная, являющая псевдонимом для std::is_empty::value (шаблонная переменная) |

