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 参考手册