Ada 程式設計/屬性/'池地址
外觀
對於任何物件 X,X'Pool_Address 返回其在儲存池中的地址。這與 X'Address 相同,只是對於未約束的陣列,其邊界在第一個元件之前分配,X'Pool_Address 返回這些邊界的地址,而 X'Address 返回第一個元件的地址。
這裡,我們將“儲存池”廣泛地解釋為 物件分配的位置,可以是使用者定義的儲存池、全域性堆、堆疊或靜態記憶體區域。對於透過 new 建立的物件,Ptr.all'Pool_Address 是傳遞給 Allocate 並從 Deallocate 返回的值。