对于C++:内存管理的解析

C++ 的内存管理是语言最核心、最容易出错、也最能体现“现代 vs 传统”差异的部分。

下面从最实用的现代 C++ 视角(C++11/14/17/20/23)来完整梳理,帮助你建立清晰的思维框架。

一、C++ 内存管理的三大时代(你要知道自己站在哪个时代)

时代代表写法内存安全程度现代项目是否推荐备注
C 风格时代new / delete / malloc / free★☆☆☆☆几乎不推荐极易泄漏、双 delete、悬垂指针
半现代时代auto_ptr + 手动 new/delete★★☆☆☆已过时C++98/03 时代的过渡产物
现代 C++RAII + 智能指针 + 容器★★★★★强烈推荐C++11 之后的主流写法

2025 年真实项目里,99% 的新代码应该只出现在第三行

二、现代 C++ 内存管理的核心理念(背下来这 4 句话)

  1. 谁分配谁负责释放(所有权清晰)
  2. 资源获取即初始化(RAII) —— 构造时获取,析构时释放
  3. 尽量避免显式 delete(让编译器/标准库帮你管)
  4. 默认使用栈 > 智能指针 > 裸指针(从安全到危险排序)

三、现代 C++ 中最常用的 7 种内存管理方式(按使用频率排序)

优先级方式所有权语义典型场景是否推荐 new/delete
1局部变量(栈上)作用域结束自动销毁99% 的小对象、临时变量绝对不写 new
2std::unique_ptr<T>独占所有权需要动态生命周期,但只有一个拥有者推荐 make_unique
3std::shared_ptr<T>共享所有权(引用计数)需要多处共享、延迟销毁的场景推荐 make_shared
4std::vector<T> / std::string 等容器容器负责动态大小的序列、字符串基本不用 new[]
5std::weak_ptr<T>非拥有(弱引用)解决 shared_ptr 循环引用
6自定义 RAII 封装类资源(文件/锁/句柄)数据库连接、文件、互斥锁、socket 等
7裸指针(作为观察者)无所有权函数参数、回调、遍历(不负责释放)可以用,但慎用

四、现代写法 vs 传统写法的对比(强烈建议全部记住)

// 传统写法(千万不要再这样写新代码)
void bad_style()
{
    Widget* w = new Widget(args);
    // ... 可能抛异常、return、goto
    if (some_condition) {
        delete w;           // 很容易漏
        return;
    }
    // ... 更多分支
    delete w;               // 双 delete 风险
}
// 现代写法(C++14/17 之后首选)
#include <memory>

void good_style()
{
    auto w = std::make_unique<Widget>(args);   // 推荐!

    // 或者 C++11 时代的写法(次选)
    // std::unique_ptr<Widget> w{new Widget(args)};

    // 异常安全、作用域结束自动 delete
    // 无需显式 delete
}

共享所有权场景(最常见的工厂模式)

class Widget { /* ... */ };

std::shared_ptr<Widget> createWidget(Params p)
{
    return std::make_shared<Widget>(p);   // 一次分配控制块+对象,性能更好
    // return std::shared_ptr<Widget>(new Widget(p));  // 次选,效率稍低
}

五、2024-2025 年最值得记住的“现代 C++ 内存管理口诀”

  1. 优先使用 make_unique / make_shared(异常安全 + 性能更好)
  2. 不要用 new 直接初始化智能指针(除非你有非常特殊理由)
  3. 函数参数优先用 T& / const T& / T&&,而不是 shared_ptr 传参(除非明确需要共享所有权)
  4. 回调/观察者模式用 weak_ptr + lock() 判断对象是否存活
  5. 永远不要在容器里放裸指针(除非你用自定义 deleter 或非常明确生命周期)
  6. 自定义资源用 RAII 封装类(文件、锁、句柄、GPU资源等)
  7. 尽量少用裸 new/delete(除非你在写:分配器、内存池、极致性能场景)

六、常见问题快速对照表

问题传统写法容易犯的错误现代正确做法
内存泄漏忘记 delete / 异常路径漏掉用 unique_ptr / shared_ptr / 容器
悬垂指针对象先销毁,指针还活着用 weak_ptr + lock() 检查
双重释放多次 delete智能指针自动管理
循环引用shared_ptr 互相指向一方改用 weak_ptr
性能浪费频繁 new/delete用内存池、arena allocator、小对象优化
传参膨胀到处传 shared_ptr优先用引用 / 原始指针(观察者语义)

七、快速自测(建议你默写答案)

  1. std::make_uniquenew 的主要区别是什么?为什么更推荐前者?
  2. 什么时候应该用 shared_ptr 而不是 unique_ptr
  3. 函数参数收到 shared_ptr<Widget>Widget* 分别代表什么语义?
  4. 如何用 weak_ptr 避免循环引用?
  5. 下面代码是否有问题?怎么改成现代写法?
std::vector<Widget*> widgets;
for(int i=0; i<10; i++) {
    widgets.push_back(new Widget());
}
// ... 后面忘了释放

如果你对其中任何一块(比如自定义分配器、enable_shared_from_this、内存池、C++20/23 新工具、性能调优等)还想深入,都可以直接告诉我,我再给你展开更具体的例子和代码。

文章已创建 4026

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注

相关文章

开始在上面输入您的搜索词,然后按回车进行搜索。按ESC取消。

返回顶部