跳转到内容

Ada 编程/属性/'池地址

来自维基教科书,开放的书籍,开放的世界

对于任何对象 XX'Pool_Address 返回其在存储池中的地址。这与 X'Address 相同,只是对于未约束的数组,其边界在第一个组件之前分配,X'Pool_Address 返回这些边界的地址,而 X'Address 返回第一个组件的地址。

这里,我们将“存储池”广泛地解释为 对象分配的位置,可以是用户定义的存储池、全局堆、堆栈或静态内存区域。对于通过 new 创建的对象,Ptr.all'Pool_Address 是传递给 Allocate 并从 Deallocate 返回的值。

华夏公益教科书