为什么PHP元素在引用元素时会被修改？

Question

在引用数组的元素时,会修改数组的内容:

$arr = array(100, 200);
var_dump($arr);
/* shows:
array(2) {
  [0]=>
  int(100)  // ? ? ? int(100)
  [1]=>
  int(200)
}
*/

$r = &$arr[0];
var_dump($arr);
/* shows:
array(2) {
  [0]=>
  &int(100)  // ? ? ? &int(100)
  [1]=>
  int(200)
}
*/

Live run. (Zend Engine会很好,而HHVM显示"进程退出代码153".)

为什么要修改元素？

我们为什么要看&int(100)而不是int(100)？

这看起来很奇怪.这种奇怪的解释是什么？

Answer 1

我已经回答了一段时间,但现在找不到答案.我相信它是这样的:

对于相同的值,引用只是符号表中的"附加"条目.符号表只能有值,它指向,而不是值的值.符号表不能指向数组中的索引,它只能指向一个值.因此,当您想要引用数组索引时,该索引处的值将从数组中取出,为其创建一个符号,并且数组中的插槽将获取对该值的引用:

$foo = array('bar');

symbol | value
-------+----------------
foo    | array(0 => bar)

$baz =& $foo[0];

symbol | value
-------+----------------
foo    | array(0 => $1)
baz    | $1
$1     | bar              <-- pseudo entry for value that can be referenced

因为这是不可能的:

symbol | value
-------+----------------
foo    | array(0 => bar)
baz    | &foo[0]          <-- not supported by symbol table

在$1以上仅仅是任意选择的"伪"的名字,它没有任何实际的PHP语法或怎样的价值实际上是内部参考.

根据注释中的请求,这里符号表通常如何表示引用:

$a = 1;

symbol | value
-------+----------------
a      | 1


$b = 1;

symbol | value
-------+----------------
a      | 1
b      | 1


$c =& a;

symbol | value
-------+----------------
a, c   | 1
b      | 1