8.9 Характеристики типов

Фронтенд C++ реализует синтаксические расширения, позволяющие во время компиляции определять различные характеристики типа (или пары типов).

Встроенная функция: bool __has_nothrow_assign (type)

Если type имеет квалификатор const или является ссылочным типом, то характеристика равна false. В противном случае, если __has_trivial_assign (type) равно true, то характеристика равна true; иначе, если type является cv-квалифицированным типом класса или объединения с операторами копирующего присваивания, про которые известно, что они не генерируют исключений, то характеристика равна true, иначе она равна false. Требуется: type должен быть полным типом, (возможно, cv-квалифицированным) void или массивом неизвестной границы.

Встроенная функция: bool __has_nothrow_copy (type)

Если __has_trivial_copy (type) равно true, то характеристика равна true; иначе, если type является cv-квалифицированным типом класса или объединения с конструкторами копирования, про которые известно, что они не генерируют исключений, то характеристика равна true, иначе она равна false. Требуется: type должен быть полным типом, (возможно, cv-квалифицированным) void или массивом неизвестной границы.

Встроенная функция: bool __has_nothrow_constructor (type)

Если __has_trivial_constructor (type) равно true, то характеристика равна true; иначе, если type является cv-квалифицированным типом класса или объединения (или массивом такого типа) с конструктором по умолчанию, про который известно, что он не генерирует исключений, то характеристика равна true, иначе она равна false. Требуется: type должен быть полным типом, (возможно, cv-квалифицированным) void или массивом неизвестной границы.

Встроенная функция: bool __has_trivial_assign (type)

Если type имеет квалификатор const или является ссылочным типом, то характеристика равна false. В противном случае, если __is_trivial (type) равно true, то характеристика равна true; иначе, если type является cv-квалифицированным типом класса или объединения с тривиальным копирующим присваиванием ([class.copy]), то характеристика равна true, иначе она равна false. Требуется: type должен быть полным типом, (возможно, cv-квалифицированным) void или массивом неизвестной границы.

Встроенная функция: bool __has_trivial_copy (type)

Если __is_trivial (type) равно true или type является ссылочным типом, то характеристика равна true; иначе, если type является cv-квалифицированным типом класса или объединения с тривиальным конструктором копирования ([class.copy]), то характеристика равна true, иначе она равна false. Требуется: type должен быть полным типом, (возможно, cv-квалифицированным) void или массивом неизвестной границы.

Встроенная функция: bool __has_trivial_constructor (type)

Если __is_trivial (type) равно true, то характеристика равна true; иначе, если type является cv-квалифицированным типом класса или объединения (или массивом такого типа) с тривиальным конструктором по умолчанию ([class.ctor]), то характеристика равна true, иначе она равна false. Требуется: type должен быть полным типом, (возможно, cv-квалифицированным) void или массивом неизвестной границы.

Встроенная функция: bool __has_trivial_destructor (type)

Если __is_trivial (type) равно true или type является ссылочным типом, то характеристика равна true; иначе, если type является cv-квалифицированным типом класса или объединения (или массивом такого типа) с тривиальным деструктором ([class.dtor]), то характеристика равна true, иначе она равна false. Требуется: type должен быть полным типом, (возможно, cv-квалифицированным) void или массивом неизвестной границы.

Встроенная функция: bool __has_virtual_destructor (type)

Если type является типом класса с виртуальным деструктором ([class.dtor]), то характеристика равна true, иначе она равна false. Требуется: если type является типом класса, не являющегося объединением, он должен быть полным типом.

Встроенная функция: bool __is_abstract (type)

Если type является абстрактным классом ([class.abstract]), то характеристика равна true, иначе она равна false. Требуется: если type является типом класса, не являющегося объединением, он должен быть полным типом.

Встроенная функция: bool __is_aggregate (type)

Если type является агрегатным типом ([dcl.init.aggr]), то характеристика равна true, иначе она равна false. Требуется: если type является типом класса, он должен быть полным типом.

Встроенная функция: bool __is_base_of (base_type, derived_type)

