Ada 程式設計/屬性/'Finalization Size'

描述

屬性 Finalization_Size 的字首必須是物件或非類範圍的型別。此屬性返回編譯器為處理最終化相關操作而保留的任何隱藏資料的尺寸。屬性的型別為 universal_integer。

對於沒有受控部分的型別，沒有受控部分的物件，或者其標記表示沒有受控部分的型別的類範圍型別，Finalization_Size 將產生零值。

請注意，只有堆分配的物件包含最終化資料。