std::is_assignable, std::is_trivially_assignable, std::is_nothrow_assignable

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов(C++20)

Библиотека метапрограммирования(C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов(C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения(C++11)

Атомарные операции(C++11)

Библиотека поддержки конкуренции(C++11)

Библиотека файловой системы(C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Библиотека метапрограммирования

Свойства типов
Категории типов is_void (C++11) is_null_pointer (C++14)   is_array (C++11) is_pointer (C++11) is_enum (C++11) is_union (C++11) is_class (C++11) is_function (C++11) is_object (C++11) is_scalar (C++11) is_compound (C++11) is_integral (C++11) is_floating_point (C++11)   is_fundamental (C++11) is_arithmetic (C++11) is_reference (C++11) is_lvalue_reference (C++11) is_rvalue_reference (C++11) is_member_pointer (C++11) is_member_object_pointer (C++11) is_member_function_pointer (C++11) Свойства типов is_const (C++11) is_volatile (C++11) is_empty (C++11) is_polymorphic (C++11) is_final (C++14) is_abstract (C++11) is_aggregate (C++17) is_implicit_lifetime (C++23) is_trivial (C++11) is_trivially_copyable (C++11) is_standard_layout (C++11) is_literal_type (C++11)(до C++20*) is_pod (C++11)(устарело в C++20) is_signed (C++11) is_unsigned (C++11) is_bounded_array (C++20) is_unbounded_array (C++20) is_scoped_enum (C++23) has_unique_object_representations (C++17) Константы свойств типа integral_constantbool_constanttrue_typefalse_type (C++11)(C++17)(C++11)(C++11) Метафункции conjunction (C++17) disjunction (C++17) negation (C++17)	Поддерживаемые операции is_constructibleis_trivially_constructibleis_nothrow_constructible (C++11)(C++11)(C++11) is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible (C++11)(C++11)(C++11) is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible (C++11)(C++11)(C++11) is_move_constructibleis_trivially_move_constructibleis_nothrow_move_constructible (C++11)(C++11)(C++11) is_assignableis_trivially_assignableis_nothrow_assignable (C++11)(C++11)(C++11) is_copy_assignableis_trivially_copy_assignableis_nothrow_copy_assignable (C++11)(C++11)(C++11) is_move_assignableis_trivially_move_assignableis_nothrow_move_assignable (C++11)(C++11)(C++11) is_destructibleis_trivially_destructibleis_nothrow_destructible (C++11)(C++11)(C++11) has_virtual_destructor (C++11) is_swappable_withis_swappableis_nothrow_swappable_withis_nothrow_swappable (C++17)(C++17)(C++17)(C++17) Запросы отношений и свойств is_same (C++11) is_base_of (C++11) is_convertibleis_nothrow_convertible (C++11)(C++20) is_layout_compatible (C++20) is_pointer_interconvertible_base_of (C++20) is_pointer_interconvertible_with_class (C++20)   is_corresponding_member (C++20) alignment_of (C++11) rank (C++11) extent (C++11) is_invocableis_invocable_ris_nothrow_invocableis_nothrow_invocable_r (C++17)(C++17)(C++17)(C++17) reference_constructs_from_temporary (C++23) reference_converts_from_temporary (C++23) Модификации типов remove_cvremove_constremove_volatile (C++11)(C++11)(C++11) add_cvadd_constadd_volatile (C++11)(C++11)(C++11) make_signed (C++11) make_unsigned (C++11) remove_reference (C++11) add_lvalue_referenceadd_rvalue_reference (C++11)(C++11) remove_pointer (C++11) add_pointer (C++11) remove_extent (C++11) remove_all_extents (C++11) Преобразования типов aligned_storage (C++11)(устарело в C++23) aligned_union (C++11)(устарело в C++23) decay (C++11) remove_cvref (C++20) enable_if (C++11) void_t (C++17) conditional (C++11) common_type (C++11) common_reference (C++20) underlying_type (C++11) result_ofinvoke_result (C++11)(до C++20*)(C++17) type_identity (C++20)
Рациональная арифметика времени компиляции
Целочисленные последовательности времени компиляции
integer_sequence (C++14)

 

Определено в заголовочном файле <type_traits>
template<class T, class U > struct is_assignable;	(1)	(начиная с C++11)
template<class T, class U > struct is_trivially_assignable;	(2)	(начиная с C++11)
template<class T, class U > struct is_nothrow_assignable;	(3)	(начиная с C++11)

1) Если выражение std::declval<T>()=std::declval<U>() корректно в контексте не требующем выполнения, то предоставляет константу-элемент value, равную true, иначе равную false. Проверки доступа выполняются так, как если бы они исходили из контекста, не связанного ни с одним из типов.

2) То же, что (1), но вычисление выражения присваивания не вызовет никакой не тривиальной операции. Для целей этой проверки вызов std::declval считается тривиальным и не считается использующим odrstd::declval.

3) То же, что и (1), но вычисление выражения присваивания не вызовет никакой операции, отличной от noexcept.

