Ada：获取整数时如何管理 Data_error 异常

Question

例如，我试图让用户从菜单中选择一种模式

1. 吃
2. 喝
3. 睡觉

现在我可以通过调用获得整数输入

ada.integer_text_io.get(integer_variable);

这里的主要问题是，如果我插入一个非数字字符串（例如字符串），则会引发以下异常

raised ADA.IO_EXCEPTIONS.DATA_ERROR : a-tiinio.adb:89 instantiated at a-inteio.ads:18

我试过接收一个字符，检查它是否是一个整数，然后将它转换成一个整数，但后来我意识到我需要输入大于 1 位的整数，所以字符方法不起作用.

如果我收到一个字符串，那么我无法检查它是否为整数（除非我扫描整个字符串以查看其所有字符是否都是整数...）

除了扫描整个字符串之外，还有其他解决方案吗？ 或者可能是一种异常处理技术，可能会阻止程序终止并再次要求一个正确的整数？

-CH

Answer 1

您可以处理异常，或者在循环内重复请求输入直到输入一个整数，或者在结束时优雅地退出......

Answer 2

用于请求此类用户输入的主要 Ada 编程习惯使用 Get_Line：

procedure Get_Line(Item : out String;   Last : out Natural);

或

function Get_Line return String;

现在用户的响应是在字符串中，您可以快速扫描非数字字符，或使用 Integer'Value 属性将其转换为整数（将调用包装在合适的异常处理程序中）。例如：

loop
   Put_Line("What do you want to do?");
   Display_Options;
   declare
      What_To_Do : Positive;
      Response : String(1..20);
      Last     : Natural;
   begin
      Get_Line(Response, Last);
      exit when Last = 0;

      What_To_Do := Integer'Value(Response(1 .. Last));  --' Buggy highlight fix
      Go_Do_Something(What_To_Do);

   exception
      when Data_Error =>
         Put_Line("Invalid response, try again...");
   end;
end loop;

这个成语的额外好处是您也可以接受非数字输入，例如“Q”代表 Quit，或“Quit”；还可以进行任何可能需要的字符预处理，例如向上大小写。

Answer 3

当/如果读取无效字符串时，几乎所有在 Ada 中将字符串解析为某种标量值的标准方法都会产生某种异常。这没有什么问题。只需处理异常即可。

即使您将自己的字符串解析编写为整数例程，您也必须以某种方式处理用户输入无效字符串的情况。对吧？

我猜唯一涉及的“技术”是您可以将异常处理程序放在子例程上，甚至放在您将内联代码放入的declare ... begin ... end 块上。这样，只有块内的代码被中止。一般来说，我更喜欢看到使用的子程序。所以你会得到类似的东西：

function User_Integer return Integer is
begin
    loop
        begin
            ada.integer_text_io.get(integer_variable);
            return integer_variable;
        exception
            when ADA.IO_EXCEPTIONS.DATA_ERROR =>
                Ada.Text_IO.Put_Line ("Try a number from 1 to 3, Sherlock");
                Print_Menu;
        end;
    end loop;
end User_Integer;

现在，既然如此，对于又快又脏的 Ada 菜单，我通常不会像上面那样做数字菜单。相反，创建一个枚举类型。这样您就可以在菜单类型的循环中使用'image 打印菜单选项，当您使用'value 或Ada.Text_IO.Enumeration_IO 时，Ada 将处理文本解析。

type Menu_Selection_Option is (Eat, Drink, Sleep);
package Menu_IO is new Ada.Text_IO.Enumeration_IO (Menu_Selection_Option);
function User_Selection return Integer is
begin
    loop
        declare
            Selection : Menu_Selection_Option;
        begin
            Menu_IO.Get(Selection);
            return Selection;
        exception
            when ADA.IO_EXCEPTIONS.DATA_ERROR =>
                Ada.Text_IO.Put_Line ("Unrecognized option. Try again Sherlock");
                Print_Menu;
        end;
    end loop;
end User_Selection;

这样做的好处是，当菜单选项列表发生变化时，您不必更改菜单打印代码或解析代码。