网站建设 阳江,个人微信管理工具,公司用的邮箱有哪些,网页制作流程不包括指定该类型对象可以从右值构造
指定该类型的实例可以从一个右值实参构造。
要求
以下情况下#xff0c;类型 T 满足可移动构造 (MoveConstructible) #xff1a;
给定
T 类型的右值表达式 rv任意标识符 u
下列表达式必须合法且拥有其指定的效果
表达式后条件T u rv;u…指定该类型对象可以从右值构造
指定该类型的实例可以从一个右值实参构造。
要求
以下情况下类型 T 满足可移动构造 (MoveConstructible)
给定
T 类型的右值表达式 rv任意标识符 u
下列表达式必须合法且拥有其指定的效果
表达式后条件T u rv;u 的值等于 rv 在初始化前的值。rv 的新值未指明。T(rv)T(rv) 的值等于 rv 在初始化前的值。rv 的新值未指明。
注解
类不必为满足此要求而实现移动构造函数接收 const T 实参的复制构造函数也能绑定右值表达式。
若可移动构造 (MoveConstructible) 类实现了移动构造函数则它亦可实现移动语义以从“构造后 rv 的值未指明”的事实中获利。 调用示例
#include iostream
#include type_traits//编译器生成默认构造函数
struct A
{
};struct B
{std::string str; // 成员拥有非平凡默认构造函数
};struct C
{std::string str; // 成员拥有非平凡默认构造函数C() throw (int) //构造函数抛异常{}
};struct MyClass
{int ma;int mb;MyClass(): ma(101), mb(102){std::cout this __FUNCTION__ __LINE__ a: ma b: mb std::endl;}MyClass(int a, int b): ma(a), mb(b){std::cout this __FUNCTION__ __LINE__ a: ma b: mb std::endl;}MyClass(const MyClass obj){this-ma obj.ma;this-mb obj.mb;std::cout this __FUNCTION__ __LINE__ a: ma b: mb std::endl;}MyClass(MyClass obj){this-ma obj.ma;this-mb obj.mb;std::cout this __FUNCTION__ __LINE__ a: ma b: mb std::endl;}
};int main()
{std::cout std::boolalpha;std::cout std::is_move_constructibleint::value: std::is_move_constructibleint::value std::endl;std::cout std::is_trivially_move_constructibleint::value: std::is_trivially_move_constructibleint::value std::endl;std::cout std::is_nothrow_move_constructibleint::value: std::is_nothrow_move_constructibleint::value std::endl;std::cout std::endl;std::cout std::is_move_constructibleA::value: std::is_move_constructibleA::value std::endl;std::cout std::is_trivially_move_constructibleA::value: std::is_trivially_move_constructibleA::value std::endl;std::cout std::is_nothrow_move_constructibleA::value: std::is_nothrow_move_constructibleA::value std::endl;std::cout std::endl;std::cout std::is_move_constructibleB::value: std::is_move_constructibleB::value std::endl;std::cout std::is_trivially_move_constructibleB::value: std::is_trivially_move_constructibleB::value std::endl;std::cout std::is_nothrow_move_constructibleB::value: std::is_nothrow_move_constructibleB::value std::endl;std::cout std::endl;std::cout std::is_move_constructibleC::value: std::is_move_constructibleC::value std::endl;std::cout std::is_trivially_move_constructibleC::value: std::is_trivially_move_constructibleC::value std::endl;std::cout std::is_nothrow_move_constructibleC::value: std::is_nothrow_move_constructibleC::value std::endl;std::cout std::endl;//T u rv; u 的值等于 rv 在初始化前的值。rv 的新值未指明。MyClass myClass1 std::move(MyClass(101, 102));//T(rv) T(rv) 的值等于 rv 在初始化前的值。rv 的新值未指明。MyClass(std::move(MyClass(101, 102)));return 0;
}
输出
std::is_move_constructibleint::value: true
std::is_trivially_move_constructibleint::value: true
std::is_nothrow_move_constructibleint::value: truestd::is_move_constructibleA::value: true
std::is_trivially_move_constructibleA::value: true
std::is_nothrow_move_constructibleA::value: truestd::is_move_constructibleB::value: true
std::is_trivially_move_constructibleB::value: false
std::is_nothrow_move_constructibleB::value: truestd::is_move_constructibleC::value: true
std::is_trivially_move_constructibleC::value: false
std::is_nothrow_move_constructibleC::value: true0x61fe78 MyClass 35 a:101 b:102
0x61fe70 MyClass 53 a:101 b:102
0x61fe88 MyClass 35 a:101 b:102
0x61fe80 MyClass 53 a:101 b:102
