《C++ Primer第5版》operator new与delete重载相关段落释义咨询

「命名具有误导性」的具体含义 #

这个说法针对的是普通开发者的直觉误区：
看到operator new、operator delete的命名格式和operator=、operator+这类可重载运算符完全一致，会默认认为它们的作用逻辑相同——即重载了对应的operator函数，就能完全控制对应运算符表达式的全部行为，但这个直觉对operator new/delete不成立，因此说命名有误导性。

operator new/delete和普通可重载运算符的核心差异 #

你提到的「只会重载运算符本身而非表达式」的认知，对普通运算符完全成立，因为普通运算符的表达式行为完全由重载的operator函数决定：

• 比如你重载了operator+，那么a + b这个表达式的所有执行逻辑、返回值类型，完全由你写的operator+函数体决定，没有任何语言强制的隐藏步骤，你甚至可以把它写成完全不符合加法语义的逻辑，也就是你说的「滥用」。

但operator new/delete有本质区别：

• 当你写new T()这个表达式时，它的执行流程是语言强制规定死的，分为不可修改的两步：1. 调用operator new申请内存；2. 在申请到的内存上调用T的构造函数初始化对象。
• 你重载operator new能修改的只有第一步「申请内存」的逻辑，比如替换成自己的内存池、加调试日志等，但永远没法修改「先申请内存再构造对象」这个固定流程，也不可能跳过构造步骤。

同理delete p表达式的流程也是固定的：1. 调用p指向对象的析构函数；2. 调用operator delete释放内存，你重载operator delete只能改第二步的释放逻辑，动不了第一步的析构流程。

可以用一段简单的代码验证这个固定逻辑：

#include <iostream>
#include <cstdlib>

// 自定义重载operator new
void* operator new(std::size_t size) {
    std::cout << "自定义operator new被调用，申请大小：" << size << std::endl;
    return malloc(size);
}

class Test {
public:
    Test() {
        std::cout << "Test构造函数被调用" << std::endl;
    }
    ~Test() {
        std::cout << "Test析构函数被调用" << std::endl;
    }
};

int main() {
    Test* p = new Test();
    // 输出顺序永远固定：先打印自定义operator new的日志，再打印构造函数的日志
    delete p;
    // 输出顺序永远固定：先打印析构函数的日志，再调用operator delete释放内存
    return 0;
}

这段描述的核心含义 #

本质是帮你厘清两个完全不同层级的概念，避免混淆：

1. new/delete表达式：是C++语言层面规定的语法结构，执行流程是固定的，用户完全没有修改权限，不存在「重载new/delete表达式」的说法。
2. operator new/operator delete函数：是new/delete表达式执行流程中，负责内存分配/释放的底层函数，用户可以重载自定义这两个函数的内存操作逻辑，但仅此而已，没法影响表达式的上层固定流程。

内容的提问来源于stack exchange，提问作者Itachi Uchiwa