delphi – 三重平等表达式评估

x := 1;
y := 1;
z := 1;

ASSERT( (x = -1) = (y = -1) = (z = -1) );

ASSERT( false = false = false );

首先,=运算符是一个二元运算符：它总是在一对值上运行.所以没有“三重平等”这样的东西.编译器将评估一对,并使用结果来评估另一对.

当编译器看到多个链接的运算符时,需要使用所谓的“运算符优先级”将它们分组.很清楚你是否考虑过我们在小学学到的基本算术运算符.毫无疑问：3 2 * 4评估为：它相当于3(2 * 4).如有疑问,请始终自行添加分组.如果你这样做,你会发现你的表达式相当于：

((false = falsE)= falsE),很明显它评估为：

(真=假).

你可能想要的是使用AND运算符并将你的初始Assert分组如下：

ASSERT(((x = -1)=(y = -1))和((y = -1)=(z = -1)))

那么我可能要么在多行上写这个表达式以使AND运算符显而易见(SQL习惯,我知道),或者完全重写它：

Assert (
  ((x = -1) = (y = -1))
  and
  ((x = -1) = (z = -1))
);

或这个变种：

Assert (
  ((x = -1) and (y = -1) and (z = -1))
  or
  ((x <> -1) and (y <> -1) and (z <> -1))
);

我的规则是：如果需要超过1秒才能确定运算符的优先级,请添加括号.