跳至內容

Ada 程式設計/屬性/'預先初始化

來自華夏公益教科書

返回 S 的型別是否具有預先初始化。


對於在包或泛型包的可見部分內宣告的非形式複合子型別 S,或者泛型形式私有子型別或形式派生子型別

此屬性為布林型別,其值反映 S 的型別是否具有預先初始化。

SPreelaborable_Initialization return Boolean
華夏公益教科書