Forth文件IO处理疑问：scan-file单词无预期输出排查

问题背景 #

我在学习Forth语言的文件IO处理时，已完成copy-file等功能，但scan-file单词存在异常。

输入文件内容 #

我的foo.in输入文件内容如下：

$ cat foo.in
Hello world ...
Today is a beautiful day of November.
It is the 8th of November.
The text I search is here.
Actions speak louder than words.
$

编写的代码 #

以下是可正常运行的代码：

0 Value fd-in

256 Constant max-line
Create line-buffer  max-line 2 + allot

: open-input ( addr u -- )  r/o open-file throw to fd-in ;

: scan-file ( addr u -- )
begin
    line-buffer max-line fd-in read-line throw
while
    >r 2dup line-buffer r> compare 0=
until
else
drop
then
2drop ;

s" foo.in" open-input

问题现象 #

执行s" The text I search is here" scan-file后，仅返回ok且栈状态为空；更换任意搜索字符串，结果无变化，scan-file未执行有效操作。

该功能应有的表现 #

scan-file的设计逻辑应该是：从已打开的输入文件逐行读取内容，与传入的搜索字符串（栈参数addr u）匹配，找到匹配行后终止读取，并在栈上返回明确的匹配状态（比如返回1表示找到，0表示未找到）；若遍历完所有行仍未匹配，也需返回对应状态，而非清空栈无任何反馈。

排查方向 #

• 循环逻辑完全倒置：begin...while...until结构中，while的条件是继续循环的判定依据。当前代码中，匹配成功时compare 0=返回-1（Forth中true的表示），非零值会让while继续循环；只有匹配失败时返回0，才会终止循环——这和“找到匹配就停止”的预期完全相反。
• 栈操作混乱：read-line的栈效果是addr u fd -- n（n为读取的字符数，文件尾返回0），进入while时栈上是搜索addr 搜索u n。后续>r存n、2dup复制搜索参数、line-buffer r>取n的操作后，compare的参数顺序虽正确，但匹配结果的处理逻辑错误，导致无法触发终止。
• 无结果返回：代码末尾的2drop直接丢弃了传入的搜索字符串参数，无论是否找到匹配，栈都会被清空，自然看不到任何反馈。
• 文件指针未重置：若多次执行scan-file，文件指针可能停在文件末尾，后续读取直接返回文件尾，循环根本不会执行。需在每次扫描前重置指针（如fd-in reposition-file 0 throw）。
• 字符串匹配细节：需确认read-line是否保留换行符，若搜索字符串不含换行符但缓冲区中包含，会导致匹配失败；同时要检查行内容的首尾空格是否与搜索字符串完全一致。

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