C++中的std::is_nothrow_move_assignable

C++ STL中的 std::is_nothrow_move_assignable 模板存在于 < type_traits>头文件中。C++ STL中的 std::is_nothrow_move_assignable 模板被用于检查 T 是否是可移动赋值类型，而且已知不会抛出任何异常。如果 T 是可移动赋值类型，则返回布尔值true，否则返回false。

头文件:

#include<type_traits>

模板类:

template<class T>
struct is_move_assignable;

语法:

std::is_move_assignable<T>::value

参数: 模板 std::is_nothrow_move_assignable 接受一个单一参数 T(Traits类) ，以检查 T 是否可移动赋值且没有抛出异常。

返回值: 模板 std::is_nothrow_move_assignable 返回一个布尔变量，如下所示:

• True: 如果类型 T 是可移动赋值类型。
• False: 如果类型 T 不是可移动赋值类型。

下面是演示 std::is_nothrow_move_assignable 的程序：

程序:

// C++ program to illustrate
// std::is_nothrow_move_assignable
#include <bits/stdc++.h>
#include <type_traits>
using namespace std;
  
// Declare structures
struct A {
};
  
struct B {
    B& operator=(B&) = delete;
};
  
struct Ex1 {
    Ex1() {}
    Ex1(Ex1&&)
    {
        cout << "Throwing move constructor!";
    }
    Ex1(const Ex1&)
    {
        cout << "Throwing copy constructor!";
    }
};
  
struct Ex2 {
    Ex2() {}
    Ex2(Ex2&&) noexcept
    {
        cout << "Non-throwing move constructor!";
    }
    Ex2(const Ex2&) noexcept
    {
        cout << "Non-throwing copy constructor!";
    }
};
  
// Driver Code
int main()
{
    cout << boolalpha;

    // Check if int is a move
    // assignable or not
    cout << "int: "
          << is_nothrow_move_assignable<int>::value
          << endl;

    // Check if struct A is a move
    // assignable or not
    cout << "struct A: "
          << is_nothrow_move_assignable<A>::value
          << endl;

    // Check if struct B is a move
    // assignable or not
    cout << "struct B: "
          << is_nothrow_move_assignable<B>::value
          << endl;

    // Check if struct Ex1 is a move
    // assignable or not
    cout << "struct Ex1: "
          << is_nothrow_move_assignable<Ex1>::value
          << endl;

    // Check if struct Ex2 is a move
    // assignable or not
    cout << "struct Ex2: "
          << is_nothrow_move_assignable<Ex2>::value
          << endl;
    return 0;
}

int: true
struct A: true
struct B: false
struct Ex1: false
struct Ex2: false

参考资料: http://www.cplusplus.com/reference/type_traits/is_nothrow_move_assignable/