Ada 编程/属性/'Finalization Size'

描述

属性 Finalization_Size 的前缀必须是对象或非类范围的类型。此属性返回编译器为处理最终化相关操作而保留的任何隐藏数据的尺寸。属性的类型为 universal_integer。

对于没有受控部分的类型，没有受控部分的对象，或者其标记表示没有受控部分的类型的类范围类型，Finalization_Size 将产生零值。

请注意，只有堆分配的对象包含最终化数据。