把 C++ 内存分配拆透:new 与 malloc 的三层血缘

要理清 C++ 中 new 系列函数与 C 语言 malloc/realloc 的底层关系,核心是先拆分层级------ 很多人混淆了「new 表达式」和「operator new」,两者完全不是一回事。我们从上到下拆解,把调用链、区别、边界问题一次讲透。


一、先厘清三层概念:不要把「new」混为一谈

日常说的「new」实际是三层调用关系,自上而下:

表格

层级 名称 职责 是否可重载
最上层 new 表达式(new operator) 用户写的 new T(),语言内置语法 不可重载,行为固定
中间层 operator new 只负责分配原始内存字节的全局 / 类函数 支持全局重载、类成员重载
最底层 系统内存分配 真正向操作系统申请内存 由标准库 / OS 实现

默认调用链new T() → 调用 operator new 分配内存 → 调用对象构造函数 其中默认的全局 operator new,底层就是直接调用 malloc


二、operator new 与 malloc 的底层关联

1. 默认实现:operator new 本质是 malloc 的 C++ 封装

C++ 标准没有强制规定 operator new 的底层实现,但GCC/libstdc++、Clang/libc++、MSVC 所有主流编译器的默认全局实现,都是通过 malloc 分配内存

简化版伪代码如下,可直观看到两者的关系:

cpp

运行

cpp 复制代码
#include <cstdlib>
#include <new>

// 全局 operator new 默认实现(核心逻辑)
void* operator new(std::size_t size) {
    if (size == 0) size = 1; // 标准要求:0字节也需返回有效指针
    while (true) {
        void* ptr = malloc(size); // 核心:底层调用 malloc 分配字节
        if (ptr != nullptr) return ptr;

        // 分配失败:C++ 特有逻辑------调用 new_handler 重试
        std::new_handler handler = std::get_new_handler();
        if (!handler) throw std::bad_alloc{}; // 无处理函数则抛异常
        handler(); // 执行用户注册的内存释放逻辑,然后重试
    }
}

// 对应的 operator delete 默认实现
void operator delete(void* ptr) noexcept {
    if (ptr) free(ptr); // 底层直接调用 free
}

对应的 nothrow 版本(失败返回空指针,不抛异常)底层同样走 malloc,只是失败时直接返回 nullptr

2. 两者的核心差异:同源但职责不同

虽然底层都是 malloc 申请内存,但上层语义天差地别:

表格

维度 malloc(C 标准库) operator new(C++)
失败行为 返回 NULL 默认抛出 std::bad_alloc 异常
返回值 void*,需手动强转 void*(operator new 本身)/ 类型指针(new 表达式)
核心职责 仅分配原始字节内存 仅分配原始字节内存
对象处理 完全不涉及对象生命周期 new 表达式会额外调用构造函数
扩容能力 配套 realloc 可调整内存大小 无原生配套扩容函数
可定制性 不可重载 支持全局重载、类成员重载
对齐支持 满足标准最大对齐 C++17 后支持超对齐分配(align_val_t 重载)

3. 什么时候 new 和 malloc 毫无关系?

只要你重载了 operator new,就可以完全绕开 malloc

  • 全局重载 :自己实现全局 operator new,直接调用 brk/mmap 等系统调用,或接入自研内存池
  • 类成员重载 :给特定类单独重载 operator new,用预分配内存池减少 malloc 开销
  • 自定义分配器 :STL 容器通过 allocator 分配内存,可完全脱离 malloc

这种场景下,new 只是一套内存分配接口,底层和 C 语言的 malloc 没有任何关联。


三、realloc 在 C++ 中的处境:为什么没有「new 版 realloc」

C 语言中 realloc 可以原地扩容、或异地搬迁内存,是非常实用的内存调整函数。但 C++ 标准中没有对应的 realloc new,这不是遗漏,而是刻意设计。

1. 直接用 realloc 处理 C++ 对象是未定义行为

realloc 调整内存时,是按字节直接 memcpy/memmove 拷贝数据,它完全不感知 C++ 对象的生命周期:

  • 旧地址的对象不会调用析构函数,可能造成资源泄漏
  • 新地址的内存不会调用构造 / 移动构造函数,对象状态无效
  • 含虚函数、动态成员、非平凡拷贝的类,字节拷贝会直接破坏对象布局

结论 :只有 POD(平凡标准布局)类型可以勉强安全使用 realloc,对绝大多数 C++ 类来说,直接 realloc 都是严重的未定义行为。

