阿達：如何得到整數

Question

我試圖讓用戶從例如

1. 菜單中選擇一個模式，吃飯的時候，管理Data_error例外
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

幾乎所有將字符串解析爲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; 

現在，在這情況下，快速和骯髒的阿達菜單我一般不做數字菜單像上面。相反，請使用枚舉類型。這樣，您可以在菜單類型的循環中使用'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; 

關於這樣做的好處是，你不必改變你的菜單打印代碼或您的解析代碼時的菜單選項更改列表。

Answer 2

您可以處理異常，要麼一個循環反覆詢問輸入中，直到輸入一個整數，或接近尾聲正常退出...

Answer 3

中主要的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」爲退出，或「退出」;並且還可以進行任何角色預處理，如可能需要的向上套管。