36. 为什么std::unique_ptr只能移动不能拷贝？

这个问题，我几乎每次讲移动语义时都会被问到。说白了，std::unique_ptr 的设计哲学就是「独占所有权」。你想想看，如果一份资源只能有一个主人，那怎么能允许拷贝呢？拷贝意味着两个指针指向同一块内存，那到底谁来负责释放？

独占所有权的核心思想

unique_ptr 的名字已经说明了一切——它是「唯一的」指针。我习惯把它想象成一把钥匙，这把钥匙只能交给一个人。如果你复制了一把钥匙，那就不叫「唯一」了。

来看个简单的例子：

std::unique_ptr<int> p1 = std::make_unique<int>(42);
// std::unique_ptr<int> p2 = p1;  // 编译错误！不能拷贝

std::unique_ptr<int> p3 = std::move(p1);  // 可以移动，所有权转移
// 此时 p1 变为 nullptr

为什么拷贝被禁止？因为如果允许拷贝，两个 unique_ptr 会指向同一块内存。当它们析构时，会两次调用 delete，这就是典型的 double free 问题。我在项目中遇到过这种 bug，排查起来相当痛苦。

移动语义如何解决这个问题

移动操作把所有权从一个指针转移到另一个指针。源指针被置空，目标指针获得资源。这样，任何时候都只有一个 unique_ptr 拥有资源。

看看 unique_ptr 的简化实现：

template<typename T>
class unique_ptr {
    T* ptr;
public:
    // 移动构造函数
    unique_ptr(unique_ptr&& other) noexcept 
        : ptr(other.ptr) {
        other.ptr = nullptr;  // 源指针放弃所有权
    }
    
    // 移动赋值
    unique_ptr& operator=(unique_ptr&& other) noexcept {
        if (this != &other) {
            delete ptr;       // 释放当前资源
            ptr = other.ptr;  // 接管新资源
            other.ptr = nullptr;
        }
        return *this;
    }
    
    // 拷贝构造函数被删除
    unique_ptr(const unique_ptr&) = delete;
    
    ~unique_ptr() { delete ptr; }
};

注意看移动构造函数里的 other.ptr = nullptr。这一步至关重要，它确保了源指针不再拥有资源。我曾经见过有人自己实现智能指针时忘了这步，结果两个指针都认为自己是所有者，析构时程序直接崩溃。

为什么不能拷贝？深入分析

如果允许拷贝，会破坏几个关键保证：

• 资源泄漏：两个指针指向同一资源，第一个析构时释放了内存，第二个析构时再次释放，未定义行为
• 所有权模糊：谁该负责释放资源？没有明确的答案
• 异常安全：拷贝过程中如果抛出异常，资源状态难以恢复

嗯，这里要注意一点：unique_ptr 的移动操作被标记为 noexcept。为什么？因为移动操作不应该失败。如果移动可能抛出异常，那在容器重新分配内存时就会出问题。标准库的容器在重新分配时，如果元素的移动操作是 noexcept 的，就会优先使用移动；否则只能退而求其次用拷贝。

实际应用场景

我个人习惯用 unique_ptr 来管理所有需要动态分配的资源。比如工厂函数返回对象：

std::unique_ptr<Shape> createShape(const std::string& type) {
    if (type == "circle") return std::make_unique<Circle>();
    if (type == "square") return std::make_unique<Square>();
    return nullptr;
}

// 使用
auto shape = createShape("circle");
// shape 是 unique_ptr，不能拷贝，但可以移动
auto another = std::move(shape);

把 unique_ptr 放进容器也很常见：

std::vector<std::unique_ptr<Task>> tasks;
tasks.push_back(std::make_unique<Task>(1));
tasks.push_back(std::make_unique<Task>(2));

// 注意：不能直接拷贝
// auto task = tasks[0];  // 错误！
auto task = std::move(tasks[0]);  // 正确，所有权转移

我曾经在项目中用 vector<unique_ptr> 管理一组网络连接对象。每个连接都是独占资源，不能被复制。移动语义让这些对象可以高效地在容器中转移，而不需要深拷贝。

与 shared_ptr 的对比

说白了，如果你能确定资源只有一个所有者，就用 unique_ptr。它比 shared_ptr 轻量得多，没有引用计数的原子操作开销。

避坑指南

class Database {
    std::unique_ptr<Connection> conn_;
public:
    // 明确告诉调用者：你传入的连接归我管
    void setConnection(std::unique_ptr<Connection> conn) {
        conn_ = std::move(conn);
    }
};

知识结构图

总结

unique_ptr 只能移动不能拷贝，这是 C++ 所有权模型的核心设计。它用编译时的强制约束，避免了运行时可能出现的资源管理错误。移动语义让所有权转移变得安全且高效，源指针被置空，目标指针获得资源，整个过程清晰明了。

我个人觉得，理解 unique_ptr 的设计哲学，是掌握现代 C++ 资源管理的关键一步。它教会我们：明确的所有权关系，比复杂的共享机制更可靠。