绕过 C++ 中运算符 new 的重写

Question

有没有办法实现绕过覆盖operator new？

像这样的东西：

void* ::operator new( std::size_t size ) {
    void *p = ( ::operator new( size ) );  // But original, _not_ infinite recursion
    // do stuff with p
    return p; 
}

背景： 我有一些遗留代码，我们最近改用 Visual Studio 2012 进行编译。现在，当内存块malloc不足时，我们会随机崩溃。_heap_alloc（是的，代码中到处都是小内存泄漏和其他不良行为。但不幸的是，彻底清理是不现实的，大约有 500 000 SLOC。）

我目前的理论是，原因是几乎所有源文件都包含具有以下覆盖的标头operator new：

void* ::operator new( std::size_t size ) {
    void* p = malloc( size );
    if( p == NULL )
        throw;
    // set memory to zero
    memset( p, 0, size );
    return p;
};

void* ::operator new[]( size_t count ) throw(std::bad_alloc) {
    // try to allocate count bytes for an array
    return (operator new(count));
}

没有 的覆盖delete。

本质上，这意味着应用程序将使用malloc分配与使用delete而不是释放混合free。

首先尝试 Q&D 修复：引入delete使用的覆盖free。但这只是部分帮助，因为有时包含顺序和链接库仍然会把它弄乱。

第二次尝试 Q&D 修复：删除覆盖。但不幸的是，将内存初始化为 0 是必要的。继承自使用的旧编译器，它总是这样做，而假设 C++ 的程序员也总是这样做。

我知道 new() 会处理这个问题，但不幸的是，我不知道有什么好的方法可以在不手动检查所有源代码并更新它的情况下使用它。它也对实现不佳的类没有帮助，这些类假设所有成员都被无效，而不在构造函数中这样做。

因此，我的 Q&D 修复的第三个想法：在覆盖中使用正常的 new ，正如这个问题所询问的那样。

Answer 1

有没有办法绕过 new 运算符的重写？

我不知道，但为什么你不简单地在你的自定义函数中重新实现它，就像 MS 在基于 _heap_alloc 的实现中所做的那样，然后将你的自定义添加到其中呢？

无论如何，一次孤注一掷的分配尝试并不是 MS 所做的：

http://msdn.microsoft.com/en-us/library/vstudio/we2zys4d.aspx

默认行为是执行循环。在循环内，该函数首先尝试分配请求的存储空间

不管怎样-我赞同 nm 在评论中所说的内容

您需要修复实际内存错误

这是不言自明的；对于任何调试目的 - 请查看 std::set_new_handler。

顺便说一句 - 我觉得你的代码有些令人恼火的事情

• 经营者的明确资格
• 不抛出 std::bad_alloc 而是在 catch 块之外重新抛出

黑客快乐！

问候，S.

PS：@all：由于我在这里的经验有限，我无法“投票”这个问题，但我建议这样做。这是一个非常有趣的话题，而且表述得很好。