new分配的内存必须用delete/delete[]释放，malloc分配的必须用free释放，混用会导致未定义行为；new[]/delete[]必须严格配对；placement new不分配内存，不应调用delete或free，而应手动析构后按原方式释放。
new 和 malloc 不能交叉释放
用 new 分配的内存必须用 delete（或 delete[]）释放，用 malloc 分配的必须用 free。混用会导致未定义行为——程序可能当场崩溃、静默损坏堆结构、或在后续某次 malloc/free 调用时才暴露问题。
根本原因在于：两者底层管理机制不同。new 不仅调用 malloc-like 内存申请，还会调用构造函数，并记录额外元数据（如数组长度、类型信息）；delete 则负责析构和清理这些元数据。free 完全不知道这些，直接归还原始内存块，跳过析构，也破坏分配器内部链表。
-
int* p = new int(42); free(p);→ 析构函数不执行（虽是 POD 类型无影响），但堆管理器可能因元数据错位而后续崩溃 -
std::String* s = new std::string("hello"); delete s;→ 正常；但若写成free(s)→ 字符串内部缓冲区未释放，std::string对象未析构，内存泄漏 + 堆损坏 -
char* buf = (char*)malloc(100); delete buf;→ 可能触发断言（如 MSVC Debug 模式报HEAP CORRUPTION DETECTED），或静默失败
new[] 和 delete[] 必须严格配对
new[] 分配的是对象数组，编译器会在内存前插入隐藏字段记录元素个数，供 delete[] 正确调用每个元素的析构函数。delete（无方括号）只会调用第一个对象的析构函数，其余对象资源泄漏，且元数据读取错误会破坏堆。
即使数组元素是 int 这类无析构函数的类型，也不能用 delete 替代 delete[] —— 标准明确禁止，实际行为依赖编译器实现，不可移植。
立即学习“C++免费学习笔记（深入）”；
-
MyClass* arr = new MyClass[10]; delete arr;→ 仅arr[0]被析构，arr[1]~arr[9]的资源未释放，堆元数据错乱 -
int* a = new int[5]; delete a;→ 未定义行为，Clang/GCC 在某些优化级别下可能“凑巧”不崩，但绝不应依赖 - 检查工具（如 AddressSanitizer）会直接报告
mismatched delete / delete[]
placement new 不触发内存分配，不配对 delete
operator new(size_t, void*)（placement new）只是在已提供地址上调用构造函数，不申请新内存，因此**没有对应的 “placement delete”**，也不该对它调用 delete 或 free。
正确做法是：手动调用析构函数，然后按原始方式释放内存（比如当初用 malloc 分配的，就用 free；用 new 分配的，就用 delete）。
-
void* buf = malloc(sizeof(MyClass)); MyClass* p = new(buf) MyClass();→ 后续应写p->~MyClass(); free(buf); -
delete p;或free(p);都错：前者尝试释放未知地址，后者跳过析构 - placement new 返回的指针，其生命周期和内存归属完全由用户管理，编译器不介入
混合使用常见于 C 接口封装，需显式隔离
调用 C 库（如 Openssl、libpng）时，常需用 malloc 分配缓冲区传入，再用 free 释放；而 c++ 代码主体用 new。此时必须划清边界，避免指针跨域传递。
典型陷阱：把 malloc 来的内存赋给智能指针（如 std::unique_ptr），却没指定自定义删除器，导致析构时调用 delete 而非 free。
-
std::unique_ptr→ 错！析构时调用ptr((char*)malloc(100)); delete，应写std::unique_ptrptr((char*)malloc(100), free); - C++ 类中缓存 C 风格内存时，务必在析构函数里用
free，而非delete - 跨语言 ABI 边界（如 DLL 导出函数）尤其危险：一方用
new分配，另一方用free释放，若两模块链接不同 CRT（如 MSVCRT vs UCRT），堆句柄不共享，必然崩溃
最易被忽略的一点：调试器或 ASan 报的堆错误，往往不是出错行本身的问题，而是更早一次混用破坏了堆结构。查这类问题，优先检查所有 malloc/free 和 new/delete 的配对位置，而不是盯着崩溃点的代码。