Ada函数/过程参数在主体无有效执行逻辑时是否会被预先求值？

按照Ada语言标准，默认情况下无论Trace.Debug内部的Logger.Enabled是否为真，调用时传入的字符串参数都会在进入过程前完成求值，不会因为过程内未使用就跳过计算。

• Ada的子程序调用规则明确要求：所有实际参数的求值操作发生在进入子程序体执行之前，和子程序内部是否使用该参数无关。你示例中的字符串拼接、Integer'Image(x)、Boolean'Image(YesOrNo)等逻辑，都会在调用Debug过程前全部执行完成，再将拼接好的字符串传入过程，此时Logger.Enabled的判断还没有执行，自然无法阻止参数求值的开销。

你提到Logger.Enabled是运行初期读取配置赋值，不属于编译期可知的静态常量，因此：

• 默认优化级别（-O1及以下）下，GNAT不会做这类优化，参数一定会被求值。
• 就算开启-O2、-O3优化甚至链接时优化（LTO），也无法100%保证编译器会将Logger.Enabled的判断提前到参数求值之前，毕竟编译器无法完全确定该变量不会在其他编译单元被修改，这类优化没有确定性，不符合实时系统的可预期要求。

如果要完全避免无意义的参数求值开销，不要依赖编译器优化，建议从代码逻辑层面实现懒求值：
将Debug的入参修改为返回字符串的函数访问类型，只有当Logger.Enabled为真时，才调用函数完成字符串的计算：

-- 过程定义
procedure Debug (Gen_Message : access function return String) is
begin
    if Logger.Enabled then
        Put_Line(Gen_Message.all);
    end if;
end Debug;

-- 调用示例
Trace.Debug(() => "My String" & Integer'Image(x) & "is evaluated" & "or not" & "if my logger is disabled ?" & Boolean'Image(YesOrNo));

这种写法下只有进入if分支才会执行字符串拼接逻辑，开销完全可控，确定性符合实时系统要求。
如果不想改现有调用签名，也可以给Logger.Enabled添加pragma Constant_After_Elaboration标注，明确告诉编译器该变量在程序elaboration阶段完成赋值后不会再修改，配合-O2及以上的优化，GNAT 7.3.2有极大概率会将判断逻辑提前，跳过禁用状态下的参数求值，但该方案仍然依赖编译器优化，优先级低于懒求值方案。

内容的提问来源于stack exchange，提问作者LnlB