C++中new/delete与malloc/free的区别?(构造/析构函数的调用)

new/delete会调用构造/析构函数,malloc/free不会;前者是类型感知的操作符,后者是纯内存操作;混用导致未定义行为,且无法跨语言或跨分配器安全使用。

new/delete 会调用构造/析构函数,malloc/free 不会

这是最核心的区别。当你用 new 分配对象时,它不仅申请内存,还会自动调用该类型的构造函数;delete 在释放前会先调用析构函数。而 mallocfree 是纯内存操作,完全不感知类型,更不会触碰任何构造或析构逻辑。

常见错误现象:
malloc 分配一个 std::string 对象的内存,然后直接赋值——此时 std::string 的内部指针未被初始化,后续访问必然崩溃;或者用 free 释放 new 出来的对象,析构函数不执行,资源泄漏(比如文件句柄、动态分配的缓冲区)。

  • new MyClass → 先 operator new 分配内存,再调用 MyClass::MyClass()
  • delete ptr → 先调用 MyClass::~MyClass(),再调用 operator delete
  • malloc(sizeof(MyClass)) → 只返回一块原始字节,MyClass 的成员(尤其是非 POD 类型)处于未定义状态
  • free(ptr) → 仅归还内存,不做任何类型相关清理

不能混用:new 配 delete,malloc 配 free

混用会导致未定义行为(UB),而且往往在特定平台或优化级别下才暴露问题,非常难排查。

典型场景:
— 在 C 接口(如 dlopen 加载的库)中拿到 malloc 出来的内存,却用 delete 释放
— 把 new char[1024] 的指针传给只认 void* 的 C 函数,之后用 free 释放

立即学习“C++免费学习笔记(深入)”;

  • new / new[] 必须配 delete / delete[](否则数组析构可能只调第一个元素)
  • malloc / calloc / realloc 必须配 free
  • 即使 MyClass 是 POD 类型,也不能用 malloc+delete:因为 delete 内部仍会尝试调用析构函数(哪怕为空),而该内存并非 new 分配,operator delete 可能崩溃

new/delete 可被重载,malloc/free 是固定符号

newdelete 是可被类或全局重载的操作符,你可以控制内存分配策略(比如对象池、对齐要求、日志记录);而 mallocfree 是 C 标准库函数,符号固定,无法按类型定制。

使用场景:
— 自定义 allocator(如游戏引擎中为 GameObject 专用堆)
— 调试内存泄漏时,在全局 operator new 中记录调用栈
— 硬实时系统中避免 malloc 的不可预测延迟

  • 重载 operator new 后,new MyClass 就走你的实现,但 malloc(sizeof(MyClass)) 依然走 libc 的 malloc
  • malloc 返回的指针不能直接用于 placement new 构造,除非你确保内存对齐满足类型要求(例如 alignas(std::max_align_t)
  • std::allocator 底层通常基于 operator new,而非 malloc(尽管某些旧实现可能 fallback)
class Widget {
public:
    Widget() { std::cout << "ctor\n"; }
    ~Widget() { std::cout << "dtor\n"; }
};

// 正确:构造/析构完整 Widget* w1 = new Widget; delete w1; // 输出 ctor → dtor

// 危险:未构造就用,未析构就丢 Widget w2 = static_cast>(malloc(sizeof(Widget))); new(w2) Widget; // placement new 手动构造 w2->~Widget(); // 必须手动析构 free(w2); // 不能用 delete

C++ 对象生命周期必须由构造/析构函数管理,绕过它们就像绕过交通灯——一时省事,后患是 crash 或静默损坏。尤其在有虚函数、成员含智能指针或容器的类里,跳过 new/delete 几乎必然出错。