C++ unique_ptr独占智能指针用法_C++所有权语义的深入理解

unique_ptr是C++中独占式智能指针，定义于头文件，通过移动语义转移所有权，禁止拷贝，确保同一时间仅一个指针拥有资源，析构时自动释放，支持自定义删除器与数组特化，可安全与裸指针交互，推荐使用make_unique创建，能有效防止内存泄漏。

在C++中，unique_ptr 是一种独占式智能指针，用于管理动态分配的对象。它确保同一时间只有一个 unique_ptr 拥有对资源的控制权，从而避免了资源泄漏和重复释放的问题。理解其所有权语义是掌握现代C++内存管理的关键。

什么是 unique_ptr？

std::unique_ptr 定义在 头文件中，是一个模板类，用来封装原始指针并自动管理其所指向对象的生命周期。当 unique_ptr 被销毁时，它会自动调用 delete（或自定义删除器）释放所拥有的资源。

它的核心特性是独占所有权：一旦一个 unique_ptr 拥有了某个对象，其他智能指针不能共享该所有权。这与 shared_ptr 不同，后者允许多个指针共享同一个对象。

基本用法与创建方式

使用 make_unique 是推荐的创建方式，因为它更安全且能避免异常安全问题（C++14起支持）：

• auto ptr = std::make_unique(42); —— 创建一个持有 int 的 unique_ptr
• auto obj = std::make_unique("hello", 100); —— 构造复杂对象

也可以直接用构造函数绑定原始指针，但不推荐手动 new：

• std::unique_ptr ptr(new int(10)); —— 合法但不如 make_unique 好

访问所指对象使用常见的操作符：

• *ptr —— 解引用获取值
• ptr->method() —— 调用成员函数

所有权转移：移动而非复制

unique_ptr 禁止拷贝构造和拷贝赋值，因为这会破坏“独占”原则。但它支持移动语义：

• std::unique_ptr ptr1 = std::make_unique(20);
• std::unique_ptr ptr2 = std::move(ptr1); —— 所有权从 ptr1 转移到 ptr2
• 执行后，ptr1 变为 nullptr，不再拥有资源

这个机制使得 unique_ptr 可以作为函数返回值或参数传递（通过移动），同时保持资源的安全性：

// 函数返回 unique_ptr

std::unique_ptr createObject() {
    return std::make_unique();
}

// 接收 unique_ptr 参数（通过移动）

void useObject(std::unique_ptr obj) {
    obj->doSomething();
} // 自动析构

自定义删除器与数组支持

默认情况下，unique_ptr 使用 delete 释放资源，但你可以指定自定义删除器来处理特殊场景，比如调用 close() 或使用特定 API 释放资源：

auto closer = [](FILE* f) { if (f) fclose(f); };
std::unique_ptr file(fopen("test.txt", "r"), closer);

对于数组，应使用数组特化版本，否则行为未定义：

• std::unique_ptr arr = std::make_unique(10);
• 此时会自动调用 delete[] 而非 delete

访问元素使用下标操作符：arr[0] = 1;

与裸指针和其他智能指针交互

有时需要将 unique_ptr 交给外部系统（如C风格API），可以临时释放所有权：

• ptr.release() —— 返回原始指针，并让 unique_ptr 放弃管理（返回前保持非空）
• ptr.reset(new_value) —— 替换当前管理的对象，旧对象会被自动释放
• ptr.get() —— 获取原始指针，但不转移所有权

注意不要用 get() 得到的指针去 delete，也不要把它再交给另一个智能指针，会造成双重释放。

如果确实需要共享所有权，可将 unique_ptr 移动到 shared_ptr 中：

• std::shared_ptr sp = std::move(up); —— 合法且高效

基本上就这些。unique_ptr 设计简洁，性能接近裸指针，又能极大提升代码安全性。掌握它的移动语义和所有权规则，就能写出既高效又不易出错的C++程序。