SICStus Prolog读取空文件时end_of_stream状态异常问题问询

当前目录下存在一个名为empty的空文件，使用SICStus Prolog 4.7.1（Intel x86-64）执行如下查询：

| ?- open(empty,read,S,[eof_action(eof_code)]), 
     stream_property(S,end_of_stream(EOS0)),
     peek_char(S,_), stream_property(S,end_of_stream(EOS1)),
     get_char(S,_),  stream_property(S,end_of_stream(EOS2)),
     peek_char(S,_), stream_property(S,end_of_stream(EOS3)),
     peek_char(S,_), stream_property(S,end_of_stream(EOS4)),
     close(S).

查询结果显示EOS0=not，EOS1=at，EOS2=past，EOS3=at，EOS4=at。已知peek_char/2和get_char/2会使end_of_stream/1的状态从not变为at再到past，但调用get_char/2进入past状态后，再次调用peek_char/2却将状态变回at，而非保持past，请问该现象的原因是什么？

原因解释 #

这是由你打开流时指定的eof_action(eof_code)选项，以及SICStus Prolog对EOF状态的处理逻辑共同决定的：

• 初始状态EOS0=not：流尚未接触到EOF，处于正常可读状态。
• 第一次peek_char/2触发EOS1=at：探查空文件内容时，直接定位到EOF位置，流状态变为at（表示当前指针正处于EOF处）。
• get_char/2触发EOS2=past：尝试读取字符时，因为没有内容可读取，流指针越过EOF位置，状态变为past（表示已经越过EOF）。
• 再次peek_char/2触发EOS3=at：peek_char/2的行为是探查当前指针位置的下一个字符，当流处于past状态时，这个操作会将指针回退到逻辑上的EOF位置（而非停在越过的位置），重新探查后发现仍处于EOF处，因此状态变回at。
• 后续peek_char/2保持EOS4=at：此时指针已经在EOF位置，重复探查操作不会改变这个状态，因此保持at。

简单来说，eof_action(eof_code)选项允许流在进入past状态后，通过探查类操作（如peek_char/2）回到at状态——因为流并未被关闭，仍可重新检查EOF的位置。如果使用默认的eof_action(error)选项，进入past状态后再执行操作会直接报错，不会出现这种状态回退的情况。

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