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

Question

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

Code_Length at 0 range 18..20;

我熟悉约束，但这at 0就是让我适应的东西，我在其他任何地方都找不到任何在线示例。

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

Answer 1

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

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