获取Ada中枚举类型的表示值

我需要在Ada中获取与枚举类型的值相关联的数值.不是枚举中的位置,而是使用“for TYPE use”子句为每个值赋值的值.

有谁知道这是否可能?

没有完全通用的解决方案.枚举表示条款似乎旨在使这些信息难以获得.

这个:

function Rep is new Ada.Unchecked_Conversion(Enum, Integer);

在大多数情况下可能会有效,但有一些严重的警告:表示值必须在Integer’First..Integer’Last范围内,如果Enum和Integer的大小不匹配,结果实际上是实现定义(但它适用于GNAT).

正如Simon Wright所说,RM建议使用Unchecked_Conversion,但这不是一个非常令人满意的解决方案,并且确定一致的目标类型很困难.

截至2007年RM,建议的支持水平为:

An implementation should support at least the internal codes in the
range System.Min_Int..System.Max_Int.

这意味着转换为Integer并不总是足够的;值可能小于Integer’First,或大于Integer’Last.即使所有值都在该范围内,也没有什么好方法可以确定与枚举类型大小相同的目标类型.例如,这个:

type Enum is (Ten, Twenty, Thirty);
for Enum use (10, 20, 30);
function Rep is new Ada.Unchecked_Conversion(Enum, Integer);

在GNAT中生成此警告:

warning: types for unchecked conversion have different sizes

但在警告之后,Rep确实返回了预期值10,20和30.

RM明确指出如果Unchecked_Conversion实例中的源和目标大小不匹配,并且结果类型是标量,那么

the result of the function is implementation defined, and can have an
invalid representation

因此,上述适用于GNAT的事实并不意味着它保证可以在任何地方使用.

对于仅支持System.Min_Int..System.Max_Int范围内的值的实现,您可以执行以下操作:

type Enum is (...);
for Enum use (...);
type Longest_Integer is range System.Min_Int .. System.Max_Int;
function Rep is new Ada.Unchecked_Conversion(Enum, Longest_Integer);

并忽略警告.但是允许编译器接受大于System.Max_Int的值,只要它们在某个整数类型的范围内.例如,GNAT拒绝这一点,但另一个Ada编译器可能接受它:

type Longest_Unsigned is mod System.Max_Binary_Modulus;
type Unsigned_Enum is (Zero, Huge);
for Unsigned_Enum use (0, Longest_Unsigned'Last);

并且从此到任何有符号整数类型的Unchecked_Conversion将不起作用.如果大小不匹配,您仍然存在实现定义结果的潜在问题.

这是一个适用于任何枚举类型的通用解决方案,如果(a)表示值在System.Min_Int..System.Max_Int范围内,并且(b)如果Unchecked_Conversion的实现比Ada标准要求更好是:

type Longest_Signed is range System.Min_Int .. System.Max_Int;

generic
    type Enum is (<>);
function Generic_Rep(E: Enum) return Longest_Signed;

function Generic_Rep(E: Enum) return Longest_Signed is
    function Rep is new Ada.Unchecked_Conversion(Enum, Longest_Signed);
begin
    return Rep(E);
end Generic_Rep;

鉴于所有这些混淆,您可以考虑使用除枚举表示子句之外的某种机制来执行您尝试执行的任何操作.

翻译自:https://stackoverflow.com/questions/9503897/get-the-representation-value-of-an-enumeration-type-in-ada

转载注明原文:获取Ada中枚举类型的表示值