总是使用operator new/delete的align_val_t重载是否安全合规？

代码问题与正确性判断 #

首先你给出的free实现存在明显笔误：函数形参名为ptr，但调用::operator delete时传入的第一个参数是data，会直接编译失败，修正后应为：

template <typename T> void free(T *ptr, size_t count)
{
    ::operator delete(
        ptr,
        sizeof(T) * count,
        static_cast<std::align_val_t>(alignof(T))
    );
}

修正后分配释放的核心逻辑是合法的，且比普通的不带对齐参数的operator new/delete调用兼容性更强：它显式指定了分配内存的对齐要求，可正确支持对齐要求大于默认最大标量对齐（__STDCPP_DEFAULT_NEW_ALIGNMENT__）的超对齐类型。

重载选择规则解答 #

是否保证优先选用align_val_t重载？ #

是，这是C++标准重载决议规则明确保障的：你调用operator new/delete时显式传入了类型为std::align_val_t的参数，重载决议会优先匹配参数列表完全吻合的带align_val_t的重载，和不带对齐参数的重载是否可用没有关系。

用户替换可替换重载后规则是否成立？ #

只要用户替换的重载符合C标准规定的可替换函数签名，规则就完全成立。C17及以后标准明确规定了带align_val_t的operator new/delete属于可被用户替换的全局内存管理函数，只要替换的函数签名匹配你调用的签名，重载决议就会正确命中用户替换的版本，不会错误落到不带对齐参数的重载上。

实践合理性评估 #

这个实现属于良好实践，优势很明确：

• 显式处理对齐逻辑，兼容所有对齐等级的类型，不存在超对齐类型分配失败的隐患
• 释放时传递了内存块总大小，主流内存分配器都可以利用这个参数优化释放效率、减少内存碎片
• 直接调用全局作用域的::operator new/delete，不会意外触发类自定义的new/delete重载，符合通用内存分配工具的行为预期

需要注意的限制：

• 该实现仅分配裸内存，没有自动调用对象构造函数，使用者需要配合placement new手动构造对象，释放时也需要先手动调用析构函数再调用该free，否则会出现未定义行为
• 依赖C++17及以上标准的std::align_val_t特性，如果需要兼容更低版本标准需要补充条件编译降级逻辑

内容的提问来源于stack exchange，提问作者M. P.