前言
在 C++ 开发中，内存管理始终是核心挑战之一。指针赋予了直接操作内存的能力，但也带来了内存泄漏、野指针、重复释放等风险。C++11 引入的智能指针通过 RAII（资源获取即初始化）机制，将资源生命周期与对象生命周期绑定，实现了内存的自动回收。
本文将深入解析 unique_ptr、shared_ptr 和 weak_ptr 的设计原理与实战用法，帮助你在保证安全的前提下提升代码质量。
一、裸指针的风险
在使用智能指针之前，有必要回顾一下裸指针（Raw Pointer）常见的陷阱。
1.1 内存泄漏
当分配的堆内存未被正确释放时，就会发生内存泄漏。这在复杂逻辑或异常路径中尤为常见。
void func() {
int* p = new int(10);
if (some_condition) {
return; // 提前返回，p 未释放
}
delete p;
}
若 some_condition 为真，函数提前返回，delete p 永远不会执行，导致内存泄漏。
1.2 二次释放
对同一块内存多次调用 delete 会破坏堆结构，引发未定义行为。
void func() {
int* p = new int(20);
delete p;
// ... 逻辑处理 ...
delete p; // 错误：重复释放
}
1.3 野指针
指向已释放或非法地址的指针称为野指针。访问它可能导致程序崩溃。
int* func() {
int x = 10;
return &x; // 返回栈变量地址，函数结束后成为野指针
}
1.4 异常安全
异常抛出会中断正常流程，若未妥善处理资源释放，会导致泄漏。
void func() {
int* p = new int(30);
try {
throw std::runtime_error("error");
} catch (...) {
// 此处未释放 p
throw;
}
delete p; // 不会执行
}
1.5 智能指针的使命
智能指针的核心思想是封装裸指针，并在析构时自动释放资源。利用 C++ 对象'出作用域即析构'的特性，确保资源被正确回收。
二、智能指针详解
C++11 提供了三种主要智能指针：unique_ptr、shared_ptr 和 weak_ptr。
2.1 unique_ptr：独占所有权
unique_ptr 是最轻量级的智能指针，拥有独占所有权，不可拷贝，仅支持移动语义。
原理
底层封装裸指针，禁用拷贝构造函数和赋值运算符，支持移动构造和赋值。析构时自动调用 delete。
使用示例
#include <memory>
#include <iostream>
using namespace std;
class Test {
public:
Test(int id) : id_(id) { cout << "Test(" << id_ << ") 构造" << endl; }
~Test() { cout << "Test(" << id_ << ") 析构" << endl; }
void show() { cout << "Test id: " << id_ << endl; }
private:
int id_;
};
void test_unique_ptr_basic() {
// 推荐方式：make_unique
unique_ptr<Test> up1 = make_unique<Test>(1);
up1->show();
// 移动语义转移所有权
unique_ptr<Test> up2 = move(up1);
up2->show();
// up1 此时变为 nullptr
}
最佳实践：
- 优先使用
make_unique创建，避免new表达式可能带来的异常安全问题。 - 管理数组时使用
unique_ptr<T[]>，确保调用delete[]。
2.2 shared_ptr：共享所有权
当多个对象需要共享同一资源时，shared_ptr 通过引用计数机制实现共享所有权。
原理
每个 shared_ptr 指向一个控制块，其中包含引用计数。当最后一个 shared_ptr 销毁时，引用计数归零，资源被释放。
使用示例
#include <memory>
#include <iostream>
using namespace std;
void test_shared_ptr_basic() {
shared_ptr<Test> sp1 = make_shared<Test>(1);
shared_ptr<Test> sp2 = sp1; // 引用计数 +1
cout << "use_count: " << sp1.use_count() << endl; // 输出 2
}
循环引用问题
两个 shared_ptr 互相持有对方引用会导致引用计数无法归零，造成内存泄漏。
shared_ptr<Test> sp1 = make_shared<Test>(100);
shared_ptr<Test> sp2 = make_shared<Test>(200);
sp1->sp_self = sp2; // 假设成员变量为 shared_ptr
sp2->sp_self = sp1;
// 离开作用域后，引用计数均为 1，无法释放
2.3 weak_ptr：打破循环
weak_ptr 是一种弱引用，不增加引用计数，用于观察 shared_ptr 管理的对象。
原理
weak_ptr 指向控制块但不管理对象。通过 lock() 方法可获取临时的 shared_ptr 访问对象。
解决循环引用
将循环引用中的一方改为 weak_ptr。
class Test {
public:
weak_ptr<Test> wp_self; // 使用 weak_ptr 代替 shared_ptr
// ... 其他成员
};
void solve_cycle() {
shared_ptr<Test> sp1 = make_shared<Test>();
shared_ptr<Test> sp2 = make_shared<Test>();
sp1->wp_self = sp2; // 不增加 sp2 的引用计数
sp2->wp_self = sp1;
// 离开作用域后，引用计数归零，正常释放
}
三、进阶技巧
3.1 定制删除器
默认删除器使用 delete，特殊资源（如文件句柄）需自定义。
auto close_file = [](FILE* fp) { if(fp) fclose(fp); };
unique_ptr<FILE, decltype(close_file)> fp(fopen("test.txt", "w"), close_file);
3.2 类型转换
智能指针不支持直接 cast，需使用专用函数。
static_pointer_cast：静态转换dynamic_pointer_cast：动态转换（需多态）const_pointer_cast：去除 const
shared_ptr<Base> base = make_shared<Derived>();
auto derived = dynamic_pointer_cast<Derived>(base);
3.3 性能优化
- 优先
unique_ptr：无额外开销。 - 使用
make_shared：一次性分配对象和控制块，减少内存碎片。 - 避免拷贝：传递
shared_ptr时尽量用const&。 - 及时释放 lock：
weak_ptr::lock()返回的shared_ptr应尽快离开作用域。
四、避坑指南
- 禁止混合管理：不要将裸指针同时交给多个智能指针管理。
- 检查有效性：使用
weak_ptr前检查expired()或判断lock()返回值。 - 数组类型：
unique_ptr<int[]>而非unique_ptr<int>。 - 慎用 get/release：暴露裸指针可能破坏所有权规则。
总结
智能指针通过 RAII 机制大幅降低了内存管理的复杂度。在实际开发中，遵循'能不用裸指针就不用'的原则，根据所有权需求选择合适的智能指针，能让代码更安全、更易维护。