Ada 编程/属性/'Value

描述

'Value 属性为任何标量类型定义。此属性是一个函数，解析字符串并返回相应的类型值（如果存在）。开头和结尾的空格将被修剪。

function S'Value (Arg: String) return S'Base;

如果字符串与该类型中的任何值都不匹配，则会引发 Constraint_Error 异常。

Wide_String 和 Wide_Wide_String 有相应的属性。

不要将此属性与 Ada 编程/属性/'Val 属性混淆。

示例

type My_Enum is (Enum1, Enum2, Enum3);

pragma Assert (My_Enum'Value ("ENUM1")    = Enum1); -- OK
pragma Assert (My_Enum'Value ("  ENUM1 ") = Enum1); -- OK
pragma Assert (My_Enum'Value ("ZOWIE!")   = Enum1); -- Wrong! Constraint_Error is raised

参见

维基教科书

Ada 参考手册