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

如果 T 不是完整类型、(可能带有 cv 限定符的) void ，或未知边界的数组，则行为未定义。

如果上述模板的实例化直接或间接依赖于不完整类型，且该实例化在该类型被假设完成时可能产生不同结果，则行为未定义。

如果程序对本页面描述的任何模板添加特化，则行为未定义。

辅助变量模板

可能的实现

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 <string>
#include <type_traits>
struct Ex1
{
    std::string str; // 成员具有非平凡但不抛异常的移动构造函数
};
static_assert(std::is_move_constructible_v<Ex1>);
static_assert(!std::is_trivially_move_constructible_v<Ex1>);
static_assert(std::is_nothrow_move_constructible_v<Ex1>);
struct Ex2
{
    int n;
    Ex2(Ex2&&) = default; // 平凡且不抛异常
};
static_assert(std::is_move_constructible_v<Ex2>);
static_assert(std::is_trivially_move_constructible_v<Ex2>);
static_assert(std::is_nothrow_move_constructible_v<Ex2>);
struct NoMove1
{
    // 阻止隐式声明默认移动构造函数；
    // 但该类仍可移动构造，因为其
    // 拷贝构造函数可以绑定到右值参数
    NoMove1(const NoMove1&) {}
};
static_assert(std::is_move_constructible_v<NoMove1>);
static_assert(!std::is_trivially_move_constructible_v<NoMove1>);
static_assert(!std::is_nothrow_move_constructible_v<NoMove1>);
struct NoMove2
{
    // 不可移动构造，因为左值引用
    // 无法绑定到右值参数
    NoMove2(NoMove2&) {}
};
static_assert(!std::is_move_constructible_v<NoMove2>);
static_assert(!std::is_trivially_move_constructible_v<NoMove2>);
static_assert(!std::is_nothrow_move_constructible_v<NoMove2>);
int main() {}

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的C++标准。

参见