Если base_type является базовым классом derived_type ([class.derived]), то характеристика равна true, иначе она равна false. Квалификаторы cv верхнего уровня для base_type и derived_type игнорируются. Для целей этой характеристики тип класса считается собственным базовым классом. Характеристика равна true, даже если base_type является неоднозначным или недоступным базовым классом derived_type. Требуется: если __is_class (base_type) и __is_class (derived_type) равны true и base_type и derived_type не являются одним и тем же типом (без учета cv-квалификаторов), derived_type должен быть полным типом. Если это требование не выполнено, выдается диагностическое сообщение.

Встроенная функция: bool __builtin_is_virtual_base_of (base_type, derived_type)

Если base_type является виртуальным базовым классом derived_type ([class.derived], [class.mi]), то характеристика равна true, иначе она равна false. Квалификаторы cv верхнего уровня для base_type и derived_type игнорируются. Характеристика равна true, даже если base_type является неоднозначным или недоступным виртуальным базовым классом derived_type. Требуется: если __is_class (base_type) и __is_class (derived_type) равны true, derived_type должен быть полным типом. Если это требование не выполнено, выдается диагностическое сообщение.

Встроенная функция: bool __is_class (type)

Если type является cv-квалифицированным типом класса, но не типом объединения ([basic.compound]), то характеристика равна true, иначе она равна false.

Встроенная функция: bool __is_empty (type)

Если __is_class (type) равно false, то характеристика равна false. В противном случае type считается пустым тогда и только тогда, когда: type не имеет нестатических полей данных либо все имеющиеся нестатические поля данных являются битовыми полями длины 0; type не имеет виртуальных членов; type не имеет виртуальных базовых классов; type не имеет базовых классов base_type, для которых __is_empty (base_type) равно false. Требуется: если type является типом класса, не являющегося объединением, он должен быть полным типом.

Встроенная функция: bool __is_enum (type)

Если type является cv-квалифицированным перечислимым типом ([basic.compound]), то характеристика равна true, иначе она равна false.

Встроенная функция: bool __is_final (type)

Если тип type является типом класса или объединения с пометкой final, то характеристика равна true, иначе она равна false. Требуется: если type является типом класса, он должен быть полным типом.

Встроенная функция: bool __is_literal_type (type)

Если type является литеральным типом ([basic.types]), то характеристика равна true, иначе она равна false. Требуется: type должен быть полным типом, (возможно, cv-квалифицированным) void или массивом неизвестной границы.

Встроенная функция: bool __is_pod (type)

Если type является cv-квалифицированным POD-типом ([basic.types]), то характеристика равна true, иначе она равна false. Требуется: type должен быть полным типом, (возможно, cv-квалифицированным) void или массивом неизвестной границы.

Встроенная функция: bool __is_polymorphic (type)

Если type является полиморфным классом ([class.virtual]), то характеристика равна true, иначе она равна false. Требуется: если type является типом класса, не являющегося объединением, он должен быть полным типом.

Встроенная функция: bool __is_standard_layout (type)

Если type является типом со стандартным размещением ([basic.types]), то характеристика равна true, иначе она равна false. Требуется: type должен быть полным типом, массивом полных типов или (возможно, cv-квалифицированным) void.

Встроенная функция: bool __is_trivial (type)

Если type является тривиальным типом ([basic.types]), то характеристика равна true, иначе она равна false. Требуется: type должен быть полным типом, массивом полных типов или (возможно, cv-квалифицированным) void.

Встроенная функция: bool __is_union (type)

Если type является cv-квалифицированным типом объединения ([basic.compound]), то характеристика равна true, иначе она равна false.

Встроенная функция: bool __underlying_type (type)

Базовый тип type. Требуется: type должен быть перечислимым типом ([dcl.enum]).

Встроенная функция: bool __integer_pack (length)

При использовании в качестве шаблона раскрытия пакета внутри определения шаблона разворачивается в пакет аргументов шаблона, содержащий целые числа от 0 до length-1. Это средство предоставлено для эффективной реализации std::make_integer_sequence.

Встроенная функция: bool __is_same (type1, type2)

Бинарная характеристика типов: true, если type1 и type2 обозначают один и тот же тип.