极客笔记为什么覆盖全局new操作符和类特定操作符不会产生歧义？
在编程中，我们经常会使用new操作符来创建对象。在C++语言中，new操作符被重载，允许程序员在自己所编写的类中定义一个专用的版本。这种能力使得程序代码更加灵活，但如果不正确使用new操作符会引起程序中的内存泄露，进而导致程序错误。而覆盖全局new操作符和类特定操作符似乎容易引发歧义。那么，为什么不会出现歧义呢？
全局new操作符与类特定操作符
在C++中，使用new操作符可以动态地分配内存，并返回指向新分配空间的指针。语法格式如下：
ptr = new data_type;
其中，ptr是指向分配的空间的指针，data_type是要分配的数据类型。使用完分配的内存后，可以使用delete释放内存。
在C++中，可以重载new操作符以支持数据类型自己的内存分配函数，从而实现在对象创建时执行自定义代码。C++语言允许程序员覆盖全局new操作符和类特定操作符，以扩展new操作符提供的功能。类特定操作符可以被重载为静态类成员函数或全局函数，例如：
class A {
public:
static void* operator new(size_t size);
static void operator delete(void* ptr);
};
在该代码中，new操作符被重载为A类内的静态成员函数。此时new的返回值必须是void 的指针类型。
类特定操作符提供了一种将自定义内存分配函数与特定对象类型相关联的方法。如果相同的特定操作符被类（如A）和全局作用域同时定义，编译器会通过参数类型的匹配判断使用哪个new操作符。
为什么不会出现歧义
在C++中，任何重载的操作符都必须具有与其原始语义一致的语义。这意味着，如果两个重载的操作符拥有相同的参数数量和类型，它们必须按照相同的方式解析，才能保证程序的可靠性和正确性。
同时，C++11引入了一个名为noexcept的关键字，它指示一个函数在运行时不会引发异常。使用此关键字可以提高程序的效率和稳定性。当我们通过覆盖全局new操作符和类特定操作符来实现自己的内存分配函数时，我们可以在重载方法的声明或实现中使用noexcept来表明它们是否会引发异常。
如果重载的操作符具有不兼容的语义，那么编译器将无法确定应该使用哪个版本。例如，如果我们定义了以下两个操作符：
void* operator new(size_t);
void* operator new(size_t, void*);
第一个操作符表示分配新的内存；第二个操作符表示在给定位置分配内存。这两个操作符有相同的参数数量和类型，但它们的语义不同。这种情况下，编译器将无法确定应该使用哪个操作符。在这种情况下，编译器将发出编译错误并拒绝编译程序。
考虑以下代码例子：
#include <iostream>
class Test {
public:
void* operator new(size_t size) noexcept {
std::cout << "Test new" << std::endl;
return ::operator new(size);
}
void operator delete(void* ptr) noexcept {
std::cout << "Test delete" << std::endl;
::operator delete(ptr);
}
};
int main() {
Test* t = new Test();
delete t;
return 0;
}
在该例子中，我们定义了一个Test类，并重载了其new操作符和delete操作符。当我们使用new操作符创建一个Test类型的对象时，编译器将自动使用Test类内定义的new操作符。当我们通过delete释放Test类对象的内存时，编译器将自动使用Test类内定义的delete操作符。
通过本例子可以看出，虽然覆盖全局new操作符和类特定操作符引入了更多的复杂性，但只要重载操作符具有与其原始语义一致的语义，并遵循C++语言的相关规定和要求，就不会出现歧义。
结论
覆盖全局new操作符和类特定操作符不会产生歧义的核心原因在于：C++语言规定了重载操作符必须具有与其原始语义一致的语义，并遵循相关规定和要求。在实现自己的内存分配函数时，合理地利用noexcept关键字也可以提高程序的效率和稳定性。因此，我们可以放心地覆盖全局new操作符和类特定操作符，以实现程序的更多功能。