跳轉到內容

Ada 程式設計/屬性/'First

Add links
來自華夏公益教科書，自由的教科書
Ada. Time-tested, safe and secure.
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 參考手冊

[編輯 | 編輯原始碼]
取自 "https://wikibook.tw/w/index.php?title=Ada_Programming/Attributes/%27First&oldid=3250045"
華夏公益教科書