这几天主要学习了13.6 对象拷贝。第一个关键的概念是右值引用,右值表明一种特定的值而不是名称,如3,5等。左值持久,右值短暂。用&&表示右值引用,使用std::move()将左值转化为右值引用。
int &&r1=3;
int &&r2=r1;//wrong,r1 is left value now
int &&r3=std::move(r1);//right
注意,移动和拷贝最大的区别在于是窃取而不是拷贝,所以原来A中的成员转移到B中,移后源A内部的成员未定义了,对A只能进行指向和销毁操作,决不能访问成员,且A必需成功析构。还有经常加入noexcept表示无意外状况。与拷贝操作不同,编译器不会自动生成移动构造函数,只有在每个成员都可移动时才会合成构造。移动构造函数被定义为删除的条件是:有成员定义了自己的拷贝构造函数且未定义移动构造函数,或是有类成员未定义自己的拷贝构造函数且编译器不能为其合成移动构造函数。
移动右值,拷贝左值,但如果没有移动构造函数,右值也被拷贝。
更新五三规则:
移动构造,移动赋值,拷贝构造,拷贝赋值,析构,这五者常在一起出现。
移动迭代器:使用make_move_iterator()使uninitialized_copy()使用移动迭代器,保证安全。
提到安全VS2017,对安全要求极高,至今出现了unitilazed_copy()就说有安全风险,编译不通过,暂难解决。