7.9 Типы-признаки ¶

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

__has_nothrow_assign (type)

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

__has_nothrow_copy (type)

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

__has_nothrow_constructor (type)

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

__has_trivial_assign (type)

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

__has_trivial_copy (type)

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

__has_trivial_constructor (type)

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

__has_trivial_destructor (type)

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

__has_virtual_destructor (type)

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

__is_abstract (type)

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

__is_base_of (base_type, derived_type)

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

__is_class (type)

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

__is_empty (type)

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

__is_enum (type)

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

__is_literal_type (type)

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

__is_pod (type)

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

__is_polymorphic (type)

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

__is_standard_layout (type)

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

__is_trivial (type)

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

__is_union (type)

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

__underlying_type (type)

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

__integer_pack (length)

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