Ada 编程/属性/'Value

计算 » 计算机科学 » 计算机编程 » Ada 编程

---

描述

'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 编程
• Ada 编程/属性
• Ada 编程/属性/'Image

Ada 参考手册

• 13.3 操作和表示属性 (注释)
• 附录 K 语言定义的属性 (注释)