std::is_move_constructible, std::is_trivially_move_constructible, std::is_nothrow_move_constructible

template< class T >
struct is_move_constructible;

template< class T >
struct is_trivially_move_constructible;

template< class T >
struct is_nothrow_move_constructible;

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

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

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

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

template< class T >
inline constexpr bool is_move_constructible_v =
    is_move_constructible<T>::value;

template< class T >
inline constexpr bool is_trivially_move_constructible_v =
    is_trivially_move_constructible<T>::value;

template< class T >
inline constexpr bool is_nothrow_move_constructible_v =
    is_nothrow_move_constructible<T>::value;

Возможная реализация

template<class T>
struct is_move_constructible :
    std::is_constructible<T, typename std::add_rvalue_reference<T>::type> {};
 
template<class T>
struct is_trivially_move_constructible :
    std::is_trivially_constructible<T, typename std::add_rvalue_reference<T>::type> {};
 
template<class T>
struct is_nothrow_move_constructible :
    std::is_nothrow_constructible<T, typename std::add_rvalue_reference<T>::type> {};

Примечания

Типы без перемещаемого конструктора, но с копирующим конструктором, принимающим const T& аргументы, удовлетворяют std::is_move_constructible.

Перемещаемые конструкторы обычно noexcept, так как в противном случае они непригодны в любом коде, который обеспечивает сильную гарантию от исключений.

Во многих реализациях std::is_nothrow_move_constructible также проверяет, выбрасывает ли деструктор исключение, так как он фактически noexcept(T(arg)). То же самое относится к std::is_trivially_move_constructible, который в этих реализациях также требует, чтобы деструктор был тривиальным: GCC bug 51452, LWG issue 2116.

Пример

#include <iostream>
#include <type_traits>
 
struct Ex1
{
    std::string str; // member has a non-trivial but non-throwing move ctor
};
 
struct Ex2
{
    int n;
    Ex2(Ex2&&) = default; // trivial and non-throwing
};
 
struct NoMove
{
    // prevents implicit declaration of default move constructor
    // however, the class is still move-constructible because its
    // copy constructor can bind to an rvalue argument
    NoMove(const NoMove&) {}
};
 
#define OUT(...) std::cout << #__VA_ARGS__ << " : " << __VA_ARGS__ << '\n'
 
int main()
{
    std::cout << std::boolalpha;
    OUT(std::is_move_constructible_v<Ex1>);
    OUT(std::is_trivially_move_constructible_v<Ex1>);
    OUT(std::is_nothrow_move_constructible_v<Ex1>);
    OUT(std::is_trivially_move_constructible_v<Ex2>);
    OUT(std::is_nothrow_move_constructible_v<Ex2>);
    OUT(std::is_move_constructible_v<NoMove>);
    OUT(std::is_nothrow_move_constructible_v<NoMove>);
}

std::is_move_constructible_v<Ex1> : true
std::is_trivially_move_constructible_v<Ex1> : false
std::is_nothrow_move_constructible_v<Ex1> : true
std::is_trivially_move_constructible_v<Ex2> : true
std::is_nothrow_move_constructible_v<Ex2> : true
std::is_move_constructible_v<NoMove> : true
std::is_nothrow_move_constructible_v<NoMove> : false

См. также