Ada 编程/属性/'First

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

---

描述

X'First，其中 X 是任何标量子类型（例如整数、枚举、实数），是一个属性，代表 X 范围内的第一个值（下界）。

A'First，其中 A 是一个数组，表示第一个索引值。对于多维数组，A'First(N) 表示第 N 维的第一个索引值（N 必须是静态的）。

示例

type My_Enum is (Enum1, Enum2, Enum3);
type My_Int  is range -1 .. 5;
... 
pragma Assert (My_Enum'First = Enum1);   -- OK
pragma Assert (My_Int'First  = -1);      -- OK
pragma Assert (My_Int'First  =  0);      -- Wrong!

参见

维基教科书

• Ada 编程
• Ada 编程/属性
• 最后
• 范围

Ada 参考手册

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