C++ 拷贝控制(五)：阻止拷贝

有些类应该阻止拷贝，比如iostream类阻止了拷贝，以避免多个对象写入或者读取相同的IO缓存。如果我们不定义拷贝控制成员，但是编译器会默认为我们定义这些操作，因此不能阻止类的拷贝。

通常阻止拷贝主要有定义删除函数和private拷贝控制两种方法。

1. 定义删除函数

我们可以通过将拷贝构造函数和赋值拷贝运算符定义为删除函数来阻止拷贝。

删除函数是一种函数，虽然我们定义了它们，但是不能以任何方式使用它们。

class NoCopy
{
public:
    NoCopy() = default;                         // 默认合成生成构造函数
    NoCopy(const NoCopy &) = delete;            // 阻止拷贝
    NoCopy &operator=(const NoCopy &) = delete; // 阻止赋值
    ~NoCopy() = default;                        // 默认合成析构函数
};

特别注意：

• 与=default不同，=delete必须出现在函数第一次声明的时候使用
• 与=default不同，可以对任何函数指定=delete。（只能对编译器合成的默认构造函数和拷贝控制成员使用=default）
• 不能对析构函数使用=delete。不能删除析构函数，如果析构函数被删除，就无法销毁此类的对象。
• 如果一个类有数据成员不能默认构造、拷贝、赋值和销毁，则对应的成员函数将被定义为删除的。

2. private拷贝控制

class NoCopy
{
public:
    NoCopy() = default;  // 使用合成生成构造函数
    ~NoCopy() = default; // 使用合成析构函数
private:
    // 拷贝控制成员是private的。因此普通用户代码无法访问
    NoCopy(const NoCopy &);
    NoCopy &operator=(const NoCopy &);
};

由于析构函数是public的，用户可以定义NoCopy类型的对象。但是由于拷贝构造函数和拷贝赋值运算符是private的，用户将不能拷贝这个类型的对象。但是友元和成员函数仍然可以拷贝对象。为了阻止友元和成员函数的拷贝，将这些拷贝控制成员声明成private的，但不定义他们。访问时，试图拷贝对象的用户代码将会在编译阶段标记为错误。友元和成员函数在拷贝操作将会导致连接时错误。

特别注意：

声明但是不定义一个成员函数是合法的，(一种情况除外：virtual函数不能只声明不定义)

总结：

• 通常我们使用定义删除函数=delete的方式来阻止拷贝，尽量避免使用private拷贝控制

• 在工程中，一般我们单独实现NoCopy的类，然后其他类通过继承该类实现阻止拷贝。

参考：《C++ primer》整理笔记