编辑“︁C 语言行控制”︁

= C语言行控制（Line Control） =  
'''行控制'''是C语言预处理器的功能之一，允许开发者显式指定源代码的行号和文件名，主要用于调试和错误报告。它通过`#line`指令实现，通常用于代码生成工具（如Lex/Yacc）或宏展开后的调试信息修正。

== 基本语法 ==  
`#line`指令的基本格式如下：  
<syntaxhighlight lang="c">  
#line line_number "filename"  
</syntaxhighlight>  
* '''line_number'''：强制设置下一行的行号（必须为正整数）。  
* '''filename'''（可选）：指定后续代码所属的文件名（用双引号包裹）。若省略，则沿用之前的文件名。  

== 工作原理 ==  
编译器在生成错误或警告信息时，会依赖行号和文件名定位问题。`#line`指令直接修改编译器的内部行号计数器和文件名记录，从而影响：  
1. 调试信息（如GDB中的断点）。  
2. 编译器报错时的位置提示。  

=== 示例1：修改行号 ===  
<syntaxhighlight lang="c">  
#include <stdio.h>  

int main() {  
    printf("Original line: %d\n", __LINE__);  
#line 100  
    printf("After #line: %d\n", __LINE__);  // 输出101而非实际行号  
    return 0;  
}  
</syntaxhighlight>  
'''输出'''：  
<pre>  
Original line: 4  
After #line: 101  
</pre>  
**解释**：`__LINE__`宏返回当前行号，`#line 100`将下一行强制设置为100，因此后续行号递增。  

=== 示例2：修改文件名 ===  
<syntaxhighlight lang="c">  
#line 1 "fake_file.c"  
void foo() {  
    printf("Current file: %s, line: %d\n", __FILE__, __LINE__);  
}  
</syntaxhighlight>  
'''输出'''（假设在`main.c`中调用`foo()`）：  
<pre>  
Current file: fake_file.c, line: 2  
</pre>  

== 实际应用场景 ==  
=== 场景1：代码生成工具 ===  
Lex/Yacc生成的代码中常包含`#line`指令，将错误映射回原始输入文件而非临时文件。例如：  
<syntaxhighlight lang="c">  
/* Generated by Yacc */  
#line 1 "input.y"  
// 语法规则对应的C代码  
</syntaxhighlight>  

=== 场景2：宏调试 ===  
若宏展开后报错行号不直观，可用`#line`重置：  
<syntaxhighlight lang="c">  
#define ASSERT(x) \  
    if (!(x)) { \  
#line __LINE__ "original.c" \  
        fprintf(stderr, "Assert failed at line %d\n", __LINE__); \  
    }  

ASSERT(1 == 2);  // 错误信息指向调用处而非宏定义  
</syntaxhighlight>  

== 高级用法 ==  
=== 与编译器交互 ===  
某些编译器（如GCC）提供扩展选项`-dD`，可保留`#line`指令到预处理输出中。  

=== 数学公式辅助 ===  
行号修改对静态分析工具的影响可通过公式描述。设实际行号为<math>L</math>，偏移量为<math>\Delta</math>，则修正后行号为：  
<math>L' = L + \Delta</math>  

== 注意事项 ==  
* 过度使用`#line`可能导致调试困难。  
* 文件名参数需为有效字符串，否则可能引发未定义行为。  

== 总结 ==  
`#line`指令是预处理阶段控制代码位置信息的强大工具，尤其在自动化代码生成和复杂宏系统中不可或缺。正确使用可显著提升错误定位效率。

[[Category:编程语言]]
[[Category:C]]
[[Category:C 语言预处理器]]