c++ - 重载左移运算符

Question

我研究发现，当你想为 cout 重载输出流运算符时，正确的做法是这样做:

std::ostream& operator<<(std::ostream& os, const T& obj)

这个函数必须在类之外定义，因为这里发生的是 operator<< 实际上是 ostream 中定义的友元函数，而您正在使用它。但是，问题是，这个函数在 ostream 中究竟是如何定义的？由于此函数有两个参数，而第二个参数是用户定义的，因此他们无法猜测那里会发生什么。

特定类的重载应该如下所示:

std::ostream& operator<<(std::ostream& os, const MyClass& obj)

编译器/库如何为第二个参数采用泛型定义，特别是因为在 C++ 中没有泛型类(例如 Java 中的 Object)这样的东西？

Answer 1

我觉得你在这里很困惑:

the operator<< is actually a friend function defined in ostream and you are making use of that.

一个是真的operator <<在 class std::ostream 中定义.其实里面定义了好几个版本。但这些与我们无关。此外，它们不是 friend函数:根据定义，一个friend函数在其友元类之外定义。

但这与您定义的函数无关，因为您的 operator <<函数是一个单独的 重载，当您将您的类型的对象作为第二个参数传递给 << 的调用时，它会被调用。 (第一个参数是 std::ostream& )。

正如 TemplateRex 所解释的，找到合适函数的确切方法是通过参数相关查找。但更根本的是，您只需要知道有两种方法可以为给定的参数类型定义二元运算符 A和 B :

• 作为类内部的成员函数 A ，并且只有一个参数，类型为 B
• 作为一个有两个参数的自由函数，类型为 A和 B .

当您使用运算符时，这两个定义都是候选函数。 (但是有几个运算符，比如只能在类内部定义的复制赋值，不能在外部定义)。所以，回到你的问题:

how exactly is this function being defined in ostream? Since this function takes 2 parameters and the second parameter is user-defined, there is no way that they can guess what is coming there

答案是它没有在ostream中定义.唯一的定义是你的，而且是在外面。