Ada 编程/属性/'池地址
外观
对于任何对象 X
,X'Pool_Address
返回其在存储池中的地址。这与 X'Address
相同,只是对于未约束的数组,其边界在第一个组件之前分配,X'Pool_Address
返回这些边界的地址,而 X'Address
返回第一个组件的地址。
这里,我们将“存储池”广泛地解释为 对象分配的位置
,可以是用户定义的存储池、全局堆、堆栈或静态内存区域。对于通过 new
创建的对象,Ptr.all'Pool_Address
是传递给 Allocate
并从 Deallocate
返回的值。