新的 __LINE__ 何时开始？

Question

我不明白以下程序的输出：

#include <iostream>

#define FOO std::cout << __LINE__ << ' ' \
                      << __LINE__ << '\n';
int main()
{
    FOO

    std::cout << __LINE__ << ' ' \
              << __LINE__ << '\n';
}

第一个输出是7和7，表明FOO的扩展是单个逻辑行，但第二个输出是 9 和 10，表示两个不同的逻辑行。为什么会有差异？

Answer 1

因为

1:  #include <iostream>
2: 
3:  #define FOO std::cout << __LINE__ << ' ' \
4:                        << __LINE__ << '\n';
5:  int main()
6:  {
7:      FOO // the first two __LINE__s come from here, that's one line of code
8: 
9:      std::cout << __LINE__ << ' ' \ // 3rd __LINE__ comes from here
10:              << __LINE__ << '\n'; // 4th __LINE__ comes from here
11: }

__LINE__ 扩展为物理行，而不是逻辑行：

当前源代码行的行号比将源文件处理为当前标记时在翻译阶段 1 (2.2) 中读取或引入的换行符数量大 1。< /p>

虽然以 \ 结尾的行在翻译阶段 2 中连接起来。

另一个唯一的逻辑实现是打印 3 和 4 来调用 FOO，但这似乎不是很有用。

您还可以按以下方式查看：__LINE__ 与任何其他宏没有任何不同。它只是由编译器在每一行的开头自动更新。所以代码是这样解释的：

#include <iostream>

#define __LINE__ 3
#define FOO std::cout << __LINE__ << ' ' \
                      << __LINE__ << '\n';
int main()
{
#define __LINE__ 7
    FOO

#define __LINE__ 9
    std::cout << __LINE__ << ' ' \ // Yeah, you're right
#define __LINE__ 10
             << __LINE__ << '\n';
}

这不是有效的代码，但它演示了事情是如何工作的。应用通常的宏扩展规则，您将得到您所得到的输出。

Answer 2

导致您在 #define 语句中定义的语句始终计算为一行。然而，第二种情况实际上是两行代码。

Answer 3

因为 #define 扩展包含黑客技术，以确保 __LINE__ 是“调用”宏的地方。否则很多错误消息对用户来说毫无意义。

Answer 4

替换 Foo 需要评估预定义指令 __LINE __ 。据我了解，这是因为，没有第二个预处理过程来评估 __LINE __ 。

因此 _ _LINE _ _ 是根据 Foo 展开的行（即第 7 行）进行评估的。

代码中后续行中 _ _LINE __ 的使用实际上是在预处理阶段根据确切的行号进行评估的它出现在翻译单元的源代码中。