awk中NR==FNR后有无分号导致执行行为差异问题咨询

• GNU Awk 版本：5.0.1，关联依赖GNU MPFR 4.0.2、GNU MP 6.2.0
• 操作系统：Windows 11 x64 搭载WSL2，内核版本5.10.102.1-microsoft-standard-WSL2

本次测试的两组Awk命令唯一差异为：第二组命令的NR==FNR判断后多了一个分号（;）。

测试命令与输出表现 #

1. 示例1命令：

awk 'NR==FNR { print $0 }' lines_to_show.txt all_lines.txt

实际输出仅为lines_to_show.txt内的5行内容（2、3、4、5、7），与预期输出两个文件共15行的结果不符。
2. 示例2命令：

awk 'NR==FNR; { print $0 }' lines_to_show.txt all_lines.txt

实际输出中lines_to_show.txt的内容重复出现，同时完整输出了all_lines.txt的10行内容。

测试文件生成命令 #

• 生成lines_to_show.txt：

echo -e "2\n3\n4\n5\n7" > lines_to_show.txt

• 生成all_lines.txt：

echo -e "line\t-01\nline\t-02\nline\t-03\nline\t-04\nline\t-05\nline\t-06\nline\t-07\nline\t-08\nline\t-09\nline\t-10" > all_lines.txt

1. Awk语法解析规则，分号为何会改变执行逻辑 #

Awk的核心程序结构是**模式 { 动作 }** 对，和C语言的语法逻辑有本质区别：

• 每一条Awk规则由匹配模式、对应执行动作两部分组成：如果动作部分缺省，默认执行print $0（打印当前整行）；如果模式部分缺省，默认匹配所有输入行。
• 分号是Awk的规则/语句分隔符，用来拆分两个独立的语法单元，不是无意义的语句终止符。你之前认为分号不影响执行逻辑，是错误套用了C语言的语法规则，这里的分号直接将原本绑定的模式和动作拆成了两个独立规则，自然会改变执行逻辑。

2. 示例2输出重复的原理 #

示例2的程序NR==FNR; { print $0 }被分号拆成了两条独立规则：

• 第一条规则：匹配模式为NR==FNR，未写动作，触发时默认打印当前行
• 第二条规则：未写匹配模式（等价于恒真，匹配所有行），动作为{ print $0 }，触发时打印当前行
  执行流程如下：

1. 处理第一个文件lines_to_show.txt的5行时，全局行号NR和当前文件内行号FNR数值相等，NR==FNR条件成立：第一条规则触发默认打印，输出当前行；第二条规则匹配所有行，也触发打印，再输出一次当前行。因此第一个文件的每一行都会被打印两次，出现内容重复的现象。
2. 处理第二个文件all_lines.txt的10行时，FNR从1重新计数，NR从6继续累加，NR==FNR条件永远不成立，第一条规则不触发；仅第二条规则生效，打印第二个文件的所有10行。
   该现象和all_lines.txt的行数无直接关联，是Awk缺省规则导致的必然结果。

3. 示例1仅输出第一个文件内容的原因 #

示例1的程序NR==FNR { print $0 }是一条完整的Awk规则：

• 匹配模式为NR==FNR：NR是Awk内置的全局累计记录（行）数，从1开始随输入逐行累加；FNR是当前文件内的记录数，每次切换输入文件时会重置为1。因此NR==FNR这个条件仅在处理第一个输入文件时成立，切换到第二个文件后，两个数值永远不相等，模式匹配失败。
• 绑定的动作是{ print $0 }：该动作仅在模式匹配成功时才会执行，因此只会打印第一个文件lines_to_show.txt的5行内容，不会处理第二个文件的行。你预期输出两个文件所有行，是误以为{ print $0 }会对所有输入行生效，实际上它被绑定在NR==FNR的模式上，仅在匹配时执行。

内容的提问来源于stack exchange，提问作者Backspace Mild