Ada：属性'last'和'safe_large

Question

在Ada中创建派生类型非常普遍，例如说一个新的Float类型，最后一个元素为Float'Last。在定义新的Float类型时，我还没有看到有人使用Float'Safe_Large而不是Float'Last属性。在我的32位机，既

Put(Float'Image(Float'Last)); 

和

Put(Float'Image(Float'Safe_large)); 

回报我的价值3.402..E38

我想知道这两个数字之间的差异属性，或许还为什么'Safe_Large不像'Last'那样常用。

非常感谢......

Answer 1

目前，Last属性是任何标量亚型定义。现已过时，作为与Ada 83兼容的实现定义的属性，GNAT中的Safe_Large可用。Ada 95 Rationale提供了关于“安全范围”讨论变化的一些见解。