跳转到内容

Ada 编程/属性/'Succ

Add links
来自 Wikibooks，开放的书籍，为开放的世界
Ada. Time-tested, safe and secure.
Ada. 经得起时间考验，安全可靠。

描述

[编辑 | 编辑源代码]

X'Succ(Y) 是 Ada 属性，其中 X 是任何离散类型，Y 是该类型的某个值。此属性表示与输入参数的位置编号大一的位置编号的离散值。

返回的离散值类型是离散类型的基本类型。如果输入参数是离散类型的 Last 值，则会引发 CONSTRAINT_ERROR 异常。

示例

[编辑 | 编辑源代码]
type My_Enum is (Enum1, Enum2, Enum3);
...
pragma Assert (My_Enum'Succ(Enum2) = Enum3);   -- OK
pragma Assert (My_Enum'Succ(Enum3) = Enum1);   -- Wrong

参见

[编辑 | 编辑源代码]

Wikibook

[编辑 | 编辑源代码]

Ada 语言参考手册

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