PHP條件運算符的「坑」

今天遇到一個關於PHP 嵌套使用條件運算符(ternary expressions)的問題

現象

先來看一段C語言代碼(test.c):

#include<stdio.h>
int main() {
  int x = 1;
  int shit = x == 1 ? 100 : 
     x == 2 ? 200 : 300;
  printf("shit的值:%d\n", shit);
  return 0;
}

編譯後運行一下

root$ gcc test.c -o test && ./test
shit的值:100

答案在乎料之中，由於x==1，因此100被賦值給shit。

可是若是咱們用PHP重寫一下上文的代碼(test.php):

<?php
$x = 1;
$shit = $x == 1 ? 100 : 
   $x == 2 ? 200 : 300;
echo "shit的值:$shit\n";

執行一下:

root$ php test.php
shit的值:200

咱們發現返回的結果不同了，這是爲何呢？

排查

首先懷疑多是PHP中比較運算符(==)和條件運算符(?:)的優先級問題，咱們查看一下PHP官方文檔

==的優先級比?:更高(C語言也是這樣)，因此

$shit = $x == 1 ? 100 : 
   $x == 2 ? 200 : 300;

等效於

$shit = ($x == 1) ? 100 : 
   ($x == 2) ? 200 : 300;

執行一遍也確實如此，能夠排除掉是運算符優先級致使問題的可能性了。

可是官方文檔裏關於運算符結合方向的舉例說明中出現了這麼一句話：

這跟上文描述的現象很類似，問題應該就在這了。一番查閱以後獲得如下結論:

結論

• C語言的條件運算符(?:)的結合方向是從右往左，每次求值都是從最右邊的子表達式開始算起，因此

int x = 1;

int shit = x == 1 ? 100 : 
     x == 2 ? 200 : 300;
//等效於
int shit = x == 1 ? 100 : 
     (x == 2 ? 200 : 300);
//等效於
int shit = x == 1 ? 100 : 
     (300);// 100

• PHP的條件運算符(?:)的結合方向是從左往右，每次求值都是從最左邊的子表達式開始算起，因此

$x = 1;
$shit = $x == 1 ? 100 : 
   $x == 2 ? 200 : 300;
//等效於
$shit = ($x == 1 ? 100 : 
   $x == 2) ? 200 : 300;
//等效於
$shit = (100) ? 200 : 300;// 200

介於PHP的條件運算符結合方向，咱們沒法像C/C++那樣 經過嵌套條件運算符來達到if-elseif-elseif-else表達式的效果，除非咱們在靠後的子表達式中加上括號，本例中就能夠靠這種方式解決:

$shit = $x == 1 ? 100 : 
   ($x == 2 ? 200 : 300);

但在條件分支較多的狀況下，就會出現代碼可讀性問題(堆積括號):

$shit = $x == 1 ? 100 :
     ($x == 2 ? 200 :
     ($x== 3 ? 300 :
     ...
     ($x == 8 ? 800 : 900)))))));

因爲PHP不堆積括號的寫法與C/C++在執行結果上是不一致的，而且只能經過加括號改變默認的結合方向 以達到預期的結果，因此PHP文檔裏乾脆不建議嵌套使用條件運算符:

Note:
It is recommended that you avoid "stacking" ternary expressions. PHP's
behaviour when using more than one ternary operator within a single statement is non-obvious

參考資料

PHP: Ternary Operator - Manual
PHP: Operator Precedence - Manual
php - Ternary operator left associativity - Stack Overflow
Understanding nested PHP ternary operator - Stack Overflow
C 運算符優先級- cppreference.com