第一章：内存安全基础——从栈到堆，从指针到智能指针

大家好，我是你们的老朋友。今天咱们聊聊C++里最基础也最容易翻车的话题——内存安全。

说实话，我见过太多项目因为内存问题崩溃了。有的在线上跑了半年才暴露，有的刚上线就炸。嗯，咱们今天就把这块地基打牢。

1.1 栈与堆：两个世界，两种规则

先问个问题：你写的局部变量存在哪？动态分配的对象又存在哪？

答案很简单——局部变量在栈上，动态分配的在堆上。但区别远不止位置这么简单。

特性	栈（Stack）	堆（Heap）
分配方式	自动分配、自动释放	手动分配、手动释放
速度	极快（寄存器操作）	较慢（系统调用）
大小	有限（通常几MB）	较大（取决于系统）
生命周期	函数结束即销毁	直到手动释放或程序结束
典型用途	局部变量、函数参数	大对象、动态数据结构

我个人习惯把栈想象成「用完即走」的临时工位，堆则是「长期租赁」的仓库。你想想看，临时工位你不需要操心打扫，但仓库你得自己管钥匙。

我在项目中遇到过一位同事，把所有对象都new到堆上，结果性能惨不忍睹。后来改成栈分配，速度直接翻倍。说白了，堆不是不能用，但要清楚它的代价。

1.2 指针与引用：安全使用的艺术

指针和引用，C++里最让人又爱又恨的东西。它们都能间接访问对象，但安全级别完全不同。

• 引用：一旦绑定，不能为空，不能重新绑定。安全，但不够灵活。
• 指针：可以为空，可以重新指向。灵活，但容易出错。

我的建议很简单：能用引用就别用指针。引用天生安全，你不需要检查它是否为空。指针嘛，每次用之前都得问一句「你是不是nullptr？」

// 推荐：用引用
void processData(const std::vector<int>& data) {
    // 安全，不需要检查空指针
}

// 不推荐：用裸指针
void processData(const std::vector<int>* data) {
    if (!data) return; // 每次都得检查
    // ...
}

1.3 内存分配与释放：new/delete vs malloc/free

很多初学者搞不清new/delete和malloc/free的区别。其实很简单：

• malloc/free：C语言遗产，只分配内存，不调用构造函数/析构函数。
• new/delete：C++专属，分配内存 + 调用构造函数/析构函数。

在C++里，永远用new/delete，别碰malloc/free。为什么？因为malloc不会调用构造函数，你的对象就是个未初始化的内存块，用起来必出问题。

// 正确做法
MyClass* obj = new MyClass();
delete obj;

// 错误做法
MyClass* obj = (MyClass*)malloc(sizeof(MyClass));
delete obj; // 未定义行为！

我记得有一次，团队里有人从C代码迁移到C++，没改malloc/free的习惯。结果对象里的std::string从来没被构造过，程序跑着跑着就崩了。嗯，从那以后我们代码审查里加了一条：禁止malloc/free。

1.4 智能指针：现代C++的救星

手动管理内存太容易出错了。好在C++11引入了智能指针，帮我们自动管理生命周期。

1.4.1 unique_ptr：独占所有权

unique_ptr表示独占所有权。一个对象只能被一个unique_ptr拥有，不能拷贝，只能移动。这就像一把钥匙，只有一个人能拿着。

std::unique_ptr<MyClass> ptr1 = std::make_unique<MyClass>();
// std::unique_ptr<MyClass> ptr2 = ptr1; // 编译错误！不能拷贝
std::unique_ptr<MyClass> ptr2 = std::move(ptr1); // 可以移动

我个人习惯：能用unique_ptr就用unique_ptr。它开销最小，语义最清晰。你想想看，大部分场景下，一个对象只有一个所有者，对吧？

1.4.2 shared_ptr：共享所有权

shared_ptr允许多个指针共享同一个对象。它通过引用计数来管理生命周期——当最后一个shared_ptr被销毁时，对象才被释放。

std::shared_ptr<MyClass> ptr1 = std::make_shared<MyClass>();
std::shared_ptr<MyClass> ptr2 = ptr1; // 引用计数变为2
// 当ptr1和ptr2都销毁时，对象才被释放

我在项目中遇到过shared_ptr循环引用的问题：A持有B的shared_ptr，B持有A的shared_ptr，结果两个对象永远无法释放，内存泄漏了。嗯，这就是为什么我们需要weak_ptr。

1.4.3 weak_ptr：打破循环引用

weak_ptr是shared_ptr的「观察者」。它不增加引用计数，只是「看着」那个对象。如果对象还在，可以通过lock()获取shared_ptr；如果对象已经被释放，lock()返回空。

std::shared_ptr<MyClass> shared = std::make_shared<MyClass>();
std::weak_ptr<MyClass> weak = shared;

if (auto ptr = weak.lock()) {
    // 对象还在，安全使用
    ptr->doSomething();
} else {
    // 对象已被释放
}

1.5 知识体系总览

下面这张图总结了本章的核心知识点，帮你理清思路：

这张图把内存安全的核心脉络串起来了。从内存区域的选择，到访问方式，再到分配策略，最后落到智能指针。你想想看，每一步都有坑，但每一步也都有对应的最佳实践。

嗯，内存安全这块，说白了就是「谁分配谁释放，谁拥有谁负责」。搞清楚了所有权，大部分问题就迎刃而解了。

---

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