io - STD_FILES中read_character和last_character接口

Question

根据std_files.e我发现的，read_characterrequires not end_of_file，但它没有指定任何后置条件；并且 last_character没有任何先决条件。因此，如果您在调用last_character之前先调用会发生什么read_character？

Answer 1

last_character'%U'除非有一些不寻常的代码，否则将给出默认值，例如重新定义此功能或访问对象并input在STD_FILES不使用的情况下读取某些内容的代码STD_FILES等。