将字符串输入与枚举类型进行比较

Question

我在查找字符串与枚举的比较。我写了一个我正在尝试的示例代码。由于String和Enumerated类型不同，我如何在Ada中正确执行此操作？

WITH Ada.Text_IO; USE Ada.Text_IO; 

PROCEDURE ColorTest IS 

    TYPE StopLightColor IS (red, yellow, green); 

    response : String (1 .. 10); 
    N : Integer; 

BEGIN 
    Put("What color do you see on the stoplight? "); 
    Get_Line (response, N); 
    IF response IN StopLightColor THEN 
     Put_Line ("The stoplight is " & response(1..n)); 
    END IF; 

END ColorTest; 

Answer 1

首先实例Enumeration_IO为StopLightColor：

package Color_IO is new Ada.Text_IO.Enumeration_IO(StopLightColor); 

然后，你可以做以下任一操作：

• 使用Color_IO.Get阅读的价值，捕捉任何Data_Error。

• 使用Color_IO.Put获得String与response进行比较。

另外，Stoplight_Color对于枚举类型的标识符可能是更一致的样式。

Answer 2

另一种可能性：

Get_Line (response, N); 
declare 
    Color : StopLightColor; 
begin 
    Color := StopLightColor'Value(response(1..N)); 
    -- if you get here, the string is a valid color 
    Put_Line ("The stoplight is " & response(1..N)); 
exception 
    when Constraint_Error => 
     -- if you get here, the string is not a valid color (also could 
     -- be raised if N is out of range, which it won't be here) 
     null; 
end; 

Answer 3

回答您的实际问题：

阿达不允许直接比较不同类型的值，但幸运的是枚举类型转换为一种方法字符串，它始终有效。

对于任何枚举类型T存在一个函数：

function T'Image (Item : in T) return String; 

返回传递给它的枚举对象的字符串表示。

利用这一点，你可以声明一个函数，它比较一个字符串和一个枚举类型：

function "=" (Left : in String; 
       Right : in Enumerated_Type) return Boolean is 
begin 
    return Left = Enumerated_Type'Image (Right); 
end "="; 

如果你想要做一个区分大小写的比较，你可以两个字符串比较之前降低的情况下映射他们：

function "=" (Left : in String; 
       Right : in Enumerated_Type) return Boolean is 
    use Ada.Characters.Handling; 
begin 
    return To_Lower (Left) = To_Lower (Enumerated_Type'Image (Right)); 
end "=";