第3章堆内存管理

课程目录第3章堆内存管理

3、堆内存管理：new/delete底层原理、malloc/free与new/delete区别、内存池概念、内存碎片

堆内存管理，说白了就是程序运行时动态申请和释放内存的那套机制。我刚开始写C++那会儿，总觉得new和delete就是高级一点的malloc和free，后来踩了不少坑才明白——这两者压根不是一个层面的东西。今天咱们就把这块彻底捋清楚。

3.1 new/delete的底层原理

先说说new。你写个int* p = new int(42);，编译器到底干了啥？

其实new操作符干了三件事：

调用operator new分配原始内存——这个函数底层通常调用malloc
调用构造函数——在分配好的内存上构造对象
返回指针——指向已经构造好的对象

delete反过来：先调用析构函数，再调用operator delete释放内存。嗯，这里要注意——如果你用void* p = operator new(sizeof(int));这种方式，编译器不会调用构造函数，你得自己手动placement new。

核心区别：new/delete是C++的运算符，它们不仅管内存分配，还管对象的构造和析构。malloc/free只是C标准库函数，只管分配和释放原始字节。

3.2 malloc/free与new/delete的区别

我见过不少同事在C++项目里混用malloc和delete，结果程序崩溃得莫名其妙。咱们用表格把区别说清楚：

对比项	malloc/free	new/delete
语言层面	C标准库函数	C++运算符
是否调用构造/析构	否	是
返回类型	void*，需强转	类型安全，直接返回对应指针
失败处理	返回NULL	抛出std::bad_alloc异常
重载能力	不可重载	可重载（类级别或全局）
数组支持	需手动计算大小	new[]/delete[] 自动处理

举个例子你就明白了：

// malloc方式——只分配内存，不构造对象
MyClass* p1 = (MyClass*)malloc(sizeof(MyClass));
// 此时p1指向的内存是"脏"的，成员变量未初始化

// new方式——分配内存 + 调用构造函数
MyClass* p2 = new MyClass();
// p2指向的对象已经构造完毕，可以直接使用

我曾经在维护一个老项目时，发现有人用malloc分配了std::string对象，然后直接赋值——结果string内部指针乱飞，程序跑着跑着就崩了。你想想看，string的构造函数没被调用，内部缓冲区根本没初始化，不出问题才怪。

3.3 内存池概念

说到内存池，我先讲个真实经历。之前做一个游戏服务器，每秒要创建和销毁成千上万个子弹对象。直接用new/delete，性能惨不忍睹——频繁的系统调用导致CPU飙升，还产生了大量内存碎片。

内存池的思路其实很简单：一次性向系统申请一大块内存，然后自己管理这块内存的分配和回收。就像你开了一家餐厅，与其每次有客人来了才去菜市场买菜，不如一次性批发一星期的食材放仓库里。

一个基本的内存池实现思路：

class MemoryPool {
    struct Block {
        Block* next;  // 空闲块链表指针
    };
    
    Block* freeList;  // 空闲块链表头
    void* pool;       // 原始内存池
    size_t blockSize; // 每个块的大小
    
public:
    MemoryPool(size_t size, size_t count) {
        blockSize = size < sizeof(Block*) ? sizeof(Block*) : size;
        pool = malloc(blockSize * count);
        // 初始化空闲链表
        freeList = static_cast<Block*>(pool);
        Block* current = freeList;
        for (size_t i = 1; i < count; ++i) {
            current->next = reinterpret_cast<Block*>(
                reinterpret_cast<char*>(pool) + i * blockSize);
            current = current->next;
        }
        current->next = nullptr;
    }
    
    void* allocate() {
        if (!freeList) return nullptr;  // 内存池耗尽
        Block* block = freeList;
        freeList = freeList->next;
        return block;
    }
    
    void deallocate(void* ptr) {
        Block* block = static_cast<Block*>(ptr);
        block->next = freeList;
        freeList = block;
    }
};

你看，分配和释放都只是链表指针操作，没有系统调用，速度比malloc快一个数量级。而且因为所有块大小固定，不会产生外部碎片。

我的建议：如果你的程序需要频繁创建和销毁同一类小对象（比如网络连接、游戏实体、消息包），强烈建议用内存池。但如果是大对象或者生命周期差异很大的场景，内存池反而可能浪费内存。

3.4 内存碎片

内存碎片是个让人头疼的问题。说白了就是：明明总空闲内存够用，但就是分配不出一个连续的大块内存。

碎片分两种：

外部碎片——多次分配释放后，空闲内存被分割成很多小块，散布在已分配块之间
内部碎片——分配的内存块比实际需求大，比如你只要10字节，但malloc给你分配了16字节（对齐要求），那6字节就浪费了

为什么会这样？你想想看，如果程序先分配A、B、C三个块，然后释放了B，这时候空闲内存中间就出现了一个"洞"。如果后续要分配一个比B大的块，这个洞就用不上，只能往后找更大的空间。

我经历过一个极端案例：一个后台服务跑了三天后，明明还有2GB空闲内存，但分配一个100MB的buffer却失败了——因为所有空闲块都是几十KB的小碎片，没有一块连续的100MB空间。

避坑指南：我曾经在日志系统里频繁分配和释放不同大小的字符串，结果内存碎片越来越严重。后来改用固定大小的内存池 + 预分配策略，问题才解决。记住：频繁分配不同大小的对象是碎片的温床。

减少碎片的常用手段：

使用内存池（固定大小块）
尽量复用对象，避免频繁分配释放
使用伙伴系统（Buddy System）或slab分配器
对于小对象，考虑用tcmalloc或jemalloc替代glibc的malloc

下面这张图展示了堆内存管理的核心逻辑：

最后说一句：理解堆内存管理，不是为了让你天天手写内存池，而是让你在遇到性能问题或内存泄漏时，能快速定位到根因。我见过太多人拿着Valgrind报告一脸茫然，其实就是对底层机制不够熟悉。

嗯，这块内容就到这里。记住一句话：new/delete是C++给你的礼物，但别滥用；内存池是性能的利器，但别迷信。

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

📚 课程目录

3、堆内存管理：new/delete底层原理、malloc/free与new/delete区别、内存池概念、内存碎片

3.1 new/delete的底层原理

3.2 malloc/free与new/delete的区别

3.3 内存池概念

3.4 内存碎片