Ada 为什么要检查一个对象的长度是否不等于它本身。 Ex if(变量'长度/=变量'长度)

Question

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

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

Codepeer 将此标记为始终为假，这对我来说很有意义，但我的 ada 经验很少。这是否有效，如果有效，在什么情况下是正确的？

谢谢。

Answer 1

从来没有。只能求数组对象的长度，对象一旦声明就不能再改变。