getline未返回EOF而是跳转至下一个文件的合规性问询

标准规定与设计合理性 #

根据POSIX和Gawk文档的官方规定，getline应当从当前输入文件读取内容，遇到文件结束符（EOF）时返回0。这个设计逻辑合理：数据按文件划分本身就有业务或结构上的原因，适合用getline处理的结构化信息通常不会跨文件边界，保留EOF判断能让语言更具表达性。

主流实现的实际偏差 #

但GNU awk和macOS/BSD awk的实际行为都偏离了标准：

• 它们会自动隐藏当前文件的EOF，直接打开下一个输入文件继续读取
• 读取过程中还会更新FILENAME变量，但该变量并不在POSIX或Gawk文档指定的getline受影响变量列表中
• 查看源码可以发现，这不是疏漏，而是两类实现都特意做了跨文件跳转的处理，这和指定了I/O句柄的getline分支逻辑完全不同——尤其是Gawk文档描述详尽却和实际行为相悖，显得格外怪异

已知的临时解决方案 #

目前唯一可行的处理方式是：确保每个输入文件的首行可以忽略，通过检测FNR重置为1的时机来判断文件切换。但这个操作十分繁琐，对输入数据有额外要求。

问题本质：历史兼容性导致的文档-实现脱节 #

这不是你忽略了细节，而是Awk领域已知的历史兼容性问题。早期awk版本就默认让getline跨文件读取，大量旧脚本依赖这个行为。后来POSIX标准化时虽然试图明确getline的边界行为，但主流实现为了兼容存量脚本，保留了跨文件读取的逻辑，最终导致文档描述和实际表现脱节。这种“标准与实现不一致”的情况在Awk中不算罕见，很多行为都是从早期版本继承而来，标准化过程没能完全统一所有细节。

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