C++雾中风景6：拷贝构造函数与赋值函数
在进行C++类编写的过程之中，通常会涉及到类的拷贝构造函数与类的赋值函数。初涉类编写的代码，对于两类函数的用法一直是挺让人困惑的内容。这篇文章我们会详细来梳理拷贝构造函数与赋值函数的区别。
1.调用了哪个函数？
上述两种函数的使用和C++之中类的定义紧密相关，所以我们先定义一个类：
class Line {
public:
int getLength( void );
Line( int len ); //简单的构造函数
Line( const Line &obj) { //拷贝构造函数
cout << "调用拷贝构造函数" << endl;
ptr = new int;
*ptr = *obj.ptr;
};
Line& operator=(const Line &obj) { //赋值函数
cout << "调用赋值函数" << endl;
if(this == &obj) {
return *this;
}
delete ptr;
ptr = new int;
*ptr = *obj.ptr;
return *this;
};
~Line(); // 析构函数
private:
int *ptr;
};
这里我们显式声明了拷贝构造函数与赋值构造函数，接下来我们用一小段代码测试一下上面定义的类。(其他函数的定义并不完整，读者可以之行补全)
int main() {
Line l1(10);
Line l2 = l1;
Line l3(5);
l3 = l2;
}
输出结果如下：
调用拷贝构造函数
调用赋值函数
看似很相似的两个表达式，却调用了不同的两个函数。初学C++时，这样的结果让我很困惑，所以我们接下来梳理一下这两个函数。
2.拷贝构造函数
上面的代码我们可以看到代码 Line l2 = l1调用了拷贝构造函数。
拷贝构造函数，顾名思义，是一个构造函数，但是它特殊的点就在于在创建对象时，是使用同一类中之前创建的对象来初始化新创建的对象。所以对于它的使用场合也很简单，只有在构造对象时才会调用到拷贝构造函数，显然Line l2 = l1是一个对象初始化的过程。我们知道每个类都会有构造函数，在对象初始化的过程之中，拷贝构造函数提供了一个通过一个同类型的对象对它进行初始化。
C++支持两种初始化形式：拷贝初始化（int a = 5;）和直接初始化（int a(5);）对于其他类型没有什么区别，对于类类型直接初始化直接调用实参匹配的构造函数，拷贝初始化总是调用拷贝构造函数，也就是说：
A x(2); //直接初始化，调用构造函数
A y = x; //复制初始化，调用拷贝构造函数
在C++中，下面几个场景中,拷贝构造函数会被调用：
- 一个对象需要通过另一个对象进行初始化
- 一个对象以值传递的方式作为参数传入函数
- 一个对象以值传递的方式作为返回值从函数返回
如果我们没有显式声明定义对应类的拷贝构造函数，C++编译器会默认生成对应的拷贝构造函数。既然C++编译器会自动生成拷贝构造函数，为什么我们又需要显式的去定义它呢？
因为由C++编译器提供的拷贝构造函数工作方式是浅拷贝。它单纯的使用了=操作符来拷贝类中的成员。但是如果类中用到了需要动态分配内存的成员（如Line类之中的ptr指针），则会出现内存安全的问题。同时对于类的封装性也是一种变相破坏，因为浅拷贝只是单纯拷贝了该成员的内存地址，但所指向的空间内容并没有复制，而是由两个对象共用，就容易出现double free等问题。所以此时就要手动重载拷贝构造函数，实现深拷贝。
3.赋值函数
许多文章，博客喜欢把Line& operator=(const Line &obj)重载=操作符的函数称之为赋值构造函数。个人认为其实是不准确的，会产生一个理解误区。其实重载的=操作符就是一个赋值函数。
赋值函数:是把一个新的对象赋值给一个原有的对象，如果原来的对象中有内存分配需要先把内存释放掉。如果我们没有在类之中显式重载对应类的赋值函数，C++编译器也会默认生成对应的赋值函数。生成的规则与拷贝构造函数类似，也是一种浅拷贝的形式。所以我们重载赋值函数的原因也与拷贝构造函数类型，需要实现深度赋值。
由上文的代码也可以看出，赋值函数与拷贝构造函数定义的内容之中，所做的工作大同小异。唯一需要注意的点是：在赋值函数之中需要检察一下两个对象是不是同一个对象，如果是，不做任何操作，直接返回。
x = x //可能会出现赋值给自身的操作，所以需要对赋值对象进行检查
所以现在回头再来看看前文的代码，我们应该可以理解C++编译器调用不同函数的理由了：
int main() {
Line l1(10);
Line l2 = l1;
Line l3(5);
l3 = l2;
}
当对象不存在，且用别的对象来初始化，此时调用的便是拷贝构造函数。而当对象已经存在，用别的对象来给它进行赋值操作时，调用的就是赋值函数了。
最后的小Tips：一旦在类之中声明了拷贝构造函数与赋值函数，编译器将不会生成缺省的对应函数。所以我们可以通过将拷贝构造函数和赋值函数声明为私有函数，来阻止编译器生成的缺省函数，在编译阶段来拒绝不安全的浅拷贝。
class Line {
public:
int getLength( void ) {
return *ptr;
};
Line( int len ) {
ptr = new int;
*ptr = len;
} //简单的构造函数
// ~Line(); // 析构函数
private:
int *ptr;
Line( const Line &obj);
Line& operator=(const Line &obj);
};
int main() {
Line l1(10);
Line l2 = l1; //编译器报错，无法通过编译
Line l3(5);
l3 = l2; //同样的的编译器报错，无法通过编译
}
好的，关于拷贝构造函数与赋值函数，就先写到这里。下一篇雾中风景系列，来聊一聊命名空间吧～～
