【重要】C++拷贝函数详解 20150111

C++拷贝函数详解

1.什么是拷贝构造函数：

CA(const CA& C)就是我们自定义的拷贝构造函数。可见，拷贝构造函数是一种特殊的构

造函数，函数的名称必须和类名称一致，它的唯一的一个参数是本类型的一个引用变量，该参

数是const类型，不可变的。例如：类X的拷贝构造函数的形式为X(X& x)。

当用一个已初始化过了的自定义类类型对象去初始化另一个新构造的对象的时候，拷

贝构造函数就会被自动调用。

也就是说，当类的对象需要拷贝时，拷贝构造函数将会被调用。以下情况都会调用拷贝构造函数：

①程序中需要新建立一个对象，并用另一个同类的对象对它初始化，如前面介绍的那样。

②当函数的参数为类的对象时。

在调用函数时需要将实参对象完整地传递给形参，也就是需要建立一个实参的拷贝，这就

是按实参复制一个形参，系统是通过调用复制构造函数来实现的，这样能保证形参具有和实参

完全相同的值。

③函数的返回值是类的对象。

在函数调用完毕将返回值带回函数调用处时。

此时需要将函数中的对象复制一个临时对象并传给该函数的调用处。如

Box f( ) //函数f的类型为Box类类型

{Box box1(12,15,18);

return box1; //返回值是Box类的对象

}

int main( )

{Box box2; //定义Box类的对象box2

box2=f( ); //调用f函数，返回Box类的临时对象，并将它赋值给

box2

}

如果在类中没有显式地声明一个拷贝构造函数，那么，编译器将会自动生成一个默认的

拷贝构造函数，该构造函数完成对象之间的位拷贝。位拷贝又称浅拷贝，后面将进行说明。

自定义拷贝构造函数是一种良好的编程风格，它可以阻止编译器形成默认的拷贝构造函数，提高源码效率。

浅拷贝和深拷贝

在某些状况下，类内成员变量需要动态开辟堆内存，如果实行位拷贝，也就是把对象里的

值完全复制给另一个对象，如A=B。

这时，如果B中有一个成员变量指针已经申请了内存，那A中的那个成员变量也指向同一块内存。

这就出现了问题：当B把内存释放了（如：析构），这时A内的指针就是野指针了，出现运行错误。

深拷贝和浅拷贝可以简单理解为：

如果一个类拥有资源，当这个类的对象发生复制过程的时候，资源重新分配，这个过程就是深拷贝，反之，没有重新分配资源，就是浅拷贝。

2.C++拷贝构造函数的几个细节

1) 以下函数哪个是拷贝构造函数,为什么?

1.X::X( const X&);

2.X::X(X);

3.X::X(X&, int a=1);

4.X::X(X&, int a=1, b=2);

解答：1) 对于一个类X,如果一个构造函数的第一个参数是下列之一:

a) X&

b) const X&

c) volatile X&

d) const volatile X&

且没有其他参数或其他参数都有默认值,那么这个函数是拷贝构造函数.

1.X::X( const X&); //是拷贝构造函数

2.X::X(X&, int =1); //是拷贝构造函数

2) 一个类中可以存在多于一个的拷贝构造函数吗?

解答：类中可以存在超过一个拷贝构造函数,

1.class X{

2.public :

3.X( const X&);

4.X(X&); // OK

5.};

【注意】

如果一个类中只存在一个参数为X&的拷贝构造函数,

那么就不能使用const X或volatile X的对象实行拷贝初始化.

1.class X{

2.public :

3.X();

4.X(X&);

5.};

6.

7.const X cx;

8.X x=cx; //error

如果一个类中没有定义拷贝构造函数,那么编译器会自动产生一个默认的拷贝构造函数.

这个默认的参数可能为X::X(const X&)或X::X(X&),由编译器根据上下文决定选择哪一个.

默认拷贝构造函数的行为如下:

默认的拷贝构造函数执行的顺序与其他用户定义的构造函数相同,

执行先父类后子类的构造.

拷贝构造函数对类中每一个数据成员执行成员拷贝(memberwise Copy)的动作.

a)如果数据成员为某一个类的实例,那么调用此类的拷贝构造函数.

b)如果数据成员是一个数组,对数组的每一个执行按位拷贝.

c)如果数据成员是一个数量,如int,double,那么调用系统内建的赋值运算符对其进行赋值.

3) 拷贝构造函数不能由成员函数模版生成.

struct X{

template < typename T>

X( const T& ); // NOT copy ctor, T can't be X

template < typename T>

operator=( const T& ); // NOT copy ass't, T can't be X

};

原因很简单, 成员函数模版并不改变语言的规则,而语言的规则说,如果程序需要一个拷贝构造函数而你没有声明它,那么编译器会为你自动生成一个. 所以成员函数模版并不会阻止编译器生成拷贝构造函数, 赋值运算符重载也遵循同样的规则

3.拷贝构造函数与赋值函数的异同：

1) 拷贝构造，是一个的对象来初始化一片内存区域，这片内存区域就是你的新对象的内存区域赋值运算，对于一个已经被初始化的对象来进行operator=操作

class A;

A a;