C++拷贝控制
拷贝、赋值和销毁
拷贝构造函数
拷贝构造函数的第一个参数必须是一个引用类型,且几乎总是一个const引用。由于拷贝构造函数在多个情况下会被隐式使用,因此不能是explict的。
1 | public: |
合成拷贝构造函数
如果没有定义拷贝构造函数,编译器会定义一个合成拷贝构造函数。不同于合成默认构造函数r,即使自己定义了其它的拷贝构造函数,编译器也会合成一个拷贝构造函数。
合成拷贝构造函数会将参数的每个非static成员逐个拷贝到正在创建的对象中。拷贝方式依据成员类型而定, * 对于类类型,会使用其拷贝构造函数; * 对于内置类型,会直接拷贝; * 如果成员有数组类型,合成拷贝构造函数会逐元素的拷贝。
合成的函数会被隐式地声明为内联的。
拷贝初始化
直接初始化会选择与参数最匹配的构造函数。拷贝初始化是件右侧运算对象拷贝到正在创建的对象中。
拷贝初始化通常使用拷贝构造函数来完成,以下情况会发生拷贝初始化,
- 用
=
定义变量; - 将对象作为实参传递给一个非引用类型的形参;
- 用一个返回类型为非引用类型的函数返回一个对象;
- 用列表初始化一个数组中的元素或一个聚合类中的成员;
- 某些类类型会对它们所分配的对象使用拷贝初始化(如:容器的insert)。
在进行拷贝初始化时,编译器可以跳过拷贝/移动构造函数,直接创建对象,但此时拷贝/移动构造函数必须存在且可访问。
如上文所说,拷贝构造函数会被隐式使用,下面是几个例子,
1 | class C { |
上述代码中,对vector使用列表初始化时,c会被copy两次。1. initializer_list的构造函数会copy一次,2. 从initializer_list到设计存储位置还会copy一次。
1 | class C { |
- 第一个f调用,首先会用obj对形参c做拷贝初始化,然后用拷贝赋值,将c赋值给tmp;
- 第二个f调用,这里并没有用临时对象对形参c做拷贝初始化,而是用临时对象C(1)对tmp进行复制。因为有copy elision。
- 第一个fr调用,直接拷贝赋值,将obj赋值给tmp;
- 第二个fr调用是错误的,问题类似取临时对象的地址,这里C(4)是rvalue表达式,而fr()需要一个左值作为参数。
拷贝赋值运算符
拷贝赋值运算符执行与析构函数和拷贝构造函数相同的工作。 如果没有定义拷贝赋值运算符,编译器会定义一个合成拷贝赋值运算符。
重载赋值运算符
赋值运算符就是一个名为operator=的函数,其参数表示要收费的运算对象。定义为成员函数的运算符,其左侧运算对象就绑定到隐式的this参数。返回值通常为左侧运算对象的引用。
拷贝赋值运算符参数应为与所在类相同类型的参数。
合成拷贝赋值运算符
合成拷贝赋值运算符会将右侧运算对象的每个非static成员赋予左侧运算对象的相应成员。类似拷贝构造函数逐个拷贝成员,这一工作是由成员类型的拷贝赋值运算符完成的。如果是数组类型的成员,则逐个赋值数组元素。
如果自己定义的拷贝赋值运算符或拷贝构造函数没有处理成员中的数组,逐个拷贝/赋值不会发生。
1 | class HasPtr { |
析构函数
销毁对象的非static成员。没有返回值,不接受参数(因此不能够被重载)。对于一个给定类,只会有唯一一个析构函数。
销毁顺序按照初始化顺序的逆序进行,销毁内置类型成员不需要做什么,销毁类类型成员需要执行成员自己的析构函数,销毁内置指针类型的成员不会delete所指向的对象。
析构函数在以下情况进行调用,
- 变量离开其作用域;
- 一个对象呗销毁时,其成员也被销毁;
- 容器(标准库容器和数组)被销毁时,其元素被销毁;
- 对动态分配的对象,其指针使用delete;
- 对于临时对象,当创建它的完整表达式结束时被销毁。
合成析构函数
合成析构函数函数体为空,当其函数体执行完以后,成员会被自动销毁。析构函数函数体并不直接销毁成员,成员是在析构函数函数体之后隐含的析构阶段中被销毁的。
三/五法则
- 需要析构函数的类也需要拷贝构造函数和拷贝赋值运算符。
- 需要拷贝操作的类也需要赋值操作,反之亦然,但不必然意味着也需要析构函数。
- 拷贝操作会带来额外的开销,在拷贝不必须的情况下,应加入移动操作。
阻止拷贝
类似=default
,使用=delete
可以定义删除的函数。=delete
必须出现在函数第一次声明的时候,且可以回任何函数指定=delete
。
如果一个类的析构函数或者一个成员的析构函数是=delete
,那么将无法定义该类型的变量或创建该类的临时对象,可以new但无法delete。
关于合成拷贝控制成员,当不可能拷贝、赋值或销毁类的成员时,类的合成拷贝控制成员就被定义为删除的。
拷贝控制和资源管理
行为像值的类
行为像值的类有自己状态,副本和原对象是完全独立的。
由于赋值操作会销毁左侧运算对象的资源,在对如下类定义拷贝赋值运算符时,需要考虑将一个对象赋值给自身的情况。
1 | class HasPtr1 { |
如果拷贝赋值运算符是这样的,
1 | HasPtr1 &operator=(const HasPtr1 &rhs) { |
将一个对象赋值给自身时,解引用*rhs.ps
就是错误的,因为ps所指向的对象已经被delete了。因此需要用一个局部临时对象先保存右侧运算符对象的资源。
1 | HasPtr1 &operator=(const HasPtr1 &rhs) { |
行为像指针的类
行为像值的类共享状态。
1 | class HasPtr2 { |
对于以上类的拷贝构造函数,需要递增右侧运算对象的引用计数,递减左侧运算对象的引用计数。这里同样需要考虑同一个对象给自身赋值的情况,应该先递增右侧运算对象的引用计数,然后递减左侧的并检查,
1 | HasPtr2 &operator=(const HasPtr2 &rhs) { |
交换操作
如果一个类没有定义自己的swap,需要的时候将调用标准库的swap。一般来说,一次swap需要一次copy和两次assign,但这并不是必须要的。如果一个类有动态分配的内存,可以交换指针,而不是既copy又assign。
1 | class HasPtr { |
要注意的是:
- HasPtr的成员是内置类型,并没有特定版本的swap,因此上述swap中调用的是标准库的swap;
- 如果一个类的成员有自己类型特定的swap,那么调用std::swap就是错误的,标准库swap会进行不必要的copy。
如果存在类型特定的swap,其匹配程度会优于std中定义的版本。上面的
1
2
3
4void swap(Foo &lhs, Foo &rhs) {
using std::swap;
swap(lhs.h, rhs.h); // 使用HasPtr的swap
}using std::swap;
并未隐藏HasPtr的swap。
copy and swap
1 | HasPtr& HasPtr::operator=(HasPtr rhs) { |
这里的赋值运算符是用传值的方式。swap左侧运算对象和副本,然后销毁副本。
copy and swap天然就是异常安全的,因为可能抛出异常的情况就是传值时候的copy,如果此时抛出异常,左侧对象不会被修改。同时保证了自赋值的正确,因为是copy。
move
lvalue和rvalue
lvalue:有持久的状态,可以取地址。 rvalue:字面值常量或临时对象,不可以取地址。
rvalue reference
必须绑定到右值,即要求转换的表达式、字面值常量或返回右值的表达式。但不能直接绑定到一个左值上。
1 | int i = 5; |
由于rvalue reference只能绑定到临时对象,因此这个对象,
- 将要被销毁
- 没有其他用户
这意味着使用rvalue reference可以自由地接管所引用对象的资源。
1 | int i = 5; |
右值引用类型变量
进行右值引用后,得到的右值引用类型变量是左值。
1 | int i = 32; |
要将右值引用绑定到一个左值,应该显示地转换或move,
1 | int i = 5; |
使用move后,不能对移后源对象的值做任何假设,不能使用移后源对象的值。除了对rri赋值或销毁外,不能再使用它。
移动构造函数和移动赋值运算符
移动构造函数
参数是一个右值引用,且任何额外的参数都必须有默认实参。完成移动后,必须保证销毁源对象是无害的。一旦完成移动,源对象必须不能再指向被移动的资源,资源所有权已归属新创建的对象。
1 | StrVec::StrVec(StrVec &&s) noexcept : elements(s.elements), first_free(s.first_free), cap(s.cap) { |
移动构造函数通常不分配任何新内存,因此通常不抛出异常。为避免标准库为了处理可能抛出异常而做的额外工作,一种通知标准库的方法是指明noexcept
。
移动操作和异常
- 虽然移动操作通常不抛出异常,但是抛出异常是允许的。
- 标准库能够对异常发生是其自身的行为提供保障。
1 | vector<StrVec> vs; |
- 上面的代码中,如果在reallocate时,移动了部分元素后抛出异常,那么问题就会发生,源vector已经改变,但是新空间有的元素还不存在。
- 如果vector使用拷贝构造函数且发生了异常,那么不会影响源vector。
基于上面两点,除非vector知道元素类型的移动构造函数不会抛出异常,否则在reallocate时,就必须使用拷贝构造函数(即前面所说的,为了处理可能抛出异常而做的额外工作)。如果希望在类似reallocate 的情况下使用移动而非拷贝,就必须显式的告诉标准库移动构造函数可以安全使用。
移动赋值运算符
移动赋值运算符执行与析构函数和移动构造函数相同的工作。如果不抛出异常,则应该标记为noexcept
。
1 | StrVec &operator=(StrVec &&rhs) noexcept { |
这里必须check是否是同一对象,因为此右值可能是move调用返回的结果,再者不能在使用右侧运算对象的资源之前就释放左侧运算对象的资源。
移后源对象必须可析构
从一个对象移动数据并不会销毁此对象,但有时在移动操作完成后,源对象会被销毁,因此需确保移后源对象必须可析构。
移动操作还应保证对象仍是有效的,即可以安全地为其赋予新值或可以安全地使用而不依赖其当前值。
移动后,源对象的值是没有保证的,不应依赖移后源对象中的数据。
合成移动操作
何时定义
1 | struct X { |
只有当一个类没有定义任何自己版本的拷贝控制成员,且类的每个非static数据成员都可以移动构造或移动赋值时,编译器才会合成移动构造函数和移动赋值运算符。
何时删除
1 | struct Y { |
移动操作永远不会隐式定义为delete。但如果显式地要求编译器生成=default的移动操作,且编译器不能移动所有成员时,移动操作会被定义为delete。
定义了一个移动构造函数或移动赋值运算符的类必须也定义拷贝操作,否则这些成员默认定义为delete。
如果未定义
1 | class Foo { |
如果没有移动构造函数,就算试图调用move来移动,对象也会被拷贝。
这里与上面的hasY不同,hasY的移动构造函数是delete的(由于显式地要求生成,但编译器无法生成)。而这里的仅仅是未定义,函数匹配保证该类型的对象会被copy。
copy and swap again
1 | class Hp { |
这里除了拷贝构造函数,还有移动构造函数和赋值运算符。对于之前未定义移动构造函数的情况下,调用赋值运算符,初始化形参时总是进行拷贝。
现在拷贝初始化依赖于实参的类型,
- 左值->使用拷贝构造函数进行初始化,赋值运算符为拷贝赋值运算符
- 右值->使用移动构造函数进行初始化,赋值运算符为移动赋值运算符
从而单一的赋值运算符,实现了两种功能。
copy and swap idiom
上面的将拷贝赋值运算符和移动赋值运算符“合并”到一起的方式叫做copy and swap idiom。如果按照上面的方式实现了拷贝赋值运算符和移动赋值运算符,就不能再单独写两个拷贝赋值运算符和移动赋值运算符。
而两种实现拷贝赋值运算符和移动赋值运算符的效率是有区别的(C++ Primer 5th Chinese Edition, Exercise 15.53)。
1 |
|
测试代码如下,这里最好不要把对象的创建放到循环中去,每次构造和销毁的开销会使得两种拷贝和移动的区别不太明显,
1 | HasPtr3 hp; |
结果如下(VMware 12, Archlinux x64, Intel i7-2620m),
hp = hp1; |
hp = std::move(hp2); |
mixed | |
---|---|---|---|
HasPtr3& operator=(const HasPtr3& rhs) |
4s | N/A | 4.8s |
HasPtr3& operator=(HasPtr3&& rhs) noexcept |
N/A | 0.7s | 4.8s |
HasPtr3& operator=(HasPtr3 rhs) |
6s | 2.5s | 8.8s |
可看出copy and swap idiom的效率是不如分开写好。
移动迭代器
一个移动迭代器通过改变给定迭代器的解引用运算符的行为来适配此迭代器。对移动迭代器解引用生成的是一个右值。
1 | auto newe = uninitialized_copy(make_move_iterator(elements), make_move_iterator(cap), newb); |
通过调用make_move_iterator
可将一个普通迭代器转换为一个移动迭代器。上面的代码中,传递给uninitialized_copy
的是一个移动迭代器,解引用后得到的是右值,因此uninitialized_copy
将使用移动构造函数来构造元素。
标准库不保证哪些算法适用于移动迭代器。只有确认对象在传递给函数后不再访问,才能将移动迭代器传递给算法。
右值引用和成员函数
类似构造函数和赋值运算符,成员函数同样可以提供拷贝版本和移动版本。
1 | void push_back(const X&); // 拷贝 |
拷贝版本接受能够转换为类型X的任何对象。使用const X&
是因为拷贝操作不应该改变该对象。
而移动版本接受非const右值,对于非const右值是精确匹配。从源对象移动数据时,显然需要更改源对象,所以是X&&
。
右值和左值引用成员函数
对于赋值运算符,为了强制左侧运算对象是一个左值,可以类似const,在参数列表后使用引用限定符,引用限定符可以是&
或&&
,
1 | Foo &operator=(const Foo&) &; // 只能向可修改的左值赋值 |
const改变了this指针的类型,指明了this是指向常量的指针,这里类似,引用限定符说明了this可以指向一个左值还是右值。const和引用限定符只能用于非static成员函数。
重载和引用函数
当定义const成员函数是,可以根据有无const,定义两个重载版本。
1
2Foo sorted();
Foo sorted() const;当定义有引用限定符的成员函数时,如果定义两个或两个以上具有相同名字和参数列表的成员函数,就必须对**所有重载函数*都加上引用限定符。
1
2
3Foo sorted(Comp*) &&;
Foo sorted(Comp*) const; // 错误
Foo sorted(Comp*) const &;