图书馆强迫我全局超载 new/delete ！

Question

我正在为一个大型闭源应用程序维护一个插件（作为 dll 实现）。这多年来一直运作良好。然而，随着其 SDK 的最新更新，供应商使全局运算符 new 和 delete 过载。这给我带来很多麻烦。发生的情况是我的插件分配了一个字符串。我将此字符串传递到静态链接库中，该库对其进行修改（更改其长度，从而重新分配它）。我的应用程序崩溃了。

原因当然是，该字符串位于供应商分配的自定义堆上。静态链接库对此堆一无所知，并尝试在该内存上使用默认的 new/delete 运算符。繁荣。

现在的问题是：如何保持代码干净并避免使用供应商的运算符？没有条件预处理器宏。我无法避免包含有问题的标头，因为它包含插件所需的 2000 行以上代码。我无法将提供的分配器传递到其他库中，因为它没有为此提供任何机制。我已经就此向供应商进行了窃听。我不知道我还能尝试什么？

附录：经过一番激烈的争论，我成功说服供应商从下一版本的 SDK 中再次删除重载。我通过简单地破解当前的 SDK 并手动删除重载就解决了眼前的问题。感谢本线程中的所有建议。它们作为论据和进一步的“证据”证明了为什么重载首先是一个坏主意。

Answer 1

如果您正在编译（通过标头包含）覆盖的 new/delete 运算符，则代码中对 new/delete 的所有调用都将使用它们。无法重新覆盖它（链接错误）或仅部分覆盖它等。

覆盖全局 new/delete 运算符根本不是一种好的形式。这是一个坏主意。如果你不明白为什么这是一个坏主意，你就没有资格这样做。如果您确实意识到为什么这是一个坏主意，那么您就有资格这样做，但您通常会选择不这样做。

在您期望人们直接包含到他们的项目中的组件中，定义全局新建/删除是指数级的邪恶。作为客户，您的工作是帮助供应商了解情况的严重性，或者停止成为他们的客户。

您可以定义自定义分配器类型（请参阅此链接一个很好的教程，介绍如何做到这一点、所需的接口等）并将其专门用于您的 STL 类型（它是一个模板参数）。

对于shared_ptr，您需要做一些不同的事情：如果您不想要默认的“delete p”行为，它会将删除器对象作为构造函数的参数。这不是一个自定义分配器；它只是一个常规的一元函子。

Answer 2

是不是可以这样做：

namespace evil{

#include "evil_header.h"

}

那么evil_header声明为全局new/delete的内容就变成evil::new/evil::delete。不过，我怀疑如果在villain_header中声明的东西有非标头定义的话，这会发挥很好的作用。

Answer 3

您可以在命名空间中使用另一个新的：

namespace MyNS {
    // Declare your new/delete operators here
    // and also declare a class implementing the same interface as std::allocator
    // using your newly created memory management functions.
    // Don't forget to put all your classes in the namespace.
    // (if you don't have one already)
}

然后您可以使用所有 STL 类，将您的分配器类型作为模板参数。

Answer 4

一种选择是创建您自己的重载 new 运算符，该运算符可以根据 malloc 来实现。

可以这样定义：

enum MyNew {EMyNew};

void *operator new(size_t size, MyNew);

然后您可以将其调用为 MyClass* myClass = new (EMyNew)MyClass;

由于这是根据 malloc 实现的，因此它的行为应该符合预期。唯一的缺点是您必须替换所有使用过新实例的实例。