Пространства имён
Варианты
Действия

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

Материал из cppreference.com
< cpp‎ | types
 
 
 
Поддержка типов
Основные типы
Оригинал:
Basic types
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Основные типы
Исправлены типы целых ширину (C++11)
Числовые пределы
Оригинал:
Numeric limits
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
С числовым ограничивает интерфейс
Время тип информации
Оригинал:
Runtime type information
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Тип черты
Оригинал:
Type traits
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Первичные категории типа
Оригинал:
Primary type categories
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Тип свойства
Оригинал:
Type properties
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Поддерживаемые операции
Оригинал:
Supported operations
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
is_assignableis_trivially_assignableis_nothrow_assignable
Отношения собственности и запросов
Оригинал:
Relationships and property queries
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Тип модификаций
Оригинал:
Type modifications
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Тип преобразования
Оригинал:
Type transformations
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Характеристики типов констант
Оригинал:
Type trait constants
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
 
Defined in header <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 тривиальный и не используется правило единственного определения для std::declval.
3) Также как и (1), но вычисления, выполняемые в результате исполнения выражения присвоения, не должны вызывать никакие операции, которые могут вызвать исключения.

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

Содержание

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

template< class T, class U >
constexpr bool is_assignable_v = is_assignable<T, U>::value;
(начиная с C++17)
template< class T, class U >
constexpr bool is_trivially_assignable_v = is_trivially_assignable<T, U>::value;
(начиная с C++17)
template< class T, class U >
constexpr bool 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

[править] См. также

Проверяет имеет ли тип оператор присваивания с копированием или нет
(шаблон класса) [править]
Проверяет имеет ли тип оператор присваивания с переносом или нет
(шаблон класса) [править]
(library fundamentals TS)
Шаблонная переменная, являющая псевдонимом для std::is_assignable::value
(шаблонная переменная) [править]
Шаблонная переменная, являющая псевдонимом для std::is_trivially_assignable::value
(шаблонная переменная) [править]
Шаблонная переменная, являющая псевдонимом для std::is_nothrow_assignable::value
(шаблонная переменная) [править]