每个C++类只有一个析构函数,但可以有多个构造函数和多个赋值函数。其中构造函数包括默认构造函数(无参,或参数全有默认值),拷贝构造函数。在编程时,如果程序员不显式声明和定义上述函数,编译器将自动产生4个public inline的默认函数。形式为:
A();
A(const A&);
A& operator=(const A& a)
~A();
【何时需要显式定义拷贝构造函数】
默认的拷贝构造函数和赋值函数,均采用浅拷贝(位拷贝)。拷贝构造函数通过按值传递的方式在函数中传递和返回对象。如果类的成员中有指针的话,这种拷贝方式的结果是两个不同对象的指针指向同一块内存区域,容易出现访问冲突,多次delete等错误,不是我们所希望的。
class Widget
{
public:
int* pi;
};
int i1 = 5;
int i2 = 9;
Widget w1;
w1.pi = &i1;
Widget w2(w1);
std::cout << *(w2.pi) << std::endl; //output 5
*(w2.pi) = i2;
std::cout << *(w1.pi) << std::endl; //output 9
std::cout << *(w2.pi) << std::endl; //output 9
注意 Widget w2 = w1; 是调用了拷贝构造函数,而不是赋值,为避免混淆,最好写成 Widget w2(w1); 可以这么记,调用拷贝构造函数,一定是产生了一个新的对象。
改变对象w2中的pi指针的值,w1中的值也被改掉了,因为两个对象的pi指针指向的都是同一块内存区域。这种错误容易出现在类中定义了缓冲区的情况下。
析构函数、拷贝构造函数和赋值运算符三者几乎总是同时出现。析构函数一般是是为了释放资源,说明类中很有可能定义了指针类型,所以需要显式定义拷贝构造函数和赋值运算符。
【禁止拷贝】
C++ 中用类来表示一类事物,许多类所表示的概念对于“拷贝”这个动作都没有清楚的定义,比如“连接”,“窗口”“文件”等。拷贝一个连接,两个连接的关系是什么?意思是得到了两个参数一样的连接,还是两个对象指向同一个连接?这种情况下,避免二义性,可以通过将拷贝构造函数和重载赋值运算符设为private来禁止拷贝。
class Widget
{
public:
int* pi;
private:
Widget(const Widget&);
Widget& operator=(const Widget&);
};
在VS2010中, 这样声明以后,对上面的测试代码,会提示“no appropriate default constructor available.”
【参考】