3. 裸指针的困境：内存泄漏、悬空指针、野指针、重复释放、资源所有权不明确

说实话，我写了十几年 C++，最怕的不是算法多难，而是指针出问题。裸指针就像一把没有保险的枪——威力大，但走火概率也大。今天咱们就来聊聊，裸指针到底有哪些坑。

我个人习惯把裸指针的问题归纳为五类：内存泄漏、悬空指针、野指针、重复释放、所有权不明确。这五个问题，每一个我都踩过坑。嗯，咱们一个一个说。

3.1 内存泄漏：你申请了，但忘了还

内存泄漏说白了就是：你找系统要了一块内存，用完之后没还回去。系统以为你还在用，别人也用不了。日积月累，内存越吃越多，程序就崩了。

void leakExample() {
    int* p = new int(42);
    if (someCondition) {
        return;  // 糟糕！p 没被 delete
    }
    delete p;
}

我在项目中遇到过最离谱的一次：一个后台服务跑了三天，内存从 200MB 涨到 8GB，最后 OOM 被系统杀了。查了半天，发现是一个循环里 new 了对象，但只在特定分支下 delete。那个分支几乎不会触发……嗯，你懂的。

3.2 悬空指针：指针还在，对象没了

悬空指针是指：指针指向的内存已经被释放了，但指针本身还保存着那个地址。你再用它访问，就是访问非法内存。

int* danglingExample() {
    int* p = new int(10);
    delete p;
    // p 现在是悬空指针
    *p = 20;  // 未定义行为！可能崩溃，可能静默写坏数据
    return p;
}

为什么会这样？因为 delete 只是告诉系统“这块内存我不用了”，但指针变量 p 的值并没有被清空。它仍然指向那块地址。系统可能已经把这块内存分配给别的变量了，你再去写，就把别人的数据覆盖了。

我记得有一次排查一个诡异的 bug：某个对象的成员变量偶尔会变成随机值。查了两天，最后发现是另一个模块的悬空指针写到了这个对象的地址上。那感觉，就像你家被隔壁装修队砸了墙。

3.3 野指针：指针没初始化，指向哪都不知道

野指针就是：你声明了一个指针变量，但没有初始化它。它的值是随机的，指向内存中的任意位置。

void wildPointerExample() {
    int* p;  // 野指针！没有初始化
    *p = 5;  // 危险！你根本不知道在写哪里
}

你想想看，这就像你闭着眼睛在街上乱走，然后随便推开一扇门进去。你根本不知道里面是什么——可能是别人家，可能是悬崖。

我个人习惯是：声明指针的同时就初始化，要么给 nullptr，要么给有效地址。这个习惯帮我避免了很多莫名其妙的崩溃。

3.4 重复释放：delete 了两次

重复释放就是：对同一块内存调用了两次 delete。这是未定义行为，后果可能是程序崩溃，也可能是内存管理结构被破坏。

void doubleDeleteExample() {
    int* p = new int(100);
    delete p;
    delete p;  // 重复释放！未定义行为
}

为什么不能重复释放？因为第一次 delete 后，系统已经把这块内存标记为“空闲”了。第二次 delete 时，系统可能已经把这部分信息改写了，它无法正确识别这块内存，就会出错。

我在项目中遇到过最典型的情况：一个对象被两个模块共享，两个模块都认为自己拥有所有权，结果都调用了 delete。程序崩溃后，两个模块的负责人互相甩锅……嗯，后来我们用 shared_ptr 解决了这个问题。

3.5 资源所有权不明确：到底谁来释放？

这是最根本的问题。裸指针本身不携带所有权信息。你看到一个 int* p，你根本不知道：

• 这个指针是“观察”还是“拥有”？
• 调用者需要释放它吗？
• 函数内部会释放它吗？
• 它指向堆内存还是栈内存？

说白了，裸指针就是一个地址，它不告诉你任何关于“责任”的信息。这就导致了一个问题：谁都不敢轻易释放，或者谁都想释放。

// 这个函数返回的指针，调用者需要 delete 吗？
int* createInt() {
    return new int(42);
}

// 这个函数会 delete 传入的指针吗？
void processInt(int* p) {
    // 天知道它会不会 delete p
}

你想想看，如果代码库里有几百个这样的函数，你每次调用都要去查文档、看源码，才能确定所有权归属。这效率能高吗？

3.6 知识体系总览

下面这张图总结了裸指针的五大困境，以及它们之间的关系。我建议你把它存下来，写代码前看一眼。

3.7 总结一下

裸指针的五个问题，其实都指向同一个根源：所有权不明确。内存泄漏是因为不知道谁该释放，悬空指针是因为不知道谁已经释放了，重复释放是因为多个“所有者”都去释放，野指针是因为连“指向谁”都没说清楚。

我个人觉得，C++11 引入智能指针，是这门语言近十年来最好的改进之一。它把“所有权”这个隐式概念，变成了显式的类型信息。你看到 unique_ptr 就知道它是独占的，看到 shared_ptr 就知道它是共享的，看到 weak_ptr 就知道它只是观察者。

嗯，下一节咱们就深入聊聊智能指针的具体用法。不过在那之前，我建议你先检查一下自己的代码库，看看有多少裸指针是“所有权不明确”的——我敢打赌，数量会让你吃惊。

---

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