php vs java中的嵌套三元运算符关联性

Question

所以，我刚刚阅读了this blog post，我对“三元运算符是左关联”部分感到困惑，所以我在解释器中运行了示例代码：

$arg = 'T';
$vehicle = ( ( $arg == 'B' ) ? 'bus' :
             ( $arg == 'A' ) ? 'airplane' :
             ( $arg == 'T' ) ? 'train' :
             ( $arg == 'C' ) ? 'car' :
             ( $arg == 'H' ) ? 'horse' :
             'feet' );
echo $vehicle;

实际上，它返回 horse，这与博文中的反直觉相反。

出于好奇，然后我尝试通过重新编写它以适应我认为“左联想”想要的“使这项工作”。我明白了（格式很奇怪，但至少在我的脑海中更清楚了）：

$arg = 'T';
$vehicle = ( ( $arg != 'B' ) ? 
                ( $arg != 'A' ) ? 
                    ( $arg != 'T' ) ? 
                        ( $arg != 'C' ) ? 
                            ( $arg != 'H' ) ? 
                                'feet' :
                            'horse' :
                        'car' :
                    'train' :
                'airplane' :
            'bus'
);
echo $vehicle;

现在，这可以按预期工作，因为任何字符 $arg 都会返回以该字符开头的车辆（当然是小写，但这在这里并不重要）。

仍然很好奇，因为我不清楚为什么前者不起作用，我想知道后者是否会在右关联语言中失败，因为它似乎不会。所以我在java解释器中测试了它。在这里为任何想要尝试并节省几秒钟的人编写代码。

class Main {
  public static void main(String[] args) {


    Character arg = 'a';
    String vehicle = ( ( arg == 'B' ) ? "bus" :
                        ( arg == 'A' ) ? "airplane" :
                        ( arg == 'T' ) ? "train" :
                        ( arg == 'C' ) ? "car" :
                        ( arg == 'H' ) ? "horse" :
                        "feet" );
    System.out.println(vehicle);
    vehicle = ( ( arg != 'B' ) ? 
                    ( arg != 'A' ) ? 
                        ( arg != 'T' ) ? 
                            ( arg != 'C' ) ? 
                                ( arg != 'H' ) ? 
                                "feet" :
                            "horse" :
                        "car" :
                    "train" :
                "airplane" :
            "bus"
    );
    System.out.println(vehicle);
  }
}

这两种格式都适用于 java。那么，php 中给出了什么？我听说它本质上是在评估领先的平等作为最后的平等 ($arg == 'H')。但如果是这样，那就意味着它的行为就像是

$vehicle = ((($arg == 'B') || ($arg == 'A') || ($arg == 'T') ||
             ($arg == 'C') || ($arg == 'H')) ? 'horse' : 'feet');

这对我来说没有意义。在我给出的第二个 php 示例中，我只移动了等式所在的位置，嵌套在三元表达式的 if true 部分，而不是 if false 部分。我不明白为什么如果第二种方法行得通，第一种方法行不通。这似乎更像是一个错误，而不是“它应该是这样工作的”，而且我只是误解了一些事情，我必须如此。

注意：我知道我可以将括号括起来以强制以我想要的方式评估表达式（这显然是右关联的）。我不是在寻找“如何使这项工作”，我想知道为什么它没有。

Answer 1

左结合与右结合是关于将多个运算符串在一起时的优先级，例如A + B + C.

对于三元运算符A ? B : C，这仅在额外的三元运算符替换C 部分（或A 部分）时才有意义：

A ? B : X ? Y : Z
(A ? B : X) ? Y : Z    <-- left-associative (PHP)
A ? B : (X ? Y : Z)    <-- right-associative (Java, C, C++, C#, Perl)

如果中间插入了多余的三元运算符（代替B），只能有一个意思：

A ? X ? Y : Z : C
A ? (X ? Y : Z) : C

这就是为什么 PHP 和 Java 同意第二个的原因。没有应用左/右关联规则。