什么是“::operator new”和“::operator delete”？

Question

我知道new 和delete 是关键字。

int obj = new int;
delete obj;

int* arr = new int[1024];
delete[] arr;

<new> 标头是 C++ 标准标头的一部分。它有两个运算符（我不确定它们是运算符还是函数）：

::operator new

::operator delete

这些运算符的用法如下：

#include <new>
using namespace std;

int* buff = (int*)::operator new(1024 * sizeof(int));
::operator delete(buff);

什么是“::operator new”和“::operator delete”？它们与new 和delete 关键字有什么不同吗？

Answer 1

new 关键字（单独使用）与operator new 函数不同。

打电话

Object* p = new Object(value);

在调用中是等价的

void* v = operator new(sizeof(Object));
p = reinterpret_cast<Object*>(v);
p->Object::Object(value); //this is not legal C++, it just represent the implementation effect

操作符 new（或更好的 void* operator new(size_t) 变体）只是分配内存，但不进行任何对象构造。

new 关键字调用 operator new 函数，然后调用对象构造函数。

为了将分配与构造分开，运算符 new 的变体被声明为

void* operator new(size_t, void* at)
{ return at; }

而前面的代码通常写成

Object* p = reinterpret_cast<Object*>(operator new(sizeof(Object))); //no contruction here
new(p) Object(value); //calls operator new(size_t, void*) via keyword

operator new(size_t, void*) 本身什么都不做，但是，被关键字调用会导致构造函数被调用。

反过来，销毁和释放可以用

分开

p->~Object();
operator delete(p); //no destructor called

而不是delete p；调用析构函数，然后调用operator delete(void*)。

Answer 2

:: 告诉编译器调用全局命名空间中定义的运算符。
它是全局 new 和 delete 运算符的完全限定名称。

请注意，可以replace the global new and delete operators as well as overload class-specific new and delete operators。所以一个程序中可以有两个版本的new和delete运算符。具有范围解析运算符的完全限定名称告诉编译器您指的是运算符的全局版本，而不是特定于类的运算符。

Answer 3

它们是分配器和释放器函数。 new 运算符确实 两件事：它调用一个分配器函数来获取内存，它 调用对象的构造函数。 delete 运算符也可以 两件事：它调用析构函数，然后调用释放器 功能。默认分配器函数是::operator new，并且 默认释放函数是::operator delete。两者都可以 由用户替换。

请注意，在新表达式中，::operator new 函数被查找 以或多或少与正常情况下相同的方式上升 从成员函数中调用的函数。至于正常功能， 您可以限定操作员以更改查找：new MyClass 将 找到成员operator new（如果有的话）； ::new MyClass 将使用 默认分配器，即使 MyClass 定义了成员 operator new。

Answer 4

:: 只是一个全局命名空间