2. C++ 「安全扩容」的标准做法

C++ 的扩容逻辑是「分配新内存 → 迁移对象 → 销毁旧对象 → 释放旧内存」,这也是 std::vector 等容器的底层扩容原理:

cpp

运行

cpp 复制代码
// 模拟 vector 扩容的核心逻辑(简化版)
T* old_data;       // 旧内存指针
size_t old_size;   // 旧对象数量

// 1. 分配新的原始内存
T* new_data = static_cast<T*>(operator new(new_capacity * sizeof(T)));

// 2. 逐个迁移对象(移动构造)
for (size_t i = 0; i < old_size; ++i) {
    new (&new_data[i]) T(std::move(old_data[i])); // 新地址构造
    old_data[i].~T(); // 旧地址析构
}

// 3. 释放旧内存
operator delete(old_data);
old_data = new_data;

这个过程等价于「C++ 安全版 realloc」,但它处理的是对象,而非纯字节。

3. 纯内存场景能否混用 realloc?

如果你只是用 operator new 分配了原始字节缓冲区(从未构造任何对象),理论上默认实现下可以用 realloc 调整大小,但这属于未定义行为 ------ 标准不保证 operator new 底层一定是 malloc

工程上的最佳实践:要么全程用 malloc/free/realloc 处理纯字节,要么全程用 C++ 分配接口,不要混用。


四、其他分配函数的对应关系

1. new \[\] /delete \[\] 与 malloc

new T[n] 是数组分配,流程为:

  1. 调用 operator new[] 分配内存(默认底层同样是 malloc
  2. 循环调用 n 次默认构造函数 对应的 delete[] 会先循环调用析构函数,再通过 operator delete[] 释放内存(底层 free)。

2. placement new 与 malloc

placement new(定位放置 new)不分配任何内存,它的作用是在一块已有的内存上调用对象的构造函数:

cpp

运行

cpp 复制代码
#include <new>
void* buf = malloc(sizeof(T)); // 内存可以来自 malloc、栈、内存池
T* obj = new (buf) T();        // placement new:在 buf 上构造对象

它和 malloc 没有必然调用关系,只是常配合 malloc 手动管理对象生命周期。

3. 对齐内存分配

  • C11 提供 aligned_alloc 用于超对齐内存分配
  • C++17 新增带 std::align_val_t 参数的 operator new 重载,底层通常调用 aligned_allocposix_memalign,而非普通 malloc

五、总结:完整调用关系图谱

默认实现下的完整调用链

plaintext

cpp 复制代码
new / new[] 表达式
    ↓ 先分配内存,再调用构造
operator new / operator new[]
    ↓ 默认调用
  malloc / aligned_alloc
    ↓ 系统调用
 brk / mmap(内核内存申请)

plaintext

cpp 复制代码
delete / delete[] 表达式
    ↓ 先调用析构,再释放内存
operator delete / operator delete[]
    ↓ 默认调用
       free
    ↓ 系统调用
 brk / munmap(内核内存释放)

核心结论

  1. 默认场景同源 :C++ 的 new 底层默认就是 malloc,只是在之上增加了异常处理、对象构造析构等 C++ 语义。
  2. realloc 无直接对应:C++ 没有原生 realloc,因为对象不能按字节随意搬迁;扩容需通过「重新分配 + 对象迁移」实现。
  3. 可完全解耦 :通过重载 operator new 或自定义分配器,C++ 内存分配可以完全脱离 malloc。

谢谢

相关推荐
moonsims2 小时前
星闪在跨域无人化系统作用
开发语言·php
aaaameliaaa2 小时前
指针之总结
c语言·笔记·算法
宵时待雨2 小时前
优选算法专题9:哈希表
数据结构·算法·散列表
txzrxz2 小时前
最短路问题——Dijkstra 算法
数据结构·c++·算法·最短路·优先队列
gwf2162 小时前
磨损均衡算法(Wear Leveling)——SSD如何让每块闪存“公平退休“?
运维·数据库·人工智能·python·嵌入式硬件·算法·智能硬件
Iruoyaoxh2 小时前
栈和队列~
java·开发语言
noipp3 小时前
推荐题目:洛谷 P6231 [JSOI2013] 公交系统
c语言·数据结构·c++·算法·游戏·洛谷·luogu
Hrain-AI3 小时前
2026 企业 AI 编程智能体实战:Codex 与 Claude Code
开发语言·人工智能·kotlin
c238563 小时前
C/C++每日一练6
c语言·c++·算法