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