三重平等表达评估

Question

假设我们有3个变量,我们需要ASSERT它们都可以等于-1或者都不能等于-1.我写了以下代码:

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

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

我经常写这种检查,但两个变量.令人惊讶的是,三重比较也被编译,但它没有按预期工作.对于(1,1,1)值,我希望它评估为真.在替换变量值和简化之后,我们得到:

ASSERT( False = False = False );

我认为它应该评估为True,但事实并非如此.那么三重比较如何评估？

Answer 1

首先,=运算符是二元运算符:它总是处理一对值.所以没有"三重平等"这样的东西.编译器将评估一对,并使用结果来评估另一对.

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

((False = False) = False),很明显它评估为:

(True = False).

您可能想要的是使用AND运算符并将您的首字母分组Assert如下:

ASSERT(((x = -1) = (y = -1)) and ((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秒才能确定运算符的优先级,请添加括号.