使用三元运算符时可以通过引用传递吗？

Question

简单的问题，简单的代码。这有效：

$x = &$_SESSION['foo'];

这不起作用：

$x = (isset($_SESSION['foo']))?&$_SESSION['foo']:false;

它抛出 PHP 解析错误：语法错误，意外的“&”。使用条件运算符时是否无法通过引用传递，为什么不呢？如果 ? 和 & 之间有空格，也会发生这种情况。

Answer 1

在非常简单的情况下，这个表达式是非法的；

$c = condition ? &$a : &$b; // Syntax error

可以这样写：

$c = &${ condition ? 'a' : 'b' };

在您的具体情况下，由于如果条件为假，您不会通过引用分配，所以更好的选择似乎是：

$x = isset($_SESSION['foo']) ? $x = &$_SESSION['foo'] : false;

Answer 2

简单的回答：不。你必须用 if/else 绕很远的路。一次有参考，下一次有值的情况也很少见，而且可能会造成混乱。我会发现这更直观，但话又说回来，我当然不知道你的代码：

if(!isset($_SESSION['foo'])) $_SESSION['foo'] = false;
$x = &$_SESSION['foo'];

至于为什么：不知道，可能必须在解析器认为某些东西是值的副本或引用的创建时，这样就无法在解析时确定。

Answer 3

让我们试试：

$x =& true?$y:$x;

Parse error: syntax error, unexpected '?', expecting T_PAAMAYIM_NEKUDOTAYIM in...

$x = true?&$y:&$x;

Parse error: syntax error, unexpected '&' in...

所以，你看，它甚至没有解析。对于为什么不允许这样做，维基百科可能是正确的。

你可以用一个函数来解决这个问题：

function &ternaryRef($cond, &$iftrue, &$iffalse=NULL) {
    if ($cond)
        return $iftrue;
    else
        return $iffalse;
}

$x = 4;
$a = &ternaryRef(true, $x);
xdebug_debug_zval('a');
$b = &ternaryRef(false, $x);
xdebug_debug_zval('b');

给出：

a：

(refcount=2, is_ref=1),int 4

b:

(refcount=1, is_ref=0),null

Answer 4

不幸的是，你不能。

$x=false;
if (isset($_SESSION['foo']))
   $x=&$_SESSION['foo'];

Answer 5

对此错误报告的评论可能会阐明该问题：
http://bugs.php.net/bug.php?id=53117 。

本质上，尝试从三元运算符的结果分配引用的两个问题是：

1. 表达式不能产生引用，并且
2. $x = (expression) 不是引用分配，即使(expression) 是一个引用（实际上不是；参见第 1 点）。