跳转至内容

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

来自维基教科书,开放的书籍,为一个开放的世界

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

SPreelaborable_Initialization return Boolean
华夏公益教科书