是否可以声明具有无限上限的Ada范围？

Question

我想声明Ada中记录类型的速度范围。以下内容不起作用，但是有办法使其起作用吗？

   --Speed in knots, range 0 to unlimited
   Speed : float Range 0.0 .. unlimited ;

我只想要这个数字为零正值...

Answer 1

您不能-但由于Speed是类型的Float，所以Float'Last无论如何都不能超过它的值。

Speed : Float range 0.0 .. Float'Last;

（您可能想声明一个显式类型或子类型。）