运算符重载 C++ - 重载输出“<<”运算符

Question

我刚刚开始学习基本的 C++ 语法，我对遇到的一段代码有点困惑。

对于创建的名为 MyString 的类，有一个运算符重载定义为：

ostream& operator<<(ostream& os, const MyString& s)
{
    os << s.data;
    return os;
}

然后在一些驱动函数中声明：

cout << s3 << endl;

已运行，其中 s3 是对象类型 MyString。结果打印出 s3 的值。

我不太明白这个语句的作用。在弄乱它之后，似乎调用了一次复制构造函数，然后解构了 3 个对象。这条线究竟是如何工作的？似乎操作员接受对 ostream 和 MyString 的引用，但 endl 也不是吗？另外，当使用了两个“

Answer 1

这是一个非常笼统的问题，但我会尽力消除您的误解。

当您说ostream& operator<<(ostream& os, const MyString& s) { ... } 时，您只是定义了一个函数，该函数将ostream& 作为第一个参数，将const Mystring& 作为第二个参数，并返回一个ostream&。该函数恰好名为operator<<，可以通过简写语法x << y调用operator<<(x, y)。

当你做cout << s3 << endl;时，它和做operator<<(operator<<(cout, s3), endl);是一样的。

此代码中没有调用MyString 的复制构造函数和析构函数。您看到的消息来自其他地方。

Answer 2

你可以分解一下：

cout // this is the ostream your inserting to (stdout)
  << s3 // this calls your defined operator that writes s.data
  << endl; // this calls the operator<< for std::endl

ostream& operator<<(ostream& os, const MyString& s)
{
    // here os is the ostream (stdout) you're using via cout
    // s is s3 that you passed in
    os << s.data; // this calls operator<< for data
    return os; // this returns the reference so the subsequent call to << endl can append to the stream
}

Answer 3

调用此语句不需要 MyString 复制构造函数，因为 MyString 是作为对自定义运算符的引用传递的

endl 不发送给自定义操作符

Answer 4

我猜你的编译器可以为 cout 生成复制构造函数。流是一个相当复杂的对象，但 C++ 的选择是提供这样的语法糖（如内联构造函数）来抽象一些细节。其他答案已经指出了使用引用不复制参数传递的要点。

Answer 5

语言规则说，如果在与 MyString 相同的命名空间中定义了一个非成员函数（运算符