operator new, operator new[]

分配请求数量的字节。这些分配函数为 new 表达式所调用，以分配将被初始化的对象所在的内存。亦可用常规函数调用语法调用它们。

参数

返回值

异常

全局替换

版本 (1-4) 在每个翻译单元隐式声明，即使不包含 <new> 头文件。版本 (1-8) 是可替换的：定义于程序任何位置，在任何源文件的用户提供的拥有相同签名的非成员函数，会替换默认版本。其声明不必可见。

若程序中为任何可替换分配函数提供多于一个替换版本，或若替换定义带 inline 指定符，则行为未定义。若替换定义于异于全局命名空间的命名空间中，或它定义为在全局作用域的 static 函数，则程序为病式。

#include <cstdio>
#include <cstdlib>
// 函数最小集的替换：
void* operator new(std::size_t sz) {
    std::printf("global op new called, size = %zu\n",sz);
    void *ptr = std::malloc(sz);
    if (ptr)
        return ptr;
    else
        throw std::bad_alloc{};
}
void operator delete(void* ptr) noexcept
{
    std::puts("global op delete called");
    std::free(ptr);
}
int main() {
     int* p1 = new int;
     delete p1;
 
     int* p2 = new int[10]; // C++11 中保证调用替换者
     delete[] p2;
}

global op new called, size = 4
global op delete called
global op new called, size = 40
global op delete called

operator new 与 operator new[] 带额外用户定义参数的重载（“布置形式”，版本 (11-14) ）可以照常声明于全局作用于，而且为匹配的 new 表达式的布置形式所调用。

标准库的 operator new 的不分配布置形式 (9-10) 不能被替换，而且只若布置 new 表达式不使用 ::new 语法才能自定义，通过提供类特定的带匹配签名的布置 new (19,20) ： void* T::operator new(size_t, void*) 或 void* T::operator new[](size_t, void*) 。

类特定重载

单对象和数组分配函数都可以定义为类的公开静态成员函数（版本 (15-18) 。若定义，则 new 表达式调用这些函数，以分配此类单个对象或数组的内存，除非 new 表达式使用 ::new 形式，这跳过类作用域查找。关键词 static 对这些函数可选：不管是否使用，分配函数都是静态成员函数。

new 表达式首先在类作用域中查找适当的函数名，然后在全局作用域查找。注意，同每个名称查找规则，就试图分配此类对象的 new 表达式而言，任何声明于类作用域的分配函数隐藏所有全局分配函数。

#include <iostream>
// 类特定分配函数
struct X {
    static void* operator new(std::size_t sz)
    {
        std::cout << "custom new for size " << sz << '\n';
        return ::operator new(sz);
    }
    static void* operator new[](std::size_t sz)
    {
        std::cout << "custom new for size " << sz << '\n';
        return ::operator new(sz);
    }
};
int main() {
     X* p1 = new X;
     delete p1;
     X* p2 = new X[10];
     delete[] p2;
}

custom new for size 1
custom new for size 10

operator new 与 operator new[] 带额外用户定义参数（“布置形式”）的重载，亦可定义为类成员 (19-22) 。在拥有匹配签名的布置 new 表达式查找要调用的对应分配函数时，查找在检验全局作用域前，从类作用域开始，而若提供了类特定的布置 new 则调用它。

#include <stdexcept>
#include <iostream>
struct X {
    X() { throw std::runtime_error(""); }
    // 自定义布置 new
    static void* operator new(std::size_t sz, bool b) {
        std::cout << "custom placement new called, b = " << b << '\n';
        return ::operator new(sz);
    }
    // 自定义布置 delete
    static void operator delete(void* ptr, bool b)
    {
        std::cout << "custom placement delete called, b = " << b << '\n';
        ::operator delete(ptr);
    }
};
int main() {
   try {
     X* p1 = new (true) X;
   } catch(const std::exception&) { }
}

custom placement new called, b = 1
custom placement delete called, b = 1

若类级别的 operator new 是模板函数，则它必须拥有返回类型 void* ，第一参数类型 std::size_t ，且它必须拥有二个或更多参数。换言之，仅布置形式能是模板。

注解

尽管不分配布置 new (9,10) 不能被替换，亦可在上面描述的类作用域定义拥有相同签名的函数。而且，像是布置 new 但接受非 void 指针类型作为第二参数的全局重载是的受到允许的，故意图确保调用真的布置 new 的代码（例如 std::allocator::construct ）必须使用 ::new 并将指针转型到 void* 。

operator new 的库版本是否产生任何对 std::malloc 或 std::aligned_alloc (C++17 èµ·) 的调用是未指定的。

示例

参阅

引用