Ada 编程/属性/'Has Same Storage
如果 X2 的表示占用与 X 的表示完全相同的位，并且对象至少占用一位，则返回 True。
对于表示对象的 X 前缀
X'Has_Same_Storage 表示具有以下规范的函数
function X'Has_Same_Storage (Arg : any_type) return Boolean
实际参数应为表示对象的名称。实际参数表示的对象可以是任何类型。此函数评估所涉及对象的名称。如果实际参数表示的对象的表示占用与 X 表示的对象的表示完全相同的位，并且对象至少占用一位，则它返回 True；否则，它返回 False。
X’Has_Same_Storage (X2:any_type) return Boolean