<type_traits>头文件中提供了C++ STL的std::is_nothrow_move_assignable模板。 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(Trait类),以检查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/
相关用法
注:本文由纯净天空筛选整理自btc_148大神的英文原创作品 std::is_nothrow_move_assignable in C++。非经特殊声明,原始代码版权归原作者所有,本译文未经允许或授权,请勿转载或复制。