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.

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