Ada为什么检查物体长度是否与自身不相等。 Ex if（variable'Length / = variable'length）

Question

我正在审核一些ada代码，我会在整个项目中看到以下代码。

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

Codepeer将此标记为始终为false，这对我来说非常有意义，但我的ada经验非常少。这是否有效，若在何种情况下如此？

感谢。

Answer 1

从不。您只能询问数组对象的长度，并且一旦声明了该对象，它就无法更改。