【读书笔记】【C++ Primer】【拷贝控制】1 拷贝、赋值与销毁

拷贝构造函数

class Foo {
public:
	Foo();            // 默认构造函数
	Foo(const Foo&);  // 拷贝构造函数
	// ...
};

只有当类没有声明任何构造函数时，编译器才自动生成默认构造函数。也就是说，一旦用户声明了一个构造函数，不管带不带参数，编译器都不会再声明默认构造函数。

没有声明拷贝构造函数时，编译器会合成一个拷贝构造函数。

拷贝构造函数在几种情况下都会被隐式地使用。因此，拷贝构造函数通常不应该是 explicit 的。

#include <iostream>

using namespace std;

class Foo {
public:
	Foo(int m = 0) {
		cout << "构造函数" << endl;
	}
	Foo(const Foo &) {
		cout << "拷贝构造函数" << endl;
	}
};

int main() {
	Foo f1;
	Foo f2 = f1;
	return 0;
}

(base) ~/Desktop$ ./main
构造函数
拷贝构造函数

如果加上 explicit 会报错

#include <iostream>

using namespace std;

class Foo {
public:
	Foo(int m = 0) {
		cout << "构造函数" << endl;
	}
	explicit Foo(const Foo &) {
		cout << "拷贝构造函数" << endl;
	}
};

int main() {
	Foo f1;
	Foo f2 = f1;
	return 0;
}

(base) ~/Desktop$ g++ main.cpp -o main
main.cpp:17:6: error: no matching constructor for initialization of 'Foo'
        Foo f2 = f1;
            ^    ~~
main.cpp:7:2: note: candidate constructor not viable: no known conversion from 'Foo' to 'int' for 1st argument
        Foo(int m = 0) {
        ^
1 error generated.

当我们初始化标准库容器或是调用其 insert 或 push 成员时，容器会对其元素进行拷贝初始化。

与之相对，用 emplace 成员创建的元素都进行直接初始化。

拷贝构造函数的参数为什么是引用？

拷贝构造函数被用来初始化非引用类类型参数。为了调用拷贝构造函数，我们必须拷贝它的实参，但为了拷贝实参，我们又需要调用拷贝构造函数，如此无限循环。

拷贝赋值运算符

赋值运算符通常应该返回一个指向其左侧运算对象的引用。

class Foo {
public:
	Foo();                       // 默认构造函数
	Foo& operator=(const Foo&);  // 赋值运算符
	// ...
};

三/五法则

需要析构函数的类也需要拷贝和赋值操作

需要拷贝操作的类也需要赋值操作，反之亦然

使用 =default

我们可以通过将拷贝控制成员定义为 =default 来显式地要求编译器生成合成的版本。

比如说构造函数，用户自己声明了一个含参的构造函数，系统就不会生成默认构造函数。使用 =default 就可以解决这个问题。

类内 =default，合成的函数隐式地声明为内联。

如果不希望合成的成员是内联函数，可以在类外定义使用 =default。