PHP:通过引用分配数组元素变量的副作用

Question

我想知道通过引用分配 PHP 变量的副作用是如何在幕后工作的(注意，我问的是变量分配，而不是通过引用函数传递参数；就像在 C++ 中一样，两者可以有所不同，PHP 在底层分别对这两个操作进行了编程)。

基本上，我正在寻求以下解释:

$a = array(111, 222, 333);
$dummyReferenceVariable = &$a[0];
$b = $a;
$b[0] = "change everything: both a[0] and b[0]";

创建虚拟变量后，分配给 $b[0] 将改变 $a[0]，即使 $dummyReferenceVariable > 从未使用过。为什么？

Answer 1

要了解此类副作用如何发挥作用，请考虑以下代码片段:

$a = array(111, 222, 333);
$b = $a;
$b[0] = 999;

var_dump($a, $b);

$dummyReferenceVariable = &$a[0]; 

$dummyReferenceVariable = 444;

var_dump($a, $b);

$c = $a;
$d = $b;

var_dump($a, $b, $c, $d);

$a[0] = 555;
$b[0] = 666;
$c[0] = 777;
$d[0] = 888;

var_dump($a, $b, $c, $d);

我将用下图说明幕后发生的情况(当数组按值分配时内部发生的情况已由 this post 涵盖)，其答案中的示例与此示例相同，尽管问题问的是一个不同的问题:

注意:在图中橙色链接的行为是，当分配指向数组元素所属的数组时，数组副本中相应的数组元素将指向与相同的位置禁用写入时复制。另一方面，黑色链接表示当分配数组元素时，该值将被复制到新的内存位置(写入时复制):

为了阐明我的观点，这里是程序的输出:

array(3) {
  [0]=>
  int(111)
  [1]=>
  int(222)
  [2]=>
  int(333)
}
array(3) {
  [0]=>
  int(999)
  [1]=>
  int(222)
  [2]=>
  int(333)
}
array(3) {
  [0]=>
  &int(444)
  [1]=>
  int(222)
  [2]=>
  int(333)
}
array(3) {
  [0]=>
  int(999)
  [1]=>
  int(222)
  [2]=>
  int(333)
}
array(3) {
  [0]=>
  &int(444)
  [1]=>
  int(222)
  [2]=>
  int(333)
}
array(3) {
  [0]=>
  int(999)
  [1]=>
  int(222)
  [2]=>
  int(333)
}
array(3) {
  [0]=>
  &int(444)
  [1]=>
  int(222)
  [2]=>
  int(333)
}
array(3) {
  [0]=>
  int(999)
  [1]=>
  int(222)
  [2]=>
  int(333)
}
array(3) {
  [0]=>
  &int(777)
  [1]=>
  int(222)
  [2]=>
  int(333)
}
array(3) {
  [0]=>
  int(666)
  [1]=>
  int(222)
  [2]=>
  int(333)
}
array(3) {
  [0]=>
  &int(777)
  [1]=>
  int(222)
  [2]=>
  int(333)
}
array(3) {
  [0]=>
  int(888)
  [1]=>
  int(222)
  [2]=>
  int(333)
}

---

---

注意。这种特性仅在将引用分配给数组元素时才会发生，如以下简单代码片段所证实:

// ASSIGNING REFERENCE VALUES TO SCALARS (INSTEAD OF ARRAY ELEMENTS) WORK AS EXPECTED:

$a = 111;
$aRef = &$a;

$a = 222;
var_dump($a, $aRef); // 222, 222

$aRef = 333;
var_dump($a, $aRef); // 333, 333

$c = $a;
$d = $aRef;

$c = 444;
$d = 555;

var_dump($a, $aRef, $c, $d); // 333, 333, 444, 555

按预期输出以下内容:

int(222)
int(222)
int(333)
int(333)
int(333)
int(333)
int(444)
int(555)

以下是上述标量情况下发生的情况: