如何编写代码来确定 Ada 中某个值的对数？

Question

使用 Ada (GNAT)：我需要确定给定值的 10 次方。最明显的方法是使用对数；但这无法编译。

with Ada.Numerics.Generic_Elementary_Functions;
procedure F(Value : in Float) is
      The_Log : Integer := 0;
begin
      The_Log := Integer(Log(Value, 10));
      G(Value, The_Log);
end;

错误：

• utilities.adb:495:26：“日志”不可见
  • utilities.adb:495:26: a-ngelfu.ads:24 处的不可见声明，第 482 行的实例
  • utilities.adb:495:26: a-ngelfu.ads:23 处的不可见声明，第 482 行的实例

---

因此，我尝试引用该包，但这也失败了：

with Ada.Numerics.Generic_Elementary_Functions;
procedure F(Value : in Float) is
      The_Log : Integer := 0;
      package Float_Functions is new Ada.Numerics.Generic_Elementary_Functions (Float);
begin
      The_Log := Integer(Float_Functions.Log(Value, 10));
      G(Value, The_Log);
end;

错误：

• utilities.adb:495:41：没有候选解释与实际情况匹配：
• 实用程序.adb:495:41：调用“Log”
• 实用程序时参数过多。adb:495:53：预期类型“Standard.Float”
• 实用程序。adb:495:53：找到类型通用整数==>在 a-ngelfu.ads:24 处调用“Log”，例如第 482 行

Answer 1

我不知道你是否已经修复了它，但这就是答案。

首先，正如我所见，您在实例化通用版本时传递了 Float ，您可以使用非通用版本。

如果您决定使用通用版本，则必须按照第二种方式进行操作，必须在使用包的功能之前实例化该包。

查看a-ngelfu.ads，您可能会看到所需函数的实际原型（还有另一个仅具有 1 个参数的自然对数函数）：

function Log(X, Base : Float_Type'Base) return Float_Type'Base;

您可以看到底数需要为也是浮动类型。通用版本的正确代码是：

with Ada.Numerics.Generic_Elementary_Functions;

procedure F(Value : in Float) is
    -- Instantiate the package:
    package Float_Functions is new Ada.Numerics.Generic_Elementary_Functions (Float);
    -- The logarithm:
    The_Log : Integer := 0;
begin
    The_Log := Integer(Float_Functions.Log(Value, 10.0));
    G(Value, The_Log);
end;

非通用版本完全相同：

with Ada.Numerics.Elementary_Functions;

procedure F(Value : in Float) is
    -- The logarithm:
    The_Log : Integer := 0;
begin
    The_Log := Integer(Ada.Numerics.Elementary_Functions.Log(Value, 10.0));
    G(Value, The_Log);
end;

Answer 2

克桑迪是对的。他的解决方案奏效了。

有两个例外需要防范......

• 然而，作为 Ada ， 0.0
• 值 = 0.0

如果没有防护，此函数将导致生成异常。并记住返回的 The_Log 可以是 < 0、0和> 0。

with Ada.Numerics.Elementary_Functions; 

procedure F(Value : in Float) is 
    -- The logarithm: 
    The_Log : Integer := 0; 
begin 
    if Value /= 0.0 then
        The_Log := Integer(
             Ada.Numerics.Elementary_Functions.Log(abs Value, 10.0)); 
    end if;
    G(Value, The_Log); 
end;