C中运算符重载的一般语法++

您不能更改C++中内置类型的运算符的含义，只能为用户定义的类型重载运算符1。也就是说，至少有一个操作数必须是用户定义的类型。与其他重载函数一样，运算符只能为某组参数重载一次。

并非所有的运算符都可以在C++中重载。不能重载的运算符包括：.：：sizeof typeid.*和C++中唯一的三元运算符，？：

在C++中可以重载的运算符有：

算术运算符：+-*/%和+=-=*=/=%=（所有二进制中缀）；+-（一元前缀）；++--（一元前缀和后缀）位操作：&|^<<>>和&=|=^=<<>>=（所有二进制中缀）；~（一元前缀）布尔代数：==！=<><>=|&&&（所有二进制中缀）！（一元前缀）内存管理：新建[]删除删除[]隐式转换运算符杂项：=[]->->*，（所有二进制中缀）；*&（全一元前缀）（）（函数调用，n元中缀）

然而，您可以重载所有这些并不意味着您应该这样做。请参阅运算符重载的基本规则。

在C++中，运算符以具有特殊名称的函数的形式重载。与其他函数一样，重载运算符通常可以实现为其左操作数类型的成员函数或非成员函数。您是否可以自由选择或绑定使用其中一个取决于几个条件。2应用于对象x的一元运算符@3被调用为运算符@（x）或x.operator@（）。应用于对象x和y的二进制中缀运算符@被调用为操作符@（x，y）或x.运算符@（y）。4

作为非成员函数实现的运算符有时是其操作数类型的朋友。

1“用户定义”一词可能有点误导。C++区分了内置类型和用户定义类型。前者属于例如int、char和double；所有struct、class、union和enum类型都属于后者，包括标准库中的类型，即使它们本身不是由用户定义的。

2这将在本常见问题解答的后面部分介绍。

3@在C++中不是有效的运算符，这就是为什么我将它用作占位符。

C++中唯一的三元运算符不能重载，唯一的n元运算符必须始终作为成员函数实现。

继续学习C++中运算符重载的三个基本规则。

C中运算符重载的一般语法++

您不能更改C++中内置类型的运算符的含义，只能为用户定义的类型重载运算符1。也就是说，至少有一个操作数必须是用户定义的类型。与其他重载函数一样，运算符只能为某组参数重载一次。

并非所有的运算符都可以在C++中重载。不能重载的运算符包括：.：：sizeof typeid.*和C++中唯一的三元运算符，？：

在C++中可以重载的运算符有：

算术运算符：+-*/%和+=-=*=/=%=（所有二进制中缀）；+-（一元前缀）；++--（一元前缀和后缀）位操作：&|^<<>>和&=|=^=<<>>=（所有二进制中缀）；~（一元前缀）布尔代数：==！=<><>=|&&&（所有二进制中缀）！（一元前缀）内存管理：新建[]删除删除[]隐式转换运算符杂项：=[]->->*，（所有二进制中缀）；*&（全一元前缀）（）（函数调用，n元中缀）

然而，您可以重载所有这些并不意味着您应该这样做。请参阅运算符重载的基本规则。

在C++中，运算符以具有特殊名称的函数的形式重载。与其他函数一样，重载运算符通常可以实现为其左操作数类型的成员函数或非成员函数。您是否可以自由选择或绑定使用其中一个取决于几个条件。2应用于对象x的一元运算符@3被调用为运算符@（x）或x.operator@（）。应用于对象x和y的二进制中缀运算符@被调用为操作符@（x，y）或x.运算符@（y）。4

作为非成员函数实现的运算符有时是其操作数类型的朋友。

1“用户定义”一词可能有点误导。C++区分了内置类型和用户定义类型。前者属于例如int、char和double；所有struct、class、union和enum类型都属于后者，包括标准库中的类型，即使它们本身不是由用户定义的。

2这将在本常见问题解答的后面部分介绍。

3@在C++中不是有效的运算符，这就是为什么我将它用作占位符。

C++中唯一的三元运算符不能重载，唯一的n元运算符必须始终作为成员函数实现。

继续学习C++中运算符重载的三个基本规则。

C语言中运算符重载的三个基本规则++

当谈到C++中的运算符重载时，您应该遵循三个基本规则。与所有这些规则一样，确实有例外。有时，人们偏离了这些准则，其结果并不坏，但这种积极的偏离很少。至少，我所看到的100个这种偏差中有99个是不合理的。然而，它也可能是千分之999。所以你最好遵守以下规则。

