C语言结构

Question

为什么这有效

printf("Hello"
"World");

而

printf("Hello
""World");

无效？ ANSI C 连接相邻的字符串，这没问题……但这是另一回事。 这和C语言解析器有什么关系吗？ 谢谢

Answer 1

字符串必须在行尾之前终止。这是一件好事。否则，忘记的右引号可能会阻止后续代码行的执行。

这可能会花费大量时间进行调试。如今，语法着色可以提供线索，但早年有单色显示。

Answer 2

您无法在字符串文字中创建新行。这是我的 C 设计师做出的选择。在我看来，这是一个很好的功能。
但是，您可以这样做：

printf("Hello\
""World");

这会产生相同的结果。

Answer 3

C 语言是根据标记来定义的，其中一个标记是字符串文字（标准语言：s-char-sequence）。 s-char-sequences 以未转义的双引号开头和结尾，并且不得包含未转义的换行符。

相关标准 (C99) 引用：

> Syntax
>   string-literal:
>     " s-char-sequence(opt) "
>     L" s-char-sequence(opt) "
>   s-char-sequence:
>     s-char
>     s-char-sequence s-char
>   s-char:
>     any member of the source character set
>           except the double-quote ", backslash \,
>           or new-line character
>     escape-sequence

然而，转义换行符在称为行拼接的早期翻译阶段被删除，因此编译器永远无法解释它们。以下是相关标准（C99）引用：

翻译语法规则的优先级由以下阶段指定。

1. 如有必要，物理源文件多字节字符将以实现定义的方式映射到源字符集（引入换行符作为行尾指示符）。三字母序列被相应的单字符内部表示取代。
2. 紧接着换行符的每个反斜杠字符 (\) 实例都将被删除，从而拼接物理源代码行以形成逻辑源代码行。只有任何物理源行上的最后一个反斜杠才有资格成为此类拼接的一部分。非空的源文件应以换行符结尾，在发生任何此类拼接之前，换行符前面不应紧接反斜杠字符。
3. 源文件被分解为预处理标记6) 和序列
   空白字符（包括注释）。源文件不得以
   部分预处理标记或部分注释中。每个评论都被替换为
   一个空格字符。保留换行符。是否每个非空
   保留除换行符之外的一系列空白字符或将其替换为一个空格字符是实现定义的。
4. 执行预处理指令，扩展宏调用，并且
   _Pragma 一元运算符表达式被执行。如果一个字符序列
   匹配由 token 生成的通用字符名称的语法
   连接（6.10.3.3），行为未定义。 #include 预处理
   指令导致指定的头文件或源文件从第 1 阶段开始处理
   递归地完成第 4 阶段。然后删除所有预处理指令。
5. 字符常量和字符串文字中的每个源字符集成员和转义序列都转换为执行字符集的相应成员；如果没有相应的成员，则将其转换为除空（宽）字符之外的实现定义成员。7)
6. 相邻字符串文字标记被连接。
7. 分隔标记的空白字符不再重要。每个
   预处理token被转换成token。生成的令牌是
   作为一个翻译单元进行句法和语义分析和翻译。
8. 所有外部对象和函数引用均已解析。链接库组件以满足对当前翻译中未定义的函数和对象的外部引用。所有此类翻译器输出都被收集到程序映像中，该程序映像包含在其执行环境中执行所需的信息。