Pascal语言中短路求值测试方法的正确性咨询

你的测试代码存在两个关键问题：

• 语法错误：a / b是数值计算表达式，而and逻辑运算符要求两边都是布尔类型的表达式，这段代码无法通过编译。
• 测试逻辑不直观：即便修正语法，仅通过是否报错来判断短路，不够清晰，且不同编译器的错误处理行为可能干扰判断。

正确的测试方法 #

要直观验证短路求值，最好的方式是给第二个表达式添加可观测的副作用（比如打印日志、修改变量），通过副作用是否触发来判断第二个表达式是否被执行。

示例测试代码

program shortcircuit_test;
var
  a, b: integer;

// 带副作用的测试函数：返回布尔值，同时打印日志
function has_side_effect: Boolean;
begin
  writeln('第二个表达式被执行了！');
  has_side_effect := True;
end;

begin
  a := 8;
  b := 0;

  // 测试默认and运算符的行为
  writeln('测试默认and：');
  if (b <> 0) and has_side_effect then
    writeln('条件成立');

  writeln('-------------------');

  // 部分编译器支持短路专用运算符（如Free Pascal的and_then）
  writeln('测试短路and_then：');
  if (b <> 0) and_then has_side_effect then
    writeln('条件成立');
end.

结果说明 #

• 如果运行后，测试默认and部分没有输出第二个表达式被执行了！，说明该编译器的and支持短路求值；反之则不支持。
• 标准Pascal并不强制要求短路求值，不同编译器行为不同：比如Free Pascal默认and不短路，需要用and_then来显式使用短路与；Delphi在默认编译模式下and是短路的。

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