要理清 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运行#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申请内存但上层语义天差地别表格维度mallocC 标准库operator newC失败行为返回NULL默认抛出std::bad_alloc异常返回值void*需手动强转void*operator new 本身/ 类型指针new 表达式核心职责仅分配原始字节内存仅分配原始字节内存对象处理完全不涉及对象生命周期new 表达式会额外调用构造函数扩容能力配套realloc可调整内存大小无原生配套扩容函数可定制性不可重载支持全局重载、类成员重载对齐支持满足标准最大对齐C17 后支持超对齐分配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运行// 模拟 vector 扩容的核心逻辑简化版 T* old_data; // 旧内存指针 size_t old_size; // 旧对象数量 // 1. 分配新的原始内存 T* new_data static_castT*(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 [] 与 mallocnew T[n]是数组分配流程为调用operator new[]分配内存默认底层同样是malloc循环调用 n 次默认构造函数 对应的delete[]会先循环调用析构函数再通过operator delete[]释放内存底层free。2. placement new 与 mallocplacement new定位放置 new不分配任何内存它的作用是在一块已有的内存上调用对象的构造函数cpp运行#include new void* buf malloc(sizeof(T)); // 内存可以来自 malloc、栈、内存池 T* obj new (buf) T(); // placement new在 buf 上构造对象它和 malloc 没有必然调用关系只是常配合 malloc 手动管理对象生命周期。3. 对齐内存分配C11 提供aligned_alloc用于超对齐内存分配C17 新增带std::align_val_t参数的operator new重载底层通常调用aligned_alloc或posix_memalign而非普通malloc。五、总结完整调用关系图谱默认实现下的完整调用链plaintextnew / new[] 表达式 ↓ 先分配内存再调用构造 operator new / operator new[] ↓ 默认调用 malloc / aligned_alloc ↓ 系统调用 brk / mmap内核内存申请plaintextdelete / delete[] 表达式 ↓ 先调用析构再释放内存 operator delete / operator delete[] ↓ 默认调用 free ↓ 系统调用 brk / munmap内核内存释放核心结论默认场景同源C 的new底层默认就是malloc只是在之上增加了异常处理、对象构造析构等 C 语义。realloc 无直接对应C 没有原生 realloc因为对象不能按字节随意搬迁扩容需通过「重新分配 对象迁移」实现。可完全解耦通过重载operator new或自定义分配器C 内存分配可以完全脱离 malloc。谢谢
