多个布尔条件-运算符优先级


Multiple boolean conditions - operator precedence

我遇到了这样一行代码:

if ($users == 'all' || $_POST['user'] == 1 && $users == 'admins' || $_POST[ 'user' ] == 0 && $users == 'mods') ...

我不明白这些条件是如何满足的,因为它们之间没有括号:(

||&&更重要吗?哪个部分先求值?

&&依赖于左表达式为真时右表达式的求值,||不依赖于左表达式的求值。您可以将其重写为:

if(
    $users == 'all' ||
    ($_POST['user'] == 1 && $users == 'admins') ||
    ($_POST['user'] == 0 && $users == 'mods')
)

还是一样的

如果没有括号,PHP将从左到右计算每个表达式,一路上使用PHP的运算符优先级。然而,就像在任何逻辑检查中一样,将AND扔到混合中会使事情变得混乱,并且很难阅读。

从左到右,除非有优先级。

function rtrue($x) {
    static $rt = 0;
    echo $x . ' called true ' . ++$rt . '<br>';
    return true;
}
function rfalse($x) {
    static $rf = 0;
    echo $x . ' called false ' . ++$rf . '<br>';
    return false;
}
// all but last get called, eq: false || (true && false) || (false && true)
$result1 = rfalse('a') || rtrue('b') && rfalse('c') || rfalse('d') && rtrue('e');
echo '=== result '. ( $result1 ? 'true' : 'false' ) . '<br>';
// first true does not get called, eq: (false && true) || true
$result2 = rfalse('x') && rtrue('y') || rtrue('z');
echo '=== result '. ( $result2 ? 'true' : 'false' ) . '<br>';

打印以下内容:

a called false 1
b called true 1
c called false 2
d called false 3
=== result false
x called false 4
z called true 2
=== result true

你也可以在JavaScript代码片段中看到相同的行为:

var rt = 0;
function rtrue(x) {
  console.log(x, 'called true', ++rt);
  return true;
}
var rf = 0;
function rfalse(x) {
  console.log(x, 'called false', ++rf);
  return false;
}
// all but last get called, eq: false || (true && false) || (false && true)
console.log('=== result',
  rfalse('a') || rtrue('b') && rfalse('c') || rfalse('d') && rtrue('e')
);
// first true does not get called, eq: (false && true) || true
console.log('=== result',
  rfalse('x') && rtrue('y') || rtrue('z')
);