跳转到内容

Ada 编程/属性/'Last

Add links
来自 Wikibooks，开放的书籍，为开放的世界
Ada. Time-tested, safe and secure.
Ada。经久耐用，安全可靠。

描述

[编辑 | 编辑源代码]

X'Last，其中X 是任何 标量子类型（例如整数、枚举、实数），是一个 属性，它代表X 范围内最后一个值（上限）。

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

示例

[编辑 | 编辑源代码]
type My_Enum is (Enum1, Enum2, Enum3);
type My_Int  is range -1 .. 5;
... 
pragma Assert (My_Enum'Last = Enum3);  -- OK
pragma Assert (My_Int'Last  = 5);      -- OK
pragma Assert (My_Int'Last  = 4);      -- Wrong!

参见

[编辑 | 编辑源代码]

Wikibook

[编辑 | 编辑源代码]

Ada 参考手册

[编辑 | 编辑源代码]
检索自 "https://wikibooks.cn/w/index.php?title=Ada_Programming/Attributes/%27Last&oldid=3250049"
华夏公益教科书