Ada 编程/属性/'Image
X'Image(Y) 是 Ada 属性，其中 X 是任何离散类型，Y 是该类型的实例。此属性返回作为输入传递的值的字符串表示形式。
此属性是一种将类型值自动转换为适合输出的字符串的实用方法。
在 Ada 2022 中添加了简化版本
Y’Image 返回字符串
Y 值的字符串形式图像。
type My_Enum is (Enum1, Enum2, Enum3);
...
pragma Assert (My_Enum'Image (Enum1) = "ENUM1");
pragma Assert (Enum1'Image = "ENUM1"); -- Ada 2022
- 13.3 操作和表示属性 (注释)
- 附录 K 语言定义的属性 (注释)