T и U должен каждый быть полным типом, (возможно, cv-квалифицированным) void или массивом с неизвестной границей. Иначе поведение не определено.

Если реализация приведённого выше шаблона прямо или косвенно зависит от неполного типа, и эта реализация могла бы дать другой результат, если бы этот тип был гипотетически завершён, поведение не определено.

Поведение программы, добавляющей специализации для любых шаблонов, описанных на этой странице не определено.

Вспомогательные шаблонные переменные

template<class T, class U > inlineconstexprbool is_assignable_v = is_assignable<T, U>::value;		(начиная с C++17)
template<class T, class U > inlineconstexprbool is_trivially_assignable_v = is_trivially_assignable<T, U>::value;		(начиная с C++17)
template<class T, class U > inlineconstexprbool is_nothrow_assignable_v = is_nothrow_assignable<T, U>::value;		(начиная с C++17)

Унаследован от std::integral_constant

Константы элементы

value [static]

true, если T присваивается из U, false иначе (public static константа-элемент)

Функции-элементы

operator bool	преобразует объект в bool, возвращает value (public функция-элемент)
operator() (C++14)	возвращает value (public функция-элемент)

Типы элементы

Тип	Определение
value_type	bool
type	std::integral_constant<bool, value>

Примечание

Это свойство типа не проверяет ничего вне непосредственного контекста выражения присваивания: если использование T или U вызовет специализацию шаблона, генерацию неявно определённых специальных функций-элементов и т.д., и в них есть ошибки, фактическое присваивание может не скомпилироваться, даже если std::is_assignable<T,U>::value компилируется и оценивается как true.

Пример

Запустить этот код

#include <iostream>#include <string>#include <type_traits>   struct Ex1 {int n;};   int main(){std::cout<<std::boolalpha<<"int можно присвоить из int? "<< std::is_assignable<int, int>::value<<'\n'// 1 = 1; не скомпилируется<<"int& можно присвоить из int? "<< std::is_assignable<int&, int>::value<<'\n'// int a; a = 1;// будет работать<<"int можно присвоить из double? "<< std::is_assignable<int, double>::value<<'\n'<<"int& можно присвоить из double без исключений? "<< std::is_nothrow_assignable<int&, double>::value<<'\n'<<"string можно присвоить из double? "<< std::is_assignable<std::string, double>::value<<'\n'<<"Ex1& можно тривиально присвоить из const Ex1&? "<< std::is_trivially_assignable<Ex1&, const Ex1&>::value<<'\n';}

Вывод:

int можно присвоить из int? false int& можно присвоить из int? true int можно присвоить из double? false int& можно присвоить из double без исключений? true string можно присвоить из double? true Ex1& можно тривиально присвоить из const Ex1&? true

Смотрите также

is_copy_assignableis_trivially_copy_assignableis_nothrow_copy_assignable (C++11)(C++11)(C++11)	проверяет, есть ли у типа оператор присваивания копированием (шаблон класса)
is_move_assignableis_trivially_move_assignableis_nothrow_move_assignable (C++11)(C++11)(C++11)	проверяет, есть ли у типа оператор присваивания перемещением (шаблон класса)
assignable_from (C++20)	указывает, что типу может быть присвоен другой тип (концепт)