跳转到内容

Ada 编程/属性/'无效值'

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

对于每种标量类型 S,S'Invalid_Value 返回类型 S 的一个未定义值。如果可能,此值是该类型的无效表示形式。返回值与用于初始化类型 S 中未初始化值的返回值相同,前提是使用了 pragma Initialize_Scalars,包括使用绑定器 -Sxx 标志和相关的环境变量在运行时修改该值的能力。

华夏公益教科书