如果主体为空，是否评估 Ada 函数参数？

Question

根据这个说法：

Trace.Debug("My String" & Integer'Image(x) & "is evaluated" & "or not" & "if my logger is disabled ?" & Boolean'Image(YesOrNo) );

还有Trace.Debug的这个实现：

procedure Debug (Message : in String) is 
begin 
    if Logger.Enabled then  -- This boolean is defined during runtime by reading a value in a file
        Put_Line(Message);
    else
        null; -- Do nothing
    end if;
end Debug;

我有一个可以管理多个级别日志的软件，我想知道Logger.Enabled等于False时的行为。

我有很多日志调用，有时需要评估复杂的字符串，而且我在实时系统上，所以我不想浪费时间来评估不会打印的字符串。

我想知道编译器是否优化代码以便在Logger.enabled 是False 时不评估Trace.Debug 的参数中的字符串，知道这个布尔值是在运行时通过读取一个值来设置的在一个文件中。

我正在使用 gnat 7.3.2。

Answer 1

您可以通过提供回调来确保不会发生评估：

procedure Debug (Message : access function return String) is 
begin 
    if Logger.Enabled then
        Put_Line(Message.all);
    end if;
end Debug;

然后调用它，做

declare
   function Msg return String is
     ("My String" & Integer'Image(x) & "is evaluated" & "or not" & "if my logger is disabled ?" & Boolean'Image(YesOrNo));
begin
   Debug (Msg'Access);
end;

在您的原始代码中，编译器可以跳过评估的唯一方法是当它内联 Debug 过程并重新排列代码以便 Message 对象仅分配在内部 if-块。你不能强迫这个；甚至pragma Inline 也只是对编译器的提示。