Ada 程式設計/屬性/'無效值'

描述

對於每種標量型別 S，S'Invalid_Value 返回型別 S 的一個未定義值。如果可能，此值是該型別的無效表示形式。返回值與用於初始化型別 S 中未初始化值的返回值相同，前提是使用了 pragma Initialize_Scalars，包括使用繫結器 -Sxx 標誌和相關的環境變數在執行時修改該值的能力。