1.默认构造函数
默认构造函数是一个系统生成的,参数列表和函数体都为空的函数。
如果类中声明了默认构造函数(无论是否有参数),编译器便不再会为之生成隐含的构造函数。
2.析构函数
- 析构函数的函数列表为空,因此不能实现重载。
- 可以显式调用析构函数。例如可以通过对象名等进行调用,
obj.~A();
3.拷贝构造函数
拷贝构造函数的参数必须是引用类型。参数是指针不会编译报错,但是3.1中的场景不能触发调用拷贝构造函数。
3.1 调用拷贝构造函数的3种场景
- 用一个类的对象去初始化另一个类的对象时
Point a(1, 2);
Point b(a); // 调用复制构造函数
Point c = a; // 调用复制构造函数
- 函数的形参是类对象,当调用函数,进行形参和实参结合时
void fun(Point obj) {}
int main() {
Point a(1, 2);
fun(a); // 调用复制构造函数
}
- 如果函数的返回值是类对象,当函数执行完成返回调用者时
实际上,由于编译器的优化,可能不会调用。例如:gcc需要指定**-fno-elide-constructors**
编译选项才会调用。
Point fun() {
Point a(1, 2);
return a; // 调用复制构造函数
}
b = fun();
4.赋值运算符
4.1 注意点
- 拷贝构造函数必须以引用的方式传递参数,基本上都是传常量引用的方式传递函数参数。
- 赋值运算符函数的返回值类型要声明为该类型的引用,并在函数结束前返回实例自身的的引用(*this)。只有返回一个引用,才能进行连续赋值。否则,如果函数的返回值是void,则应用该赋值运算符将不能进行连续赋值。假设有3个Person对象:p1、p2、p3,在程序中语句p1=p2=p3将不能通过编译。
- 关于深拷贝和浅拷贝:当类有指针成员或有动态分配空间,都应实现自定义的拷贝构造函数。提供了拷贝构造函数,最后也实现赋值运算符。
4.2 和拷贝构造函数的区别
- 区别:拷贝构造函数使用已有的对象创建一个新的对象,赋值运算符是将一个对象的值复制给另一个已存在的对象。区分是调用拷贝构造函数还是赋值运算符,主要是否有新的对象产生。
#include <iostream>
using namespace std;
class A {
public:
A(string str) : name(str) { cout << "construct " << name << endl; } // 构造函数
A(const A &other) { // 拷贝构造函数
name = "copy " + other.name;
cout << name << endl;
}
A& operator = (const A &other) { // 赋值运算符重载
name = "equal " + other.name;
cout << name << endl;
return *this;
}
string name;
};
void fun1(A obj) {}
A fun2() {
A obj1("obj1");
return obj1;
}
int main()
{
A a("a");
// 下面3行都是调用拷贝构造函数
A b(a);
A c = a;
fun1(a);
cout << "-----------" << endl;
fun2();
cout << "-----------" << endl;
// 调用赋值运算符
b = a;
}
/* 输出:
construct acopy a
copy a
copy a
-----------
construct obj1
copy obj1 (指定-fno-elide-constructors编译选项才有这一项输出)
-----------
equal a
*/
参考文献
1. C++ 拷贝构造函数和赋值运算符
2. C++ 拷贝构造函数和赋值运算符函数及其必要性和意义
3. 为什么拷贝构造函数自己的参数必须是引用类型 - 知乎