如果输入以空格结尾，我如何防止此循环读取？

Question

几分钟前我刚刚接过 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 条件应该可以防止这种情况发生。

Answer 1

这是预期的结果。它会发生，因为“唯一的例外End_Error是传播的Get过程，如果试图跳过文件终止。” 在您的示例输入的上下文中，在Gethas read 之后3，End_Of_File仍然是False。Get然后“跳过任何前导空格”并在尝试读取“与数字文字语法匹配的最长可能字符序列”时遇到文件末尾。

一种解决方案是捕获异常并根据您的用例进行处理。例如，

procedure Fun1 is
   F : Integer;
begin
   while (not End_Of_File) loop
      Get (F);
   end loop;
exception
   when End_Error =>
      Put_Line ("Warning: Ignoring trailing non-numeric data.");
end Fun1;

Data_Error如果您的程序打算拒绝格式错误的整数文字，还可以考虑捕获。