Ada 为什么要检查对象长度是否不等于自身。例如，如果(变量'长度/= 变量'长度)

Question

我正在审查一些ADA代码，我一直在整个项目中看到以下代码。

if(variable'Length /= variable'length)
   return;
end if

Codepeer一如既往地标记这个错误，这对我来说很有意义，但是我几乎没有ADA的经验。这是有效的，如果是在什么情况下是真的？

谢谢。

Answer 1

永远不会。您只能要求数组对象的长度，一旦声明该对象，它就无法更改。