Ada 编程/属性/'Enum Val

此语言特性已在 Ada 2022 中引入。

描述

返回由给定数字表示的枚举文字。

对于每个枚举子类型 S，S'Enum_Val 表示一个具有以下规范的函数

function S'Enum_Val (Arg : <Universal_Integer>) return S'Base;

该函数返回与参数匹配的表示形式的枚举值，如果该类型的枚举文字没有匹配的值，则会引发 Constraint_Error。这将等于在没有枚举表示子句的情况下 Val 属性的值。这是一个静态属性（即，如果参数是静态的，则结果是静态的）。

type Enum_Type is (Enum1, Enum2, Enum3);

pragma Assert (Enum_Type'Enum_Val(0) = Enum1);  -- OK