看书看到这,感觉耳目一新,记录一波。
众所周知,C++的类如果没有默认构造函数,会自动生成一个。
同理,如果没有复制构造函数即A::A(const A&){}这个函数 ,则系统也会自动生成一个,但这个自动生成的复制构造函数不一定满足我们的要求。
比如下面的例子:
class A{
public:
int* a;
int b;
A()=default;
A(int x):a(new int(10)){b=x;}
~A(){delete a;cout<<"我删除a了!"<<endl;}
};
其中我们定义了默认构造函数、另一个重载版本的构造函数和析构函数。但是我们没有定义复制构造函数,所以系统自动帮我们生成了一个,作用大致可以理解为下面的函数:
A(const A& another){
a=another.a;
b=another.b;
}
之后我们定义一个函数f:
void f(A x){}
这个函数只有一个A类型的参数,即该函数只把实参调用一次复制构造函数得到一个临时变量就退出,退出后会调用析构函数释放临时变量的空间。
我们执行下面代码:
int main(){
A x(5);
cout<<x.a<<endl<<*(x.a)<<endl;
f(x);//调用默认的复制构造函数
cout<<x.a<<endl<<*(x.a)<<endl;
getchar();
getchar();
}
得到:
实际调用f(x)时系统生成的默认复制构造函数简单的把指针a的值赋给形参的a,即下面代码的含义:
A(const A& another){
a=another.a;
b=another.b;
}
所以x和f(x)构造的临时变量的成员a都指向同一块内存。
f(x)调用完毕后会调用析构函数把临时变量释放掉。所以这个临时变量的a指针就会被delete。而这个临时变量的a正好等于x的a。所以调用f(x)之后,x的成员a指向了一块无效内存(图中可以看到调用f(x)后x的成员a指向的内存数据发生了变化),这样是相当不安全的!
如果我们在主函数后面加上一行A y(x); 则由于默认的复制构造函数为简单的拷贝,所以y的成员a也等于x的成员a,二者都指向了无效内存!
上面这个例子的问题是:我们定义了自己的析构函数,但没有定义复制构造函数和赋值运算符重载,所以在复制时不同实例的成员数据发生了重叠。并且复制而来的临时变量的释放会导致原本变量的数据的丢失。
C++primer上说,如果定义析构函数,就要把复制构造函数、赋值运算符重载全部定义,否则容易出现问题。
另外一个知识点,好像之前看剑指offer也看过来着,当时印象不深:
编写类时的赋值运算符重载时,注意两点:
1.自赋值能正常运行不报错。
2.赋值运算符一般都集合了复制构造函数和析构函数二者的功能。
例子:
A& operator=(const A& x){
if(this!=&x){
A temp(x);
a=temp.a;
b=temp.b;
//......//
}
return *this;
}
先建立一个临时变量,然后依次赋值成员变量的值到this的成员,最后返回当前实例的引用,这样函数退出时temp也被自动析构释放。当然这个例子是建立在已经写好复制构造函数和析构函数的前提下,否则这个函数中 程序员应该自己写好对应的功能。