Question

为什么某些运算符只能作为成员函数重载，其他作为非成员“自由”函数，其余的作为两者？

这些背后的理由是什么？

如何记住哪些运营商可以超载（成员，免费或两者）？

Answer 1

该问题列出了三类运营商。我认为，将它们放在一个列表中有助于理解为什么一些运营商在可以超载的地方受到限制：

必须作为成员重载的运营商。这些是相当少的：
1. 作业operator=()。允许非成员分配似乎为操作员劫持任务打开了大门，例如，通过重载不同版本的const资格。鉴于赋值运算符相当基础，似乎是不可取的。
2. 函数调用operator()()。函数调用和重载规则足够复杂。通过允许非成员函数调用操作符来进一步使规则复杂化似乎是不明智的。
3. 下标operator[]()。使用有趣的索引类型似乎可能会干扰对运营商的访问。虽然劫持超载几乎没有什么危险，但似乎并没有多大的好处，但写出高度非显而易见的代码的潜力很大。
4. 班级成员访问operator->()。副手我无法看到任何非运营商超载此运营商的行为。另一方面，我也看不到任何。此外，类成员访问操作符具有相当特殊的规则，并且潜在的重载干扰这些似乎是不必要的复杂化。
5. 必须作为非成员函数重载的运算符。
  1. 用户定义的文字operator"" name()
  2. 问题中没有提到，但也有运营商根本无法超载：
    1. 成员选择器.
    2. 指向成员的对象访问运算符.*
    3. 范围运算符::
    4. 三元运算符?:
    5. 可以作为成员或非成员重载的运营商。这是大部分运营商：
      1. 前后增量/减少operator++()，operator--()，operator++(int)，operator--(int)
      2. [一元]解除引用operator*()
      3. operator&()
      4. [一元]签署operator+()，operator-()
      5. 逻辑否定operator!()（或operator not()）
      6. 按位反转operator~()（或operator compl()）
      7. 比较operator==()，operator!=()，operator<()，operator>()，operator<=()和operator>()
      8. [二元]算术operator+()，operator-()，operator*()，operator/()，operator%()
      9. [二进制]按位operator&()（或operator bitand()），operator|()（或operator bit_or()），operator^()（或operator xor()）< / LI>
      10. 按位移位operator<<()和operator>>()
      11. 逻辑operator||()（或operator or()）和operator&&()（或operator and()）
      12. 操作/作业operator@=()（@是合适的操作符号（）
      13. 序列operator,()（重载实际上会杀死序列属性！）
      14. 指针指向成员访问operator->*()
      15. 内存管理operator new()，operator new[]()，operator new[]()和operator delete[]()

Answer 2

基本原理是它们不是非成员是没有意义的，因为运算符左侧的东西必须是类实例。

例如，假设一个A类

A a1;
..
a1 = 42;

最后一句话实际上是这样的一个电话：

a1.operator=(42);

对于的LHS上的内容没有意义。不是A的实例，因此该函数必须是成员。

Answer 3

因为您无法修改基本类型的语义。定义operator=如何在int上工作，如何使用指针或数组访问如何工作是没有意义的。

Answer 4

这是一个例子：当您为<< operator class T重载时，签名将为：

std::ostream operator<<(std::ostream& os, T& objT )

实施需要

{
//write objT to the os
return os;
}

对于<<运算符，第一个参数需要是ostream对象，第二个参数需要是类T对象。

如果您尝试将operator<<定义为成员函数，则不允许将其定义为std::ostream operator<<(std::ostream& os, T& objT)。这是因为二元运算符成员函数只能接受一个参数，并且使用this将调用对象作为第一个参数隐式传入。

如果您使用std::ostream operator<<(std::ostream& os)签名作为成员函数，您实际上最终会得到一个成员函数std::ostream operator<<(this, std::ostream& os)，它将无法执行您想要的操作。因此，您需要一个不是成员函数的运算符，并且可以访问成员数据（如果您的类T具有要传输的私有数据，operator<<需要成为T类的朋友）。

为什么某些运算符只能作为成员函数重载，其他作为友元函数，其余的作为两者？

4 个答案: