嵌套三元语句

Question

我想知道为什么这会很奇怪。我知道区别在于分组，但是比较重要吗？

$i = 0;
foreach ($items as $item) {
   echo ($i == 0) ? 'first_row' : ($i == sizeof($feedbacks)-2) ? 'last_row' : 'none';
   $i++;
}

返回

last_row
none
none
last_row

和

$i = 0;
foreach ($items as $item) {
   echo ($i == 0) ? 'first_row' : (($i == sizeof($feedbacks)-2) ? 'last_row' : 'none');
   $i++;
}

正确返回

first_row
none
none
last_row

为什么有区别？

Answer 1

要使用基于您的代码的解释，缩小版本将是：

for ($i=0; $i<5; $i++) {
   echo $i == 0 ? 'first_row' : $i == 4 ? 'last_row' : 'none';
}

在 PHP 中，这相当于编写：

for ($i=0; $i<5; $i++) {
   echo ($i == 0 ? 'first_row' : $i == 4) ? 'last_row' : 'none';
}

第一次，$i 的值为 0，因此第一个三元数返回 'first_row' 并且该字符串用作第二个三元数的条件 - 在布尔上下文中计算结果为 true - 因此 'last_row' 返回。

如果重新组合：

for ($i=0; $i<5; $i++) {
   echo $i == 0 ? 'first_row' : ($i == 4 ? 'last_row' : 'none');
}

那么第一个三元的结果不会干扰第二个三元。

Answer 2

来自官方 PHP 文档 :

“建议您避免“堆叠”三元表达式。在单个语句中使用多个三元运算符时，PHP 的行为并不明显”

显然，即使 PHP 的三元运算符（及其大部分语法）基于 C ，出于某种原因，PHP 决定使其左关联，然而在 C 和基于它的大多数其他语言中，三元运算符是右结合的:

C:

$ cat /tmp/foo.c
#include <stdio.h>
void main (void) { printf("%s\n", ( 1 ? "foo" : 0 ? "bar" : "baz" ) ); }

$ gcc -o /tmp/foo /tmp/foo.c; /tmp/foo
foo

Perl:

$ perl -e 'print ( 1 ? "foo" : 0 ? "bar" : "baz" ) . "\n";'
foo

Java:

$ cat /tmp/foo.java
public class foo { public static void main(String[] args) {
    System.out.println( ( true ? "foo" : false ? "bar" : "baz" ) );
} }

$ javac -d /tmp /tmp/foo.java; java -cp /tmp foo
foo

JavaScript:

$ cat /tmp/foo.js
print( 1 ? "foo" : 0 ? "bar" : "baz" );

$ rhino -f /tmp/foo.js
foo

PHP:

$ php -r 'echo ( 1 ? "foo" : 0 ? "bar" : "baz" ) . "\n";'
bar

所以，是的，我认为我们可以有把握地得出这样的结论：PHP 在这方面（也）只是简单的倒退。

Answer 3

请参阅 php.net 上的示例 3：

<?php
// on first glance, the following appears to output 'true'
echo (true?'true':false?'t':'f');

// however, the actual output of the above is 't'
// this is because ternary expressions are evaluated from left to right

// the following is a more obvious version of the same code as above
echo ((true ? 'true' : false) ? 't' : 'f');

// here, you can see that the first expression is evaluated to 'true', which
// in turn evaluates to (bool)true, thus returning the true branch of the
// second ternary expression.
?>

重要的部分是：

这是因为三元表达式是从左到右计算的

Answer 4

看看JRL提供的答案。为了更清楚地了解您的示例发生的情况，您应该了解您的表达式是这样计算的：

echo (($i == 0) ? 'first_row' : ($i == sizeof($feedbacks)-2)) ? 'last_row' : 'none';

因此，当 $i == 0 时，您的语句基本上变成这样：

echo 'first_row' ? 'last_row' : 'none';

Since 'first_row'< /code> 计算结果为 true，您的 'last_row' 是 $i == 0 时返回的结果。当 $i 不等于 0 时，你的语句基本上变成这样：

echo ($i == sizeof($feedbacks)-2) ? 'last_row' : 'none';