小编Koa*_*ala的帖子

几分钟前我刚刚接过 Ada，所以如果这看起来是一个微不足道的问题，请原谅我。

如果输入以“”字符结尾，我的程序中有一个循环会导致结束错误。我的程序适用于正确的输入，但我试图捕捉一些边缘情况。

> echo "1 2 3 " | ./eofloop3a

raised ADA.IO_EXCEPTIONS.END_ERROR : a-textio.adb:506

有问题的循环

procedure fun1 is
   F : Integer;
begin
  while (not End_Of_File) loop
    Get(F);
  end loop;
end fun1;

为什么会发生这种情况，有没有办法防止读取越界？我在想 while 条件应该可以防止这种情况发生。