PHP函数数组参数通过引用

Question

为什么这段代码不能像我预期的那样工作？ 在 Test(&$array) 函数中，我将 ref 参数设置为全局 $array1 但这不起作用。

$array1 = array();
$array2 = array();

function Test(&$array)
{
    global    $array1;
    $array = &$array1;

    $array['inside'] = 'inside';

}

//按功能设置：

Test($array2); 
$array2['test1'] = 'test1';

var_dump($array1); //array('inside' => 'inside') ** WHERE IS THE 'test1'  key? **
var_dump($array2); //array('test1' => 'test1')   ** WHERE IS THE 'inside' key? **

//设置不带函数：

$array2 = &$array1;
$array2['test2'] = 'test2';

var_dump($array1); //array('inside' => 'inside', 'test2' => 'test2') ** FINE **
var_dump($array2); //array('inside' => 'inside', 'test2' => 'test2') ** FINE **

编辑：

很明显，如果我将 $array 更改为指向 $array1 那么 $array1 将具有 'inside' => 'inside' 值 outside 函数。如果我设置 $array2['test1'] = 'test1' 为什么不改变这个 $array1，有什么不清楚的地方？它在函数内部之前“链接”！

Answer 1

当您在函数中执行$array = &$array1; 时，您正在更改局部变量$array 的值。

它曾经引用$array2，但现在它包含对$array1 的引用。所以当你修改$array时，你就是在修改$array1。

Answer 2

这是我对 PHP 中的引用的理解，以及为什么该代码没有达到您的预期（如果我弄错了，请有人跳到我这里，我经常使用引用！另外，我相信还有更好的术语而不是我所说的“标识符”和“价值”；我只是想避免在这两个概念中使用“变量”。）

• 有一堆变量标识符（获取数据的方式）和一堆变量值（数据实际在哪里）
• 对于普通变量，只有一个标识符指向一个值。例如$foo 指的是一个特定的值——PHP 内部某个地方的一个桶，可以保存一个数字、一个字符串等
• 每次使用普通赋值运算符时，例如$foo = 42，PHP 查找指向的值并对其进行更新 - 因此标识符 $foo 没有改变，但它指向的值已经改变。
• 当您分配参考时，例如$bar =& $foo，您实际上是在告诉 PHP 更改标识符本身。所以现在$bar 和$foo 是指向相同值的两个不同标识符。 $foo = -1 和 $bar = -2 都会写入这个值，无论你给它起什么名字，你指的是那个值。
• 到目前为止，一切都很好。但是如果我现在写$foo =& $bob 会怎样？由于我更改的是标识符，而不是值，$foo 开始指向与$bob 相同的值，但$bar 保持原样。所以现在，更改 $foo 不会再对 $bar 产生任何影响。
• 当您通过引用函数传入参数时，也会发生类似的情况。所以在问题的例子中，Test($array2) 行仍然在名为$array 的函数内创建了一个新的标识符，但它指向与@ 相同的值 987654337@。但是，函数内部是行$array = &$array1，它采用新标识符（$array）并将其指向与$array1 相同的值。 $array2 仍然指向的旧值没有改变。
• 还有其他类似的情况。例如，global 和 static 关键字创建了一个额外的标识符，指向一个现有的值。如果你写function foo() { global $foo; $bar = 2; $foo =& $bar; }，只有函数的本地标识符$foo被更新为指向$bar的值；全局标识符（当您在全局范围内时，它恰好也称为 $foo）仍指向其原始值。

PHP 中普通值的引用系统总是包含精确的一级间接 - 例如，您不能像在 C 中那样创建指向指针的指针。

唯一棘手的情况是对象，因为在许多语言中，对象都有自己的额外间接级别 - 而$foo = 42; $bar = $foo; 将表示42 的数据从$foo 的值复制到$bar 的值, $foo = new stdClass; $bar = $foo 复制一个对象指针。所以尽管$foo 和$bar 仍然有单独的值，像$foo = 42 这样的赋值不会对$bar、$foo->a = 1; 和$bar->a = 1 产生任何影响。改变同一个对象。