跳至内容

Ada 编程/属性/'预先初始化

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

返回 S 的类型是否具有预先初始化。


对于在包或泛型包的可见部分内声明的非形式复合子类型 S,或者泛型形式私有子类型或形式派生子类型

此属性为布尔类型,其值反映 S 的类型是否具有预先初始化。

SPreelaborable_Initialization return Boolean
华夏公益教科书