最近我在一则这样的段落中发现了它：

$x = 2 && $y = 3; echo (int)$x.':'.(int)$y;

该代码片段生产输出 1:3。通过查看运算符优先级表，我发现逻辑运算符||和&&具有比赋值运算符=更高的优先级。因此，第一个表达式应该被视为$x = ($y || 2) = 3;这使得$x = (2 && $y) = 3;，最后评估为$x = false = 3;。其次，赋值运算符具有右置序性，所以解释器应该尝试执行false = 3，这是显然非法的。所以，在我看来，上述提到的代码片段应该无法编译，并且应该抛出解析或运行时错误。但是，相反，该代码片段却生产了1:3。这意味着解释器执行的操作是：

a) $y=3

b) 2 && $y

c) $x = (2 && $y)

为什么这样做而不是根据操作符优先级?