Ada 为什么要检查对象的长度是否与其自身不相等。Ex if(variable'Length /= variable'length)

Question

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

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

Codepeer 将此标记为总是错误的，这对我来说很有意义，但我的 ada 经验很少。这是否有效，如果有效，在什么情况下它会是真的？

谢谢。

Answer 1

绝不。你只能要求一个数组对象的长度，并且一旦该对象被声明，它就不能改变。