当重载操作符删除而不重载新的操作时，正确的行为是什么？gcc和clang不同

Question

以下代码与clang (在x86_64-pc上的5.0.0-3~16.04.1版本)和gcc (9.2.0)的行为不同。

void operator delete(void* ptr) noexcept {
    std::cout << "overloaded delete" << std::endl;
    free(ptr);
}

int main() {
    int* pint = new int;
    delete pint; // clang doesn't go through overloaded operator delete, gcc does
}

gcc通过超载的operator delete，而clang则避免使用global delete。

(当添加重载的operator new时，两个编译器都同意并通过两个重载版本)。

代码：http://coliru.stacked-crooked.com/a/0903bd53a8c04a9b

Answer 1

编译器可以使用new优化出分配，完全省略对全局可替换的operator news和operator delete的调用，即使它们有副作用，请参阅C++17标准草案的[expr.new]/10和[expr.delete]/7.1。

如果您没有使用-O2标志进行编译，您将看到您的消息都是用编译器打印出来的，gcc主干也省略了启用优化的分配。

如果编译器没有删除分配/去分配函数调用，我将假设您的operator delete具有未定义的行为，因为您无法保证您要传递的指针是由malloc分配的，如果没有，则调用free具有未定义的行为。

您需要始终同时替换operator new和operator delete。