Item 6：明确拒绝不想要的编译器生成函数

从“门锁为什么不该被复制”开始

现实中的 HomeForSale、mutex、thread、数据库事务或注册身份通常没有合理复制语义。若类未声明 copy，Item 5 说明编译器可能生成 public memberwise copy。

不能只在文档写“请勿复制”，也不应让复制先发生再在运行时抛异常。

Item 6 的目标是 explicitly disallow compiler-generated functions you do not want（明确拒绝不想要的编译器生成函数）。

原书方法：private 声明但不定义

class HomeForSale {
public:
    HomeForSale() = default;
private:
    HomeForSale(const HomeForSale&);
    HomeForSale& operator=(const HomeForSale&);
};

普通调用方因 private 在编译期失败；member 或 friend 有访问权，调用能编译，却在链接时因没有定义而失败。

与

分属不同阶段。原书方法有效，但错误可能离调用点更远。

Uncopyable base 把链接错误提前

class Uncopyable {
protected:
    Uncopyable() = default;
    ~Uncopyable() = default;
private:
    Uncopyable(const Uncopyable&);
    Uncopyable& operator=(const Uncopyable&);
};
 
class HomeForSale : private Uncopyable {};

编译器尝试生成 HomeForSale copy 时，需要调用基类 copy，但派生无权访问 private，因此在编译期失败。

是组合与继承的自然效果。旧代码常见 boost::noncopyable 也是这一思路。

现代方法：deleted functions

class HomeForSale {
public:
    HomeForSale() = default;
    HomeForSale(const HomeForSale&) = delete;
    HomeForSale& operator=(const HomeForSale&) = delete;
};

通常放 public，调用方、member、friend 都得到“use of deleted function”诊断，文档工具和 type traits 也能直接看到契约。

比 private 更准确表达“不存在合法调用者”。

copy 与 move 分开决定

独占 owner 常禁止 copy 但允许 move：

class FileHandle {
public:
    explicit FileHandle(NativeHandle handle) noexcept : handle_{handle} {}
    ~FileHandle() { close_if_valid(handle_); }
 
    FileHandle(const FileHandle&) = delete;
    FileHandle& operator=(const FileHandle&) = delete;
    FileHandle(FileHandle&&) noexcept;
    FileHandle& operator=(FileHandle&&) noexcept;
private:
    NativeHandle handle_{};
};

身份对象则可能 copy/move 都删除：移动 mutex 或被外部注册地址的对象会破坏身份关系。

不要为了能放进 vector 就虚构 move；可改用 unique_ptr<Identity> 保存稳定地址。

值、所有者、view 的能力矩阵

通常 copy/move 都支持。若资源成员使用 string/vector，rule of zero 即可。

删除 copy、支持 noexcept move。

可 copy，但复制语义是共享不是深拷贝，必须明确。

如 span/string_view 常可 copy；禁止 copy 反而降低可用性。

多态基类的复制不是普通 copy

按值复制抽象基类会 slicing。常见设计让基类 copy ctor protected/default 或 deleted，并提供 clone：

class Shape {
public:
    virtual ~Shape() = default;
    virtual std::unique_ptr<Shape> clone() const = 0;
protected:
    Shape() = default;
    Shape(const Shape&) = default;
    Shape& operator=(const Shape&) = default;
};

派生 clone 可以调用自己的 copy constructor。对外禁止基类值复制，对内保留实现能力。

不能仅靠 deleted copy 自动提供 clone 的异常保证，还需逐派生测试。

deleted function 不只用于特殊成员

任何函数都可删除，用于阻止危险隐式转换：

bool isLucky(int number);
bool isLucky(char) = delete;
bool isLucky(bool) = delete;
bool isLucky(double) = delete;

若只保留 int，char/bool/double 会隐式转换；deleted overload 被选中后给出清晰失败。

还可删除模板实例族：

template<class T>
void processPointer(T* pointer);
 
template<>
void processPointer<void>(void*) = delete;

现代 concepts 也能在约束层排除，但 deleted overload 往往提供更具体诊断。

容器需求不会改变类型语义

vector<T> 类型声明不一定立即需要 copy，但某个操作可能需要 move insertable。不要先给 T 增加错误 copy 来满足容器；选择符合语义的容器或间接所有权。

static_assert(!std::copy_constructible<FileHandle>);
static_assert(std::move_constructible<FileHandle>);
 
std::vector<FileHandle> files;
files.emplace_back(open_native("data.bin"));

如果 move 可能抛，vector 的强保证路径可能受限。独占 handle move 通常可 noexcept，因为只交换标量句柄。

禁止契约的编译期测试

traits 检查能力矩阵：

static_assert(!std::is_copy_constructible_v<FileHandle>);
static_assert(!std::is_copy_assignable_v<FileHandle>);
static_assert(std::is_nothrow_move_constructible_v<FileHandle>);
static_assert(std::is_nothrow_move_assignable_v<FileHandle>);

可验证 copy_constructible<T>、movable<T> 或自定义 cloneable。traits 不足以证明禁止转换的具体诊断，因此再保留 compile-fail fixture。

先预测：isLucky('a') 在只有 int overload 时会发生什么，加入 deleted char overload 后重载选择如何变化？运行编译测试比较错误位置。

• 普通调用、member 和 friend 都不能 copy deleted 类型。
• 派生隐式 copy 因基类 deleted copy 自动不可用。
• unique owner move 后源为空且可析构，目标独占资源。
• identity object copy/move traits 全为 false。
• forbidden conversion 精确在调用点指向 deleted overload。

迁移旧式不可复制代码

先搜索 member/friend 是否偷偷复制；旧代码可能依赖链接失败或从未实例化。改为 = delete 后错误提前暴露。再决定 move：原 C++03 noncopyable 类型在现代不应自动假定可移动，必须根据资源/身份语义选择。

若移除 Uncopyable base 会改变对象布局或 ABI，库边界需要版本策略；内部代码可直接删除继承，减少空基类与继承噪声。

小结

• 不合理复制应成为编译期类型契约，而不是文档或运行时异常
• 原书 private undefined copy 对普通调用编译失败，但 member/friend 可能延迟到链接失败
• Uncopyable base 利用基类能力传播；现代 = delete 直接、统一且诊断更清楚
• copy 与 move 必须按值、独占、共享、view 或身份语义分别决定
• deleted functions 还能禁止隐式转换和特定模板调用
• traits、concepts 与 compile-fail tests 共同证明禁止能力和诊断位置