Ada 程式設計/屬性/'Last

計算 » 計算機科學 » 計算機程式設計 » 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 程式設計
• Ada 程式設計/屬性
• Ada 程式設計/屬性/'First
• Ada 程式設計/屬性/'Range

Ada 參考手冊

• 13.3 操作和表示屬性 (註釋)
• 附錄 K 語言定義屬性 (註釋)