C++编译器如何在左移位/右移位和 ostream<</ostream>> 运算符之间区分？

How do C++ compilers distingush between shift bits left / shift bits right and ostream<< / ostream>> operators?

本文关键字：lt ostream gt 之间区 运算符 编译器 右移 左移 C++      更新时间：2023-10-16

我只是在写一些代码来吐出一个波头。我开始这样输入:

file << 0x52 << 0x49 << 0x46 << 0x46 << ...

这让我思考:编译器如何区分上述解释为以下形式:

file << 0x52; file << 0x49; file << 0x46; file << 0x46;

…这:

file << (0x52 << 0x49 << 0x46 << 0x46);

当然，还有这些运算符的所有可能的排列/组合。

我的猜测是，编译器不知何故知道第一个是正确的，第二个是错误的，但它遵循什么规则?

c++中的操作符具有优先级和结合性。

的表达式
a << b << c << d

被解释为

(因为<<是左结合的)
((a << b) << c) << d

因此，由于流的operator<<返回流本身，您可以获得"链式输出"外观。

例如，赋值操作符是右结合的，因此

a = b = c = d

被解释为

a = (b = (c = d))

注意，对于流使用<<操作符有一个微妙的事实，经常被c++新手误解。优先级和结合性规则只会影响结果，而不会影响计算结果的顺序。例如

std::cout << f() << g() << h();

有可能h()的评价发生在g()的评价之前。更糟糕的是，求值顺序的想法在c++中是错位的……因为在

std::cout << f(g()) << h(i());

调用的有效序列也是i, g, f, h。

简答:来自上下文。

长答:编写c++编译器是一项艰巨的任务，因为c++具有复杂的语义。
首先，如果operator<<没有为fstream s重载，那么该语句将无效。此外，由于ADL，我们以这种方式调用operator<<，否则它将是(当然这也是有效的)

std::operator<<(file, 0x52).operator<<(file, 0x49) [...]
相反，如果左侧是内置的，则不需要查看fstream来查找 之类的内容。
friend std::ofstream& operator<<(std::ofstream&, int)*

* unsigned int也可以匹配

作为内置类型(如unsigned int)的左移行为是定义良好的，而用户定义的类型则没有。

在本例中

file << (0x52 << 0x49 << 0x46 << 0x46);

括号中的表达式在 file <<之前被解释为，因为它的优先级高于file <<。

相关文章：