<type_traits>

Определяет шаблоны, которые обеспечивают константы времени компиляции, которые предоставляют сведения о свойствах аргументов-типов.

#include <type_traits>

Заметки

A типа предикат является шаблоном, который принимает один или два типа аргументов.Когда тип предикат справедливо, он публично производным, прямо или косвенно, из true_type Typedef.Когда тип предикат содержит значение false,, он публично производным, прямо или косвенно, из false_type Typedef.

A модификатор типа является шаблоном, который принимает один или несколько аргументов шаблона и имеет один элемент следующим образом:

• typedef modified-type type;

A Тип запроса является шаблоном, который принимает один или несколько аргументов шаблона.Публично производный тип запроса, прямо или косвенно, из integral_constant<std::size_t, value>.Содержит значение, которое передается в качестве аргумента value.

Классы

add_const	Делает const тип из типа.
add_cv	Делает constиvolatile тип из типа.
add_pointer	Предоставляет указатель на тип из типа.
add_reference	Позволяет ссылаться на тип из типа.
add_volatile	Делает volatile тип из типа.
aligned_storage	Делает удобным выровненного по типу.
alignment_of	Получает тип выравнивания.
common_type	Делает экземпляр общего типа двух типов.
условные	Делает экземпляр общего типа двух типов.
Затухание	Делает долговременного, являющимися и не ссылок или делает указатель ввода.
enable_if	Делает экземпляр или неопределенного типа.
extent	Получает размер массива.
has_nothrow_assign	Тесты ли тип не выдает назначение.
has_nothrow_constructor	Проверяет, является ли тип не выдает на строительство по умолчанию.
has_nothrow_copy	Проверяет, является ли тип не выдает на строительство копирования.
has_nothrow_copy_constructor	Если тип не выдал на строительство копирования тестов.
has_nothrow_default_constructor	Тесты, если тип не выдал на строительство по умолчанию.
has_trivial_assign	Проверяет, является ли тип имеет тривиального назначения.
has_trivial_constructor	Проверяет, является ли тип имеет конструктор по умолчанию тривиальной задачей.
has_trivial_copy	Проверяет, является ли тип имеет конструктор копии тривиальной задачей.
has_trivial_copy_constructor	Тесты, если тип имеет конструктор тривиальный копию.
has_trivial_default_constructor	Если тип имеет конструктор по умолчанию стандартных тестов.
has_trivial_destructor	Проверяет, является ли тип имеет необычный деструктор.
has_virtual_destructor	Проверяет, является ли тип имеет виртуальный деструктор.
is_abstract	Проверяет, является ли тип является абстрактным классом.
is_arithmetic	Проверяет, является ли тип арифметические операции.
is_array	Проверяет, является ли тип массива.
is_base_of	Проверяет, является ли один тип базового другого.
is_class	Проверяет, является ли тип класса.
is_compound	Проверяет, является ли тип не является скалярным.
is_const	Проверяет, является ли тип const.
is_convertible	Проверяет, является ли одного типа преобразуется в другой.
is_empty	Проверяет, является ли тип пустой класс.
is_enum	Проверяет, является ли тип перечислением.
is_floating_point	Проверяет, является ли тип с плавающей запятой.
is_function	Проверяет, является ли тип тип функции.
is_fundamental	Проверяет, является ли тип void или арифметические операции.
is_integral	Проверяет, является ли целочисленный тип.
is_lvalue_reference	Проверяет, если тип lvalue ссылки.
is_member_function_pointer	Проверяет, является ли тип указателя на функцию-член.
is_member_object_pointer	Проверяет, является ли тип указателя на объект члена.
is_member_pointer	Проверяет, является ли тип указателя на член.
is_object	Проверяет, является ли тип типом объекта.
is_pod	Проверяет, является ли тип POD.
is_pointer	Проверяет, является ли тип указателя.
is_polymorphic	Проверяет, является ли тип имеет виртуальные функции.
is_reference	Проверяет, является ли тип ссылки.
is_rvalue_reference	Проверяет, если тип rvalue ссылки.
is_same	Проверяет, является ли два типа одинаковы.
is_scalar	Проверяет, является ли скалярного типа.
is_signed	Проверяет, является ли тип целое число со знаком.
is_standard_layout	Тесты, если тип является стандартной раскладки.
is_union	Проверяет, является ли тип объединения.
is_unsigned	Проверяет, является ли тип целое число без знака.
is_void	Проверяет, является ли тип void.
is_volatile	Проверяет, является ли тип volatile.
make_signed	Введите делает или наименьшего подписанных введите больше или равен размеру введите.
make_unsigned	Введите делает или самый маленький без знака введите больше или равен размеру введите.
ранг	Возвращает число измерений массива.
remove_all_extents	Делает массивом типа массива.
remove_const	Делает неконстантной типом из типа.
remove_cv	Делает не const или volatile типом из типа.
remove_extent	Делает тип элемента массива типа.
remove_pointer	Создает тип из указателя для ввода.
remove_reference	Делает не ссылочным типом из типа.
remove_volatile	Делает долговременного типом из типа.
integral_constant	Делает целая константа, тип и значение.

Определения типов

false_type	Содержит Целочисленные константы с значение false.
true_type	Содержит Целочисленные константы с значение true.

См. также

Ссылки

<functional>