为何new与malloc产生不同结果？堆损坏问题原因探究

首先得揪出你代码里的关键bug：你分配数组时只申请了a个int的空间，但后面却访问了n[a]——数组下标从0开始，a个元素的有效下标范围是0到a-1，n[a]属于完全越界的堆内存访问，这本身就是未定义行为。

那为什么用new时没报错，malloc却触发了堆损坏检测？这其实是「运气问题」：

• 堆内存管理器会在分配的内存块周围放置校验标记，用来检测越界、重复释放等错误。用malloc时，你越界写入的n[a]刚好覆盖了这些校验标记，程序退出时堆检测机制发现标记被破坏，就抛出了错误。
• 而new的内存布局可能刚好在越界位置没有敏感校验数据，或者堆管理器对new分配的内存校验逻辑不同，所以暂时没暴露问题，但这不代表代码正确——越界访问随时可能导致程序崩溃、数据错乱，甚至安全问题。

想要解决这个问题，你需要把数组分配大小改成a+1，不管用new还是malloc：

// 用new的正确写法
int *n = new int[a+1];
// 用malloc的正确写法
int *n = (int *)malloc(sizeof(int)*(a+1));

接下来聊聊new和malloc的核心差异：

• 类型安全：new是C++运算符，会自动推导类型大小，返回对应类型指针，无需强制转换；malloc是C标准库函数，返回void*，必须手动强制转换，还要自己计算内存总大小（比如sizeof(int)*a），容易算错。
• 初始化与构造：对于类对象，new会自动调用构造函数，malloc只分配原始内存，不初始化对象；对于int这类基本类型，new默认不初始化（和malloc一致），但可以用new int[a+1]()把所有元素初始化为0，malloc做不到这一点。
• 释放方式：new分配的内存必须用delete（单个对象）或delete[]（数组）释放；malloc分配的必须用free释放，绝对不能混用（比如用malloc分配后delete释放，结果是未定义的）。
• 失败处理：new分配失败默认会抛出std::bad_alloc异常（可用new(nothrow)版本返回NULL）；malloc分配失败直接返回NULL，需要手动检查返回值。
• 底层关联：很多编译器的new基于malloc实现，但会额外添加C特有逻辑，比如记录数组元素数量（方便delete[]正确调用每个元素的析构函数），或者和C的异常机制、RAII特性结合。

内容的提问来源于stack exchange，提问作者Dong