对重载new和delete施加限制

Question

是否可以对重载运算符 new 和 delete 施加一些限制？ 我的重载 new 在另一个文件中链接到我的测试程序。

场景是：

if(condition is satisfied)
   call overloaded new
else
   call the actual new defined in new.h

Answer 1

始终使用重载的new/delete并检查其实现中的条件。

Answer 2

一旦你替换了默认的 ::operator new() 你就不能再使用它了——它就永远消失了。 查看此问题。

如果您想获得原始 ::operator new() 的效果，您必须重新实现它，这并不难。

Answer 3

可以通过三种方式为运营商提供新的服务。

• 替换四个非放置默认运算符 new 中的一个或多个，

• 为默认运算符 new 提供重载（因此带有一个附加参数，这些可以使用placement new语法调用），

• 提供operator new类成员，那些将仅为该类及其后代调用。

在后两种情况下，可以使用以下语法调用更知名的运算符 new 之一：

ptr = ::operator new(sz);
ptr = ::operator new[](sz);
ptr = ::operator new(sz, std::nothrow);
ptr = ::operator new[](sz, std::nothrow);

但如果您已替换它们，则将调用您的替换项。 您不能将已替换的默认运算符称为新的（也许您可以通过使用特定于实现的链接器技巧来实现，但这超出了语言的范围）。

关于operator new的替换：

• 您应该将两个operator new和对应的两个operator delete一起替换（或者其中一个delete操作符很容易被非预期的指针调用）
• 您应该替换两个operator new[]和对应的两个operator一起删除[]（同样的原因）
• 注意新处理程序的可能性，有些库会使用它。

Answer 4

您可以轻松地在重载的 new 运算符中执行检查。确保实现 new 运算符的所有风格（正如 AProgrammer 已经指出的那样）。

调用原来的/默认的new是不可能的，但是自己实现也不难。毕竟new只是分配内存而已。因此，您也可以调用 malloc、HeapAlloc 或系统上找到的任何内存分配例程，而不是调用原始/默认的 new。请务必在删除的实现中调用相应的内存释放方法（free、HeapFree，...）。

你没有告诉你要在 new 的实现中检查什么样的条件？如果它是“静态”条件（我的意思是：在应用程序执行期间始终给出相同的结果），则还应该将相同的条件添加到删除的实现中。

如果条件取决于情况并在运行应用程序时发生变化，您应该预见一种方法，您可以通过该方法知道在删除函数中使用哪个删除实现。对此的一个技巧如下：

在 new 的实现中：

• 分配比请求多 8 个字节（这必须是 8 个字节以保持对齐正确）
• 用标识填充前 8 个字节，以便您可以知道哪个底层内存-您使用的分配函数
• 将 8 个字节添加到分配的指针并返回这个

在您的删除实现中：

• 减去给定的指针的 8 个字节，
• 检查在该位置找到的标识（请参阅新的）以查看哪种底层删除-你应该调用的实现