有没有办法绕过 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 覆盖的 header :
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 修复:
介绍使用 deletefree 覆盖。但这只是部分帮助,因为有时包含顺序和链接库仍然会搞砸。

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

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

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

最佳答案



我不知道,但你为什么不简单地在你的自定义函数中重新实现它,就像微软在他们的基于 _heap_alloc 的实现中所做的那样,并只添加你的自定义?

无论如何,一次做或死分配尝试并不是 MS 所做的:

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



无论如何 - 我第二个是什么发表评论



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

顺便说一句 - 我觉得你的代码有些烦人

  • 运算符的显式限定
  • 不抛出 std::bad_alloc 而是重新抛出一个 catch-block

  • 快乐黑客!

    问候,S。

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

    关于c++ - 在 C++ 中绕过运算符 new 的覆盖,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/16539694/

    10-11 22:57
    查看更多