智能指针（unique_ptr）：独占所有权、move语义、自定义删除器

说到C++11引入的智能指针，我个人最常用的就是unique_ptr。为什么？因为它轻量、高效，而且语义清晰——说白了，它就是“独占”的代名词。

你想想看，在传统C++里，我们手动管理内存时最头疼的是什么？是“这块内存到底归谁管”。两个人同时delete同一块内存，程序直接崩给你看。而unique_ptr用一套简单的规则，彻底解决了这个问题。

独占所有权：一个对象，一个主人

unique_ptr的核心思想很简单：同一时刻，只能有一个unique_ptr指向某个对象。这个指针拥有对该对象的完全控制权，当它被销毁时，指向的对象也会被自动释放。

我在项目中遇到过这样一个场景：一个资源管理器需要持有某个大型数据块的唯一所有权。如果用裸指针，你得小心翼翼地记录谁在用、谁该释放。用unique_ptr，代码瞬间清爽了。

#include <memory>
#include <iostream>

class Resource {
public:
    Resource() { std::cout << "资源创建\n"; }
    ~Resource() { std::cout << "资源销毁\n"; }
    void doWork() { std::cout << "工作中...\n"; }
};

int main() {
    // 创建独占指针
    std::unique_ptr<Resource> ptr1(new Resource());
    
    // 使用箭头运算符访问成员
    ptr1->doWork();
    
    // 获取裸指针（不转移所有权）
    Resource* raw = ptr1.get();
    
    // 释放所有权，返回裸指针
    Resource* released = ptr1.release();
    delete released;  // 记得手动释放
    
    return 0;
}

move语义：所有权的转移

既然不能拷贝，那怎么把所有权转给别人？答案是移动语义。用std::move把指针“搬”过去，原来的指针就变成空了。

嗯，这里要注意：移动之后，原来的unique_ptr会变成nullptr。如果你不小心继续使用它，程序会崩溃。我曾经在重构代码时踩过这个坑——移动后忘了检查，结果在另一个分支里又访问了原指针。

std::unique_ptr<Resource> ptr1(new Resource());
std::unique_ptr<Resource> ptr2;

// 转移所有权：从 ptr1 到 ptr2
ptr2 = std::move(ptr1);

if (!ptr1) {
    std::cout << "ptr1 现在是空指针\n";
}

ptr2->doWork();  // 正常工作

// 函数返回 unique_ptr 也很常见
std::unique_ptr<Resource> createResource() {
    return std::unique_ptr<Resource>(new Resource());
}

auto ptr3 = createResource();  // 自动移动语义

自定义删除器：不止是delete

默认情况下，unique_ptr用delete释放资源。但现实世界中的资源管理远不止堆内存——文件句柄、网络连接、数据库游标……这些都需要自定义的释放逻辑。

我记得有一次处理一个遗留系统，里面用C语言的fopen打开文件，但总是有人忘记fclose。用unique_ptr配合自定义删除器，完美解决了这个问题。

#include <cstdio>

// 自定义删除器：关闭文件
struct FileDeleter {
    void operator()(std::FILE* fp) const {
        if (fp) {
            std::fclose(fp);
            std::cout << "文件已关闭\n";
        }
    }
};

int main() {
    // 使用自定义删除器的 unique_ptr
    std::unique_ptr<std::FILE, FileDeleter> 
        filePtr(std::fopen("test.txt", "w"));
    
    if (filePtr) {
        std::fputs("Hello, unique_ptr!\n", filePtr.get());
    }
    // 离开作用域时自动调用 fclose
    
    return 0;
}

你还可以用lambda表达式来定义删除器，更灵活：

auto deleter = [](std::FILE* fp) {
    if (fp) {
        std::fclose(fp);
        std::cout << "lambda 删除器：文件已关闭\n";
    }
};

std::unique_ptr<std::FILE, decltype(deleter)> 
    filePtr2(std::fopen("another.txt", "w"), deleter);

知识体系结构图

下面这张图帮你理清unique_ptr的核心脉络：

实际项目中的最佳实践

说了这么多，总结几条我个人的经验：

• 优先使用make_unique：避免直接new，异常安全且代码更简洁。
• 函数参数传unique_ptr时用值传递：明确表示所有权转移，调用方必须std::move。
• 函数返回unique_ptr时直接返回局部对象：编译器会自动应用移动语义，甚至可能省略移动。
• 自定义删除器不要滥用：如果只是简单的delete，用默认删除器就好。只有管理非堆内存资源时才需要自定义。

---

公众号:蓝海资料掘金营，微信deep3321