为什么禁用拷贝构造函数

关于拷贝构造函数的禁用原因，我目前了解的主要是两个原因。第一是浅拷贝问题，第二个则是基类拷贝问题。

浅拷贝问题

编译器默认生成的构造函数，是 memberwise 拷贝 ^1 ，也就是逐个拷贝成员变量，对于下面这个类的定义 ^2 ：

class Widget {
 public:
    Widget(const std::string &name) : name_(name), buf_(new char[10]) {}
    ~Widget() { delete buf_; }

 private:
    std::string name_;
    char *buf_;
};

默认生成的拷贝构造函数，会直接拷贝 buf_ 的值，导致两个 Widget 对象指向同一个缓冲区，这会导致析构的时候两次删除同一片区域的问题（这个问题又叫 双杀 问题）。

解决这个问题的方式有很多：

自己编写拷贝构造函数，然后在拷贝构造函数中创建新的 buf_ ，不过拷贝构造函数的编写需要考虑异常安全的问题，所以编写起来有一定的难度。

使用 shared_ptr 这样的智能指针，让所有的 Widget 对象共享一片 buf_ ，并让 shared_ptr 的引用计数机制帮你智能的处理删除问题。

禁用拷贝构造函数和赋值操作符。如果你根本没有打算让 Widget 支持拷贝，你完全可以直接禁用这两操作，这样一来，前面提到的这些问题就都不是问题了。

基类拷贝构造问题

如果我们不去自己编写拷贝构造函数，编译器默认生成的版本会自动调用基类的拷贝构造函数完成基类的拷贝：

class Base {
 public:
    Base() { cout << "Base Default Constructor" << endl; }
    Base(const Base &) { cout << "Base Copy Constructor" << endl; }
};

class Drived : public Base {
 public:
    Drived() { cout << "Drived Default Constructor" << endl; }
};

int main(void) {
    Drived d1;
    Drived d2(d1);
}

上面这段代码的输出如下：

Base Default Constructor
Drived Default Constructor

Base Copy Constructor  // 自动调用了基类的拷贝构造函数

但是如果我们出于某种原因编写了，自己编写了拷贝构造函数（比如因为上文中提到的浅拷贝问题），编译器不会帮我们安插基类的拷贝构造函数，它只会在必要的时候帮我们安插基类的默认构造函数：

class Base {
 public:
    Base() { cout << "Base Default Constructor" << endl; }
    Base(const Base &) { cout << "Base Copy Constructor" << endl; }
};

class Drived : public Base {
 public:
    Drived() { cout << "Drived Default Constructor" << endl; }
    Drived(const Drived& d) {
    	cout << "Drived Copy Constructor" << endl;
    }
};

int main(void) {
    Drived d1;
    Drived d2(d1);
}

上面这段代码的输出如下：

Base Default Constructor
Drived Default Constructor

Base Default Constructor // 调用了基类的默认构造函数
Drived Copy Constructor

这当然不是我们想要看到的结果，为了能够得到正确的结果，我们需要自己手动调用基类的对应版本拷贝基类对象。

1
2
3

Drived(const Drived& d) : Base(d) {
    cout << "Drived Copy Constructor" << endl;
}

这本来不是什么问题，只不过有些人编写拷贝构造函数的时候会忘记这一点，所以导致基类子对象没有正常复制，造成很难察觉的BUG。所以为了一劳永逸的解决这些蛋疼的问题，干脆就直接禁用拷贝构造和赋值操作符。

没有拷贝构造的限制

在C++11之前对象必须有正常的拷贝语义才能放入容器中，禁用拷贝构造的对象无法直接放入容器中，当然你可以使用指针来规避这一点，但是你又落入了自己管理指针的困境之中（或许使用智能指针可以缓解这一问题）。

C++11中存在移动语义，你可以通过移动而不是拷贝把数据放入容器中。

拷贝构造函数的另一个应用在于设计模式中的 原型模式 ，在C++中没有拷贝构造函数，这个模式实现可能比较困难。

如何禁用拷贝构造

如果你的编译器支持 C++11，直接使用 delete

否则你可以把拷贝构造函数和赋值操作符声明成 private 同时不提供实现。

你可以通过一个基类来封装第二步，因为默认生成的拷贝构造函数会自动调用基类的拷贝构造函数，如果基类的拷贝构造函数是 private ，那么它无法访问，也就无法正常生成拷贝构造函数。

class NonCopyable {
protected:
    ~NonCopyable() {}  // 关于为什么声明成为 protected，参考
    		       // 《Exceptional C++ Style》
private:
    NonCopyable(const NonCopyable&);
}

class Widget : private NonCopyable { // 关于为什么使用 private 继承
				     // 参考《Effective C++》第三版
}

Widget widget(Widget()); // 错误

上不会生成 memberwise 的拷贝构造函数，详细内容可以参考《深度探索C++对象模型》一