哪个运营商删除？

Question

之间有区别吗？

operator delete(some_pointer);

和

delete some_pointer;

如果有的话，区别是什么？应该在哪里使用该运算符的一个版本，在哪里应该使用另一个版本？ 谢谢。

Answer 1

讽刺的是，delete 运算符和operator delete() 并不是一回事。

delete some_pointer; 调用some_pointer指向的对象的析构函数，然后调用operator delete()释放内存。

您通常不会直接调用operator delete()，因为如果您这样做，则不会调用该对象的析构函数，并且很可能会导致内存泄漏。

您唯一需要关心 operator delete() 的情况是当您想通过重写 operator new() 和 operator delete() 来进行自己的内存管理时。

最重要的是，您还应该知道 delete 和 delete [] 是两个不同的东西。

Answer 2

operator delete() 只是释放内存。 delete some_pointer 调用 some_pointer 的析构函数，然后调用operator delete()。

Answer 3

delete some_pointer; 是“正确”使用的。

operator delete(some_Pointer); 主要作为定义您自己的删除运算符的语法工件而存在。也就是说，因为您将加号运算符定义为；

 myclass::operator+(myclass b) {....}

你确实可以写：

 myclass c = a.operator+(b);

但没有人这样做过。他们使用：

 myclass c = a + b;

同样，您可以编写operator delete(some_Pointer);，但没有人这样做。

Answer 4

至少根据我的经验，实现operator new和operator delete比实际使用（即调用）它们更常见，至少直接地。

通常，您间接使用operator new和operator delete——您编写一个new表达式，例如A *a = new A;。为了实现这一点，编译器会生成调用 operator new 来分配原始内存的代码，然后调用 A::A 将该原始内存转换为 A< /code> 对象，就像您编写的一样：

void *temp = operator new(sizeof A);  // allocate raw memory with operator new
A *a = new(temp) A;                   // convert raw memory to object with placement new

使用完该对象后，您可以使用 delete A;。为了实现这一点，编译器调用对象的 dtor，然后释放内存，大致就像您所做的那样：

a->~A();
operator delete(a);

还有 operator [] new 和 operator [] delete code>，当您分配/删除数组时使用它们 - 但普通版本和数组版本之间不一定有任何真正的区别 - 它们都只是分配指定数量的原始内存（尽管您可能猜测数组版本会分配相对大量的内存，并在此基础上进行一些优化）。

无论如何，如果您想优化为特定类的对象分配内存的方式，您可以重载它们来实现这一点。您可以插入并使用相当多的现有实现，特别是对于您希望分配大量微小对象的情况，因此您需要最小化与每次分配相关的开销（例如， HeapLayers，Loki 的小块分配器）。

一个有趣的小趣闻：operator new、operator [] new、operator delete 和operator [] delete总是 static类成员，即使您没有在其声明/定义中显式包含static`。

所有四个都有全局版本（::operator new、::operator [] new、::operator delete 和 ::运算符[]删除）。这些标记了“内部”C++ 内存管理与外部世界之间的“边界”。通常，它们从操作系统分配相对较大的内存块，然后根据请求将较小的内存块返回给程序的其余部分。如果您想（尝试）优化整个程序的内存管理，通常可以通过重载（或者实际上是替换）它们来实现。同样，典型的原因是您希望分配大量小对象（但不仅仅是在几个类中）。其中一个示例是 Boost 池图书馆。

直接使用上述任何内容通常仅限于需要原始内存块，而不对象的情况。一个例子是实现您自己的容器类。例如，std::vector 通常使用 ::operator new（通过 Allocator 对象）来分配用于存储对象的内存。由于它需要能够分配存储，但只有稍后（或者可能永远不会）在该存储中创建对象，所以它不能只使用像 data = new T[size]; 这样的东西 - 它必须分配原始内存，然后在将对象添加到集合时（例如，当您 push_back 一个对象时），使用placement new 在内存中创建对象。 std::deque 也是如此。例如，如果您想“从头开始”实现自己的循环缓冲区，直接处理所有内存管理，而不是使用 vector 之类的东西进行存储，您可能需要/想要做同样的事情。