为什么我们要向 ostream 对象发送 ref 太 ostream 重载？

Question

当我们想要创建一个特定于类的 ostream 对象时，我没有得到这种编写实现方式背后的直觉。

friend ostream& operator<<(ostream& out, Object& obj);

它有这样的用途。在使用 with 运算符重载时，它被传递一个参数。但在定义过程中，我们将 ostream& out 作为第一个参数。它是如何在后台传递第一个参数的？这是一种我不知道的发送参数的隐式方式吗？最后，被引用的 out 对象存储在哪里？它是一个全局变量，被重载的函数自动调用吗？

cout << obj

Answer 1

friend ostream& operator<<(ostream& out, Object& obj);

是二元运算符（如+、-、...）。它需要 2 个操作数并返回一些东西。

在这种情况下是

auto result = operand1 << operand2;

result 是 operand1（原来的 ostream）

就像

int operator+(int operand1, int operand2);
int result = operand1 + operand2;

顺便说一句。你不是在创建一个

类特定的 ostream 对象

您只是为您的用户定义类型定义流式操作符，以使用 ostreams。所以你定义了当你写像some_ostream << myObject;这样的表达式时应该发生什么 std::ostream 并不神奇地知道如何处理您的类，因此您必须为您的类型定义该运算符才能使用它。

编辑：

作为“SM”在评论中指出，此运算符应返回原始 std::ostream&（左操作数）的原因是，您可以将调用链接到此运算符：

std::cout << myObj1 << " foo " << myObj2 << " bar ";

可以读作：

(((std::cout << myObj1) << " foo ") << myObj2) << " bar ";

并且等价于：

std::cout << myObj1;
std::cout << " foo ";
std::cout << myObj2;
std::cout << " bar ";

真的应该这样

friend ostream& operator<<(ostream& out, const Object& obj); // const

因为 1. 您不应该操纵该对象，并且 2. 您希望能够将其与 const 对象一起使用