C++ 中的智能指针与手动内存管理的最佳实践

2026-01-18 作者 stdcpp

在现代 C++ 开发中，手动使用 new/delete 已经不再是推荐的做法。智能指针（如 std::unique_ptr、std::shared_ptr 和 std::weak_ptr）通过 RAII（资源获取即初始化）自动管理资源生命周期，从而大幅降低内存泄漏和悬空指针的风险。下面我们从实际案例出发，探讨智能指针与手动内存管理之间的区别，并给出最佳实践。

1. 手动内存管理的典型问题

class Node {
public:
    int value;
    Node* next;
    Node(int v) : value(v), next(nullptr) {}
};

Node* createList(int n) {
    Node* head = new Node(0);
    Node* cur = head;
    for (int i = 1; i < n; ++i) {
        cur->next = new Node(i);
        cur = cur->next;
    }
    return head;
}

内存泄漏：如果在某个环节忘记 delete 链表节点，内存将泄漏。
悬空指针：如果外部错误地 delete 了 head，链表中的 next 指针就指向已释放的内存。
异常安全：任何异常抛出都会导致已分配的节点无机会被释放。

2. 使用 `std::unique_ptr` 解决上述问题

#include <memory>

class Node {
public:
    int value;
    std::unique_ptr <Node> next;
    Node(int v) : value(v), next(nullptr) {}
};

std::unique_ptr <Node> createList(int n) {
    auto head = std::make_unique <Node>(0);
    Node* cur = head.get();
    for (int i = 1; i < n; ++i) {
        cur->next = std::make_unique <Node>(i);
        cur = cur->next.get();
    }
    return head;
}

自动析构：std::unique_ptr 的析构函数会递归释放链表节点。
异常安全：若在构造过程中抛出异常，已分配的节点会被自动释放。
语义清晰：next 的所有权只属于当前节点，避免了共享所有权导致的循环引用。

3. 共享所有权场景：`std::shared_ptr` 与循环引用

有时一个对象需要被多处共享，std::shared_ptr 便是合适的选择：

struct B; // 前向声明

struct A {
    std::shared_ptr <B> b;
};

struct B {
    std::shared_ptr <A> a;
};

上述代码会形成循环引用，导致两对象永远不被析构。解决办法是将一方改为 std::weak_ptr：

struct B {
    std::weak_ptr <A> a;  // 非拥有关系
};

4. 何时使用哪种智能指针

需求	推荐指针	说明
只需要一次所有权转移	`std::unique_ptr`	最轻量、无共享
多处共享所有权	`std::shared_ptr`	自动计数，需避免循环引用
只需要观察不拥有	`std::weak_ptr`	与 `shared_ptr` 配合使用
与旧 API 交互，需裸指针	`std::unique_ptr::release()` 或 `get()`	小心管理生命周期

5. 小结

智能指针 是现代 C++ 推荐的内存管理方式，能够显著降低错误概率。
std::unique_ptr 适用于绝对所有权，std::shared_ptr 与 std::weak_ptr 组合使用能解决共享与观察两种需求。
在设计数据结构时，务必考虑所有权模型，避免循环引用和无效指针。

通过上述实践，C++ 程序不仅更安全，也更易维护。

发表评论取消回复