Ada 声明“在 0 范围 18..20”时遇到问题

Question

我在声明这个变量时遇到了问题：

Code_Length at 0 range 18..20;

我对约束很熟悉，但 at 0 让我很受用，我在其他任何地方都找不到任何可用的在线示例。

如果我不得不猜测（而且我完全是在猜测），at 0 会将值初始化为0，然后对任何后续赋值操作强制执行该约束。但我找不到任何东西来验证这一点。

Answer 1

这不是变量声明，而是记录字段的representation clause。无论您从中摘录什么记录声明，都有一个名为“Code_Length”的字段。并且这个表示子句表明它的存储（3位）将从整个记录的存储开始偏移0个字节，并占用18到20位。

提供更多上下文代码将有助于解释。