拷贝构造函数
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。