每当运算符的含义不明显且无可争议时，它就不应过载。相反，请提供一个具有精心选择的名称的函数。基本上，重载运算符的首要原则是：不要这样做。这可能看起来很奇怪，因为关于运算符重载有很多事情要知道，所以很多文章、书籍章节和其他文本都涉及到这一切。但是，尽管有这些看似明显的证据，但只有极少数情况下运算符重载是合适的。原因是，实际上很难理解运算符应用程序背后的语义，除非在应用程序域中使用运算符是众所周知且无可争议的。与人们普遍的看法相反，事实并非如此。始终遵循运算符众所周知的语义。C++对重载运算符的语义没有任何限制。编译器将乐于接受实现二进制+运算符的代码，以从其右操作数中减去。然而，这样的运算符的用户永远不会怀疑表达式a+b会从b中减去a。当然，这假设应用程序域中运算符的语义是无可争议的。始终提供一组相关操作中的所有操作。操作员相互关联，并与其他操作相关。如果您的类型支持a+b，用户也可以调用a+=b。如果它支持前缀increment++a，那么他们也希望a++也能工作。如果他们能检查a是否＜b，他们肯定也会检查a是否＞b。如果他们能复制构造你的类型，他们希望赋值也能起作用。

继续执行成员与非成员之间的决定。

转换运算符（也称为用户定义转换）

在C++中，您可以创建转换运算符，这些运算符允许编译器在您的类型和其他定义的类型之间进行转换。转换运算符有两种类型，隐式和显式。

隐式转换运算符（C++98/C++03和C++11）

隐式转换运算符允许编译器将用户定义类型的值隐式转换（如int和long之间的转换）为其他类型。

下面是一个带有隐式转换运算符的简单类：

class my_string {
public:
  operator const char*() const {return data_;} // This is the conversion operator
private:
  const char* data_;
};

隐式转换运算符和单参数构造函数一样，都是用户定义的转换。当试图匹配对重载函数的调用时，编译器将授予一个用户定义的转换。

void f(const char*);

my_string str;
f(str); // same as f( str.operator const char*() )

一开始，这似乎非常有用，但问题是，隐式转换甚至在不需要时开始。在以下代码中，将调用void f（const char*），因为my_string（）不是左值，因此第一个不匹配：

void f(my_string&);
void f(const char*);

f(my_string());

初学者很容易误解这一点，即使是有经验的C++程序员有时也会感到惊讶，因为编译器选择了他们没有怀疑的重载。这些问题可以通过显式转换运算符来缓解。

显式转换运算符（C++11）

与隐式转换运算符不同，显式转换运算符不会在您不期望的时候出现。以下是一个带有显式转换操作符的简单类：

class my_string {
public:
  explicit operator const char*() const {return data_;}
private:
  const char* data_;
};

请注意显式。现在，当您尝试从隐式转换运算符执行意外代码时，会出现编译器错误：

prog.cpp: In function ‘int main()’:
prog.cpp:15:18: error: no matching function for call to ‘f(my_string)’
prog.cpp:15:18: note: candidates are:
prog.cpp:11:10: note: void f(my_string&)
prog.cpp:11:10: note:   no known conversion for argument 1 from ‘my_string’ to ‘my_string&’
prog.cpp:12:10: note: void f(const char*)
prog.cpp:12:10: note:   no known conversion for argument 1 from ‘my_string’ to ‘const char*’

要调用显式转换运算符，必须使用static_cast、C样式转换或构造函数样式转换（即T（value））。

然而，有一个例外：允许编译器隐式转换为bool。此外，编译器在转换为bool后不允许再进行一次隐式转换（编译器一次允许进行2次隐式转化，但最多只能进行1次用户定义的转化）。

因为编译器不会抛出“过去”布尔值，所以显式转换运算符现在不再需要安全布尔值习惯用法。例如，C++11之前的智能指针使用安全布尔习惯用法来防止转换为整型。在C++11中，智能指针改用显式运算符，因为编译器在将类型显式转换为bool后，不允许隐式转换为整型。

继续重载新建和删除。

重载新建和删除运算符

注意：这只处理重载new和delete的语法，而不处理此类重载运算符的实现。我认为重载new和delete的语义应该有自己的常见问题解答，在运算符重载的主题中，我永远无法做到这一点。

基础

在C++中，当您编写像new T（arg）这样的新表达式时，在计算该表达式时会发生两件事：首先调用运算符new以获取原始内存，然后调用T的适当构造函数以将该原始内存转换为有效对象。同样，当您删除一个对象时，首先调用其析构函数，然后将内存返回给delete运算符。C++允许您调整这两个操作：内存管理和在分配的内存中构造/销毁对象。后者是通过为类编写构造函数和析构函数来实现的。微调内存管理是通过编写自己的运算符new和运算符delete来完成的。

