c++ - 在 C++ 中绕过 operator 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。)

我目前的理论是，原因是几乎所有源文件都包含一个 header ，其中覆盖了以下 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 修复: 引入使用 free 的 delete 覆盖。但这只是部分帮助，因为有时包含顺序和链接库仍然会搞砸。

第二次尝试 Q&D 修复: 删除覆盖。但不幸的是，必须将内存初始化为 0。使用旧编译器的传统，它总是这样做，而假定 C++ 的编码器将始终这样做。

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

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

Answer 1

Is there a way to achieve a bypass of an override of operator new?

据我所知，没有，但你为什么不简单地在你的自定义函数中重新实现它，就像 MS 在他们基于 _heap_alloc 的实现中所做的那样，然后只向它添加你的自定义？

无论如何，MS 所做的只是一次“做或死”的分配尝试:

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

The default behavior is to execute a loop. Within the loop, the function first attempts to allocate the requested storage

无论如何 - 我支持什么 n.m.发表评论

You need to fix real memory bugs

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

顺便说一句 - 我发现您的代码有一些令人恼火的地方

• 运算符(operator)的明确资格
• 不抛出 std::bad_alloc 但在 catch block 之外重新抛出

黑客攻击快乐!

问候，S.

P.S.:@all:由于我在这里的经验有限，我不能“投票”这个问题，但我建议这样做。这是一个非常有趣的话题，并且制定得很好。