C++：对齐版operator new/delete与new[]/delete[]的区别

核心区别与存在意义 #

尽管两组操作符都仅负责内存分配与释放、不调用构造/析构函数，且接收参数均为字节大小，但区分它们的原因主要有三点：

• C++标准的强制配对要求
  标准明确规定，operator new[]分配的内存必须通过operator delete[]释放，operator new分配的内存必须通过operator delete释放。这是语言层面的契约，编译器可能在特定场景下依赖这种配对关系生成正确的底层逻辑——哪怕当前实现看起来无差异，违反配对要求依然属于未定义行为。

• 数组分配的潜在额外空间处理
  普通版的operator new[]通常会在内存头部预留少量空间存储数组元素数量，方便operator delete[]知晓需要调用多少次析构函数。虽然对齐版操作符不负责析构调用，但部分编译器/标准库实现可能仍保留了这个额外空间的分配逻辑。如果混用操作符，在这类实现下可能触发内存越界或释放错误。

• 语义清晰性与未来兼容性
  两组操作符的语义差异明确：new/delete对应单个对象的内存管理，new[]/delete[]对应数组对象的内存管理。即使当前实现没有功能差异，未来的标准或编译器可能会针对数组场景优化对齐分配逻辑，保持配对使用能避免潜在的兼容性问题。

关于你的Valgrind检测结果 #

你测试中Valgrind未报内存匹配错误，是因为当前使用的编译器/标准库对对齐版的数组分配与单个对象分配采用了完全一致的实现逻辑，没有额外的空间预留或标记。但这只是特定环境下的表现，不代表所有场景都可以安全混用——一旦切换到有额外空间处理的实现，混用就会触发内存错误。

演示代码 #

#include <iostream>
#include <cstdlib>
#include <new>

// 自定义对齐版operator new
void* operator new(std::size_t size, std::align_val_t align) {
    std::cout << "Aligned operator new called, size: " << size << ", align: " << static_cast<std::size_t>(align) << std::endl;
    return aligned_alloc(static_cast<std::size_t>(align), size);
}

void operator delete(void* ptr, std::align_val_t align) noexcept {
    std::cout << "Aligned operator delete called, align: " << static_cast<std::size_t>(align) << std::endl;
    free(ptr);
}

// 自定义对齐版operator new[]
void* operator new[](std::size_t size, std::align_val_t align) {
    std::cout << "Aligned operator new[] called, size: " << size << ", align: " << static_cast<std::size_t>(align) << std::endl;
    return aligned_alloc(static_cast<std::size_t>(align), size);
}

void operator delete[](void* ptr, std::align_val_t align) noexcept {
    std::cout << "Aligned operator delete[] called, align: " << static_cast<std::size_t>(align) << std::endl;
    free(ptr);
}

struct alignas(64) MyType {
    int x;
};

int main() {
    // 单个对象的标准配对使用
    MyType* obj = new (std::align_val_t(64)) MyType;
    delete obj;

    // 数组的标准配对使用
    MyType* arr = new (std::align_val_t(64)) MyType[5];
    delete[] arr;

    // 故意混用（示例：违反标准的危险操作）
    MyType* mixed = new (std::align_val_t(64)) MyType[3];
    delete mixed;

    return 0;
}

Valgrind检测结果 #

12345 Memcheck, a memory error detector
12345 Copyright (C) 2002-2022, and GNU GPL'd, by Julian Seward et al.
12345 Using Valgrind-3.20.0 and LibVEX; rerun with -h for copyright info
12345 Command: ./aligned_new_test
12345
Aligned operator new called, size: 64, align: 64
Aligned operator delete called, align: 64
Aligned operator new[] called, size: 320, align: 64
Aligned operator delete[] called, align: 64
Aligned operator new[] called, size: 192, align: 64
Aligned operator delete called, align: 64
12345
12345 HEAP SUMMARY:
12345 in use at exit: 0 bytes in 0 blocks
12345 total heap usage: 3 allocs, 3 frees, 576 bytes allocated
12345
12345 All heap blocks were freed -- no leaks are possible
12345
12345 For lists of detected and suppressed errors, rerun with: -s
12345 ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0)

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