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

std::is_move_assignable, std::is_trivially_move_assignable, std::is_nothrow_move_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_move_assignableis_trivially_move_assignableis_nothrow_move_assignable
Отношения собственности и запросов
Оригинал:
Relationships and property queries
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Тип модификаций
Оригинал:
Type modifications
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Тип преобразования
Оригинал:
Type transformations
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Характеристики типов констант
Оригинал:
Type trait constants
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
 
Defined in header <type_traits>
template< class T >
struct is_move_assignable;
(1) (начиная с C++11)
template< class T >
struct is_trivially_move_assignable;
(2) (начиная с C++11)
template< class T >
struct is_nothrow_move_assignable;
(3) (начиная с C++11)
1) Если из T нельзя создать ссылку (например, из с возможными cv-квалификаторами void или из типа функции с последовательностью cv-квалификаторов или квалификатором ссылки), то предоставляет константу-член value, которая будет равна false, иначе она будет равна std::is_assignable<T&, T&&>::value.
2) Также как и 1), но используется std::is_trivially_assignable<T&, T&&>
3) Также как и 1), но используется std::is_nothrow_assignable<T&, T&&>

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

Содержание

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

template< class T >
constexpr bool is_move_assignable_v = is_move_assignable<T>::value;
(начиная с C++17)
template< class T >
constexpr bool is_trivially_move_assignable_v = is_trivially_move_assignable<T>::value;
(начиная с C++17)
template< class T >
constexpr bool is_nothrow_move_assignable_v = is_nothrow_move_assignable<T>::value;
(начиная с C++17)

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

Константы-члены

value
[static]
true, если T имеет семантику переноса с помощью присваивания, иначе false
(public static константа-член)

Функции-члены

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

Типы-члены

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

[править] Возможная реализация

template< class T>
struct is_move_assignable
    : std::is_assignable< typename std::add_lvalue_reference<T>::type,
                          typename std::add_rvalue_reference<T>::type> {};
 
template< class T>
struct is_trivially_move_assignable
    : std::is_trivially_assignable< typename std::add_lvalue_reference<T>::type,
                                    typename std::add_rvalue_reference<T>::type> {};
 
template< class T>
struct is_nothrow_move_assignable
    : std::is_nothrow_assignable< typename std::add_lvalue_reference<T>::type,
                                  typename std::add_rvalue_reference<T>::type> {};

[править] Примечание

Свойство типа std::is_move_assignable менее строго, чем концепт MoveAssignable, так как он не требует ни проверки типа результата присвоения (который для MoveAssignable типов должен быть T&), ни семантического требования насчёт того, что итоговое значение после присваивания должно быть эквивалентно исходному до присваивания.

Тип, который не реализовал оператор переместительного присваивания, в состоянии удовлетворить этому свойству типа. Подробнее смотрите в требованиях к концепту MoveAssignable

[править] Пример

#include <iostream>
#include <string>
#include <type_traits>
struct Foo { int n; };
struct NoMove {
    // Исключает неявное определение оператора переместительного присваивания
    // Тем не менее, класс имеет семантику переноса с помощью присваивания,
    // Так как оператор копирующего равно может принять правосторонний аргумент
    NoMove& operator=(const NoMove&) { return *this; }
};
int main() {
    std::cout << std::boolalpha
              << "std::string имеет семантику переноса без исключений с помощью присваивания? "
              << std::is_nothrow_move_assignable<std::string>::value << '\n'
              << "int[2] имеет семантику переноса  с помощью присваивания? "
              << std::is_move_assignable<int[2]>::value << '\n'
              << "Foo имеет тривиальную семантику переноса с помощью присваивания? "
              << std::is_trivially_move_assignable<Foo>::value << '\n';
 
    std::cout << std::boolalpha
              << "NoMove имеет семантику переноса с помощью равно? "
              << std::is_move_assignable<NoMove>::value << '\n'
              << "NoMove имеет семантику переноса без исключений с помощью присваивания? "
              << std::is_nothrow_move_assignable<NoMove>::value << '\n';
}

Вывод:

std::string имеет семантику переноса без исключений с помощью присваивания? true
int[2] is move-assignable? false
Foo имеет тривиальную семантику переноса с помощью присваивания? true
NoMove имеет семантику переноса с помощью равно? true
NoMove имеет семантику переноса без исключений с помощью присваивания? false

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

Проверяет имеет ли тип оператор присваивания для конкретного аргумента или нет
(шаблон класса) [править]
Проверяет имеет ли тип оператор присваивания с копированием или нет
(шаблон класса) [править]
Шаблонная переменная, являющая псевдонимом для std::is_move_assignable::value
(шаблонная переменная) [править]
Шаблонная переменная, являющая псевдонимом для std::is_trivially_move_assignable::value
(шаблонная переменная) [править]
Шаблонная переменная, являющая псевдонимом для std::is_nothrow_move_assignable::value
(шаблонная переменная) [править]