Ada 程式設計/屬性/'地址

屬性定義子句

X'Address 是一個 Ada 屬性，其中 X 是任何物件、程式單元或標籤，RM 13.3(10/1)。[程式單元是包、任務單元、受保護單元、受保護入口、泛型單元或顯式宣告的子程式，但不包括列舉文字，RM 10.1(1)。]

'Address 可用於返回分配給 X 的第一個元素的地址。'Address 也可用於為獨立物件和程式單元設定 X 的地址，RM 13.3(12)。

-- A 32 bit hardware register
Device_Input_Value: Interfaces.Unsigned_32;
for Device_Input_Value'Address use System.Storage_Elements.To_Address (16#8000_05C4#);

不建議在此情況下使用 Integer_32。

方面規範

在使用方面宣告宣告變數時，也可以直接指定地址

Device_Input_Value : Interfaces.Unsigned_32 with Address => System.Storage_Elements.To_Address (16#8000_05C4#);

參見

華夏公益教科書

Ada 參考手冊