运算符重载的第一个基本规则——不要这样做——尤其适用于重载new和delete。导致这些运算符过载的几乎唯一原因是性能问题和内存限制，在许多情况下，其他操作（如对所用算法的更改）将提供比试图调整内存管理高得多的成本/收益比。

C++标准库附带一组预定义的新建和删除运算符。最重要的是：

void* operator new(std::size_t) throw(std::bad_alloc); 
void  operator delete(void*) throw(); 
void* operator new[](std::size_t) throw(std::bad_alloc); 
void  operator delete[](void*) throw(); 

前两个为对象分配/解除分配内存，后两个为一个对象数组。如果您提供自己的版本，它们将不会过载，而是替换标准库中的版本。如果重载运算符new，则应始终重载匹配的运算符delete，即使您从未打算调用它。原因是，如果构造函数在计算新表达式时抛出，则运行时系统会将内存返回给运算符delete，该运算符delete与被调用以分配内存以在其中创建对象的运算符new相匹配。如果不提供匹配的delete运算符，则会调用默认的delete，这几乎总是错误的。如果重载new和delete，也应该考虑重载数组变量。

放置新的

C++允许new和delete运算符接受额外的参数。所谓的placement new允许您在某个地址创建一个对象，该地址将传递给：

class X { /* ... */ };
char buffer[ sizeof(X) ];
void f()
{ 
  X* p = new(buffer) X(/*...*/);
  // ... 
  p->~X(); // call destructor 
} 

标准库附带了相应的new和delete运算符重载：

void* operator new(std::size_t,void* p) throw(std::bad_alloc); 
void  operator delete(void* p,void*) throw(); 
void* operator new[](std::size_t,void* p) throw(std::bad_alloc); 
void  operator delete[](void* p,void*) throw(); 

注意，在上面给出的放置new的示例代码中，除非X的构造函数抛出异常，否则永远不会调用运算符delete。

还可以使用其他参数重载new和delete。与放置new的附加参数一样，这些参数也列在关键字new之后的括号内。仅仅出于历史原因，这种变体通常也被称为新放置，即使它们的参数不是用于将对象放置在特定地址。

类特定的新建和删除

最常见的情况是，您需要对内存管理进行微调，因为测量表明，特定类或一组相关类的实例经常被创建和销毁，而运行时系统的默认内存管理（针对一般性能进行了调整）在这种特定情况下处理效率低下。为了改进这一点，可以为特定类重载new和delete：

class my_class { 
  public: 
    // ... 
    void* operator new(std::size_t);
    void  operator delete(void*);
    void* operator new[](std::size_t);
    void  operator delete[](void*);
    // ...  
}; 

因此重载后，new和delete的行为类似于静态成员函数。对于my_class的对象，std:：size_t参数将始终为sizeof（my_class）。然而，对于派生类的动态分配对象，也会调用这些运算符，在这种情况下，它可能会更大。

全局新建和删除

要重载全局new和delete，只需将标准库的预定义运算符替换为我们自己的运算符即可。然而，很少需要这样做。

成员与非成员之间的决定

二进制运算符=（赋值）、[]（数组订阅）、->（成员访问）以及n元（）（函数调用）运算符必须始终作为成员函数实现，因为语言的语法要求它们实现。

其他运算符可以作为成员或非成员实现。然而，其中一些函数通常必须实现为非成员函数，因为您无法修改它们的左操作数。其中最突出的是输入和输出运算符<<and>>，其左操作数是标准库中的流类，您无法更改。

对于必须选择将其作为成员函数或非成员函数实现的所有运算符，请使用以下经验规则来决定：

如果它是一元运算符，请将其实现为成员函数。如果二进制运算符对两个操作数一视同仁（保持不变），则将此运算符作为非成员函数实现。如果一个二元运算符不能平等对待两个操作数（通常它会改变其左操作数），如果它必须访问操作数的私有部分，则将其设置为左操作数类型的成员函数可能会很有用。

当然，与所有经验法则一样，也有例外。如果你有一个类型

enum Month {Jan, Feb, ..., Nov, Dec}

如果要重载它的递增和递减运算符，则不能将其作为成员函数，因为在C++中，枚举类型不能具有成员函数。所以你必须把它作为一个自由函数重载。嵌套在类模板中的类模板的运算符<（）在作为类定义中内联的成员函数时更容易编写和读取。但这些确实是罕见的例外。

（但是，如果发生异常，请不要忘记操作数的常量问题，对于成员函数，该操作数将成为隐式this参数。如果作为非成员函数的运算符将其最左边的参数作为常量引用，则作为成员函数的同一运算符需要在末尾有一个常量，以使*this成为常量引用。）

继续到“常用运算符”以重载。