为什么当 PHP 数组的元素被引用分配时会被修改？-解网

问：

当 ref 分配数组的元素时，数组的内容将被修改：

$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)

这似乎很奇怪。这种奇怪的解释是什么？

PHP 数组引用 php-internals

引用只是符号表中相同值的“附加”条目。符号表只能包含它指向的值，而不能包含值中的值。符号表不能指向数组中的索引，它只能指向一个值。因此，当您要引用数组索引时，将从数组中取出该索引处的值，为其创建一个符号，并且数组中的插槽获取对该值的引用：

$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

以上只是一个任意选择的“伪”名称，它与实际的PHP语法或内部实际引用值的方式无关。$1

根据注释中的要求，以下是符号表通常与引用的行为方式：

$a = 1;

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


$b = 1;

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


$c =& a;

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

为什么当 PHP 数组的元素被引用分配时会被修改？

Why does a PHP array get modified when it's element is reference-assigned?

评论

评论