C++不可拷贝但可移动类的设计与实现

1. 理解不可拷贝但可移动类的设计需求

在C++编程实践中，我们经常会遇到需要控制类对象拷贝行为的场景。有些资源（如文件句柄、网络连接、独占锁等）具有唯一性，简单的值拷贝会导致资源管理混乱。这就是为什么我们需要设计"不可拷贝但可移动"的类。

这种设计模式的核心价值在于：

• 防止意外的资源重复：通过禁用拷贝操作，避免多个对象持有同一资源的引用
• 允许资源所有权的转移：通过移动语义，可以在不复制资源的情况下安全转移所有权
• 提高性能：移动操作通常比深拷贝更高效，特别是对于大型资源

2. 实现不可拷贝特性的关键技术

2.1 删除拷贝构造函数和拷贝赋值运算符

在C++11及以后的标准中，最简单的方式是使用= delete语法显式删除拷贝操作：

cpp复制class NonCopyable {
public:
    NonCopyable(const NonCopyable&) = delete;
    NonCopyable& operator=(const NonCopyable&) = delete;
    
    // 其他成员函数...
};

这种方式的优势在于：

• 意图明确：代码清晰地表达了设计者的意图
• 编译时检查：任何尝试拷贝的行为都会导致编译错误
• 不影响其他操作：移动操作和默认构造等不受影响

2.2 传统C++98/03的实现方式

在早期C++版本中，我们可以通过将拷贝操作声明为private并不提供实现来达到类似效果：

cpp复制class NonCopyable {
private:
    NonCopyable(const NonCopyable&);  // 不实现
    NonCopyable& operator=(const NonCopyable&);  // 不实现
public:
    // 其他成员函数...
};

注意：现代C++项目应优先使用= delete语法，它更清晰且能产生更好的错误信息。

3. 实现移动语义的完整方案

3.1 移动构造函数的基本结构

一个典型的移动构造函数实现如下：

cpp复制class MovableResource {
public:
    // 移动构造函数
    MovableResource(MovableResource&& other) noexcept
        : resource_(other.resource_), size_(other.size_) 
    {
        // 转移资源所有权后，置空源对象
        other.resource_ = nullptr;
        other.size_ = 0;
    }
    
private:
    ResourceType* resource_;
    size_t size_;
};

关键点：

1. 参数类型为右值引用&&
2. 使用noexcept保证不会抛出异常（这对标准库容器很重要）
3. 转移资源后必须置空源对象的状态

3.2 移动赋值运算符的实现

移动赋值运算符需要考虑自赋值的情况：

cpp复制MovableResource& operator=(MovableResource&& other) noexcept {
    if (this !=