Ada 编程/属性/'Size:3

Ada 编程的一个常见错误是假定为某个类型 T 指定 'Size 会迫使编译器为该类型的对象分配恰好该数量的位。事实并非如此。 指定的 T'Size 会迫使编译器将该大小用于打包数组与记录和 Unchecked_Conversion 中的组件，但编译器仍可自由为独立对象分配更多位。

直接对对象使用 'Size 以将对象强制为指定的值。