裸指针在生命周期跨越函数边界、被多个模块共享或参与资源所有权转移的代码中最危险,如new后长期持有的widget、工厂返回且调用方负责delete的base,漏删、重删或提前析构将直接导致未定义行为。

裸指针在哪类代码里最危险,优先动它
不是所有裸指针都该立刻换——真正高风险的是那些生命周期跨越函数边界、被多个模块共享、或参与资源所有权转移的指针。比如:new 出来后传给另一个类长期持有的 Widget*,或者工厂函数返回的 Base* 且调用方负责 delete。这类指针一旦漏删、重复删、或提前析构,就直接触发未定义行为。
反例是栈上对象地址(&local_var)、只在单个函数内使用且不逃逸的临时指针、或纯观察用途的 const T*(如传给 std::string_view 构造函数)。这些先标记为 // TODO: safe observer,不急着改。
- 优先扫描头文件中暴露的
public成员指针和返回裸指针的接口 - 用 Clang-Tidy 的
cppcoreguidelines-owning-memory规则快速定位可疑点 - 注意 STL 容器里存的裸指针(
std::vector<handler></handler>),这是典型重构洼地
std::unique_ptr 和 std::shared_ptr 怎么选,看谁“拥有”资源
关键不是“哪个更高级”,而是厘清所有权语义。如果一个对象只属于一个所有者(比如 Parser 持有 Lexer*,且 Lexer 生命周期完全由 Parser 控制),就用 std::unique_ptr。它零开销、不可复制、移动语义清晰,是最安全的默认选择。
只有当多个实体需要共同决定资源生死时(比如 GUI 窗口和后台任务线程都持有同一个 Connection*),才考虑 std::shared_ptr。但要注意:循环引用会导致内存泄漏,必须配对使用 std::weak_ptr 断环。
- 避免把
std::shared_ptr当成“万能胶水”——很多团队误用它掩盖设计缺陷 - 接口参数尽量用
const T&或T*(观察语义),而非std::shared_ptr<t></t>,否则强制调用方升级为共享所有权 - 构造函数接收裸指针时,立刻转成
std::unique_ptr:例如Widget(std::unique_ptr<renderer> r) : renderer_(std::move(r)) {}</renderer>
跨模块/动态库边界的智能指针怎么传,别踩 ABI 坑
如果裸指针原本是 DLL/SO 的导出接口(比如 C 风格 API 返回 void* 或 MyObj*),直接换成 std::unique_ptr 会破坏二进制兼容性——因为 std::unique_ptr 的析构函数在调用方和实现方可能用不同编译器/STL 版本生成,导致崩溃。
安全做法是:保持导出函数签名不变,内部用智能指针管理,对外仍返回裸指针,但配套提供 destroy_XXX() 函数。例如:
extern "C" {
MyObj* create_obj();
void destroy_obj(MyObj* p);
}
调用方必须严格配对使用,这比裸指针稍好,但不如全智能指针。真正的解法是逐步将 C 接口封装进 C++ 类,再让类内部用 std::unique_ptr 管理。
- 禁止跨 DLL 边界传递
std::shared_ptr,其控制块布局在不同 STL 实现间不保证一致 - 若必须跨模块传递所有权,用 PIMPL 模式隐藏实现,对外只暴露不含模板的纯虚接口
- 检查构建系统是否启用了
-fvisibility=hidden,避免意外导出 STL 符号
重构后怎么验证没引入新问题,重点盯三类崩溃
替换完不是万事大吉。最常出现的三类问题是:双重释放(两个 std::shared_ptr 指向同一裸指针)、访问已释放内存(std::weak_ptr::lock() 返回空而没检查)、以及异常安全漏洞(构造函数中途抛异常导致裸指针泄漏)。
静态检查只能发现一部分,必须结合运行时验证:
- 启用 AddressSanitizer(
-fsanitize=address)捕获 use-after-free 和 double-free - 在关键路径加断言:例如
assert(ptr != nullptr)前置检查,比靠std::shared_ptr::get()返回值更早暴露问题 - 对涉及异常的构造逻辑,确保所有裸指针分配都立即包进
std::unique_ptr(哪怕只是临时变量),避免异常路径泄漏
最难察觉的是多线程场景下 std::shared_ptr 的引用计数竞争——即使你没显式调用 operator=,拷贝构造也可能在并发时引发计数错误。这时候得用 ThreadSanitizer 配合压力测试。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











