Ada：常量声明

Question

我正在阅读 Norman Cohen 的 Ada 95 书，在第 129 页我们有常量声明：

 Pi: constant Float := 3.1415926536

和

Pi: constant := 3.1415926536

第二个声明被解释为，我引用：“任何具有适当范围的定点类型的浮点”。我的问题是说一个人正在使用 Long_Float 精度，然后例如声明一个常量说 2*PI 做一个人必须特别声明像

Two_Pi : CONSTANT Long_Float := 2.0 * 3.1415926536

或者更好：

Two_Pi: CONSTANT Long_Float :=  2.0 * Ada.Numerics.Pi;

（第二次声明利用小数点后更多位）？

会

Two_Pi : CONSTANT := 2.0 * 3.1415926536   

或者更好

Two_Pi: CONSTANT  :=  2.0 * Ada.Numerics.Pi;

像本书声称的那样好，这样 Ada 编译器就会知道，例如，如果我在 Long_Float 计算中使用 Two_Pi，那么编译器会提供所需的精度位数吗？由于 Pi 值 3.1415926536 不是 Long_Float 类型（因为它的精度位数较少），我猜最后一个声明即

Two_Pi: CONSTANT  :=  2.0 * Ada.Numerics.Pi;

如果我在 Long_Float 计算中需要 Two_Pi，这就是我所需要的。我理解对了吗？有了类似的理解，那么

Two_Pi: CONSTANT  :=  2.0 * Ada.Numerics.Pi;

在浮点类型计算中也将相关，编译器将仅提供所需的精度位数。

非常感谢...

Answer 1

Number Declarations如

Two_Pi : constant := 2.0 * Ada.Numerics.Pi;

有时称为命名数字。这样的数字是universal“因为它在类中的某些特定类型是可以接受的（参见8.6）。”

附录：因为这些数字是universal，所以它们可以“用作相应类中任何类型的原始子程序的操作数”。例如，Two_Pi 可以乘以 Float、Long_Float 或派生自 universal_real 的任何类型。

在相关说明中，您可能会喜欢这个 Ada binding 到 GNU GMP 和 MPFR 库。

附录：绑定允许使用来自 Ada 的 GNU 库，如 example 所示。