PHP 인용에 대한 자세한 설명 - 함정과 마법의 사용

최근에 "PHP 참조"라는 주제에 관심을 갖고 있으며, 심도 깊은 기사를 많이 읽고 PHP의 "참조"에 대해 더 깊이 이해하게 되었습니다.

0x00

먼저 다음 코드를 살펴보세요.

$foo['hello'] = '0';
$bar = &$foo['hello']; // 引用！
$tipi = $foo;
$tipi['hello'] = '1';

print_r($foo);

Q: 출력 0 또는 출력 1? 답은 1이다.

원리는 무엇인가요?

PHP 커널은 zval 구조를 사용하여 변수를 저장합니다. PHP 코드에서는 xdebug_debug_zval 함수를 사용하여 알아냅니다. zval 结构存储变量，在 PHP 代码里，我们利用 xdebug_debug_zval 函数一探究竟。

修改如上代码：

$foo['hello'] = '0';

xdebug_debug_zval('foo');
$bar = &$foo['hello']; // 引用！
xdebug_debug_zval('foo');

$tipi = $foo;
$tipi['hello'] = '1';

print_r($foo);

输出如下：

foo: (refcount=1, is_ref=0)=array ('hello' => (refcount=1, is_ref=0)='0')
foo: (refcount=1, is_ref=0)=array ('hello' => (refcount=2, is_ref=1)='0')

$foo['hello'] 从非引用变量（is_ref=0）变为引用变量（is_ref=1），而引用计数则为 refcount=2。

为什么会这样？

根据 PHP: 引用做什么 - Manual 的解释：

$a =& $b; 这意味着 $a 和 $b 指向了同一个变量。

$a 和 $b 在这里是完全相同的，这并不是 $a 指向了 $b 或者相反，而是 $a 和 $b 指向了同一个地方。

结合我们的例子，也就是说，当 $bar = &$foo['hello']; 执行时，$bar 和 $foo['hello'] 都成为了「引用变量」，且它们「指向了同一个地方」。

那么当我们复制此数组时，也复制了它 hello 元素的引用；当 $tipi['hello'] = '1'; 执行时，就修改了 tipi['hello'] 、$foo['hello'] 以及 $bar 所指向的「同一个地方」。

于是，$foo['hello'] 的值理所当然地成为了 1。

0x01

略有深入引用的 PHPer 应该都试过这种语法：

for ($list as &$value) {
    $value = 'foo';
}

PHP 在控制结构后不会回收变量，此处不多讲解；于是刚刚的坑，其实可以延伸一下。

$foo['hello'] = '0';
$foo['world'] = 'A';
foreach($foo as &$value) { // 引用！
    // Do nothing.
}
$tipi = $foo;
$tipi['hello'] = '1';
$tipi['world'] = 'B';
print_r($foo);

此处输出如下：

Array
(
    [hello] => 0
    [world] => B
)

hello 正常，而 world 被修改为 B！原因可以结合 xdebug_debug_zval 函数自行探究。

所以，随手 unset($value); 是个好习惯。

0x02

其实引用也不全是坑。好处还是大大地有。

举例：

$catList = [
    '1' => ['id' => 1, 'name' => '颜色', 'parent_id' => 0],
    '2' => ['id' => 2, 'name' => '规格', 'parent_id' => 0],
    '3' => ['id' => 3, 'name' => '白色', 'parent_id' => 1],
    '4' => ['id' => 4, 'name' => '黑色', 'parent_id' => 1],
    '5' => ['id' => 5, 'name' => '大', 'parent_id' => 2],
    '6' => ['id' => 6, 'name' => '小', 'parent_id' => 2],
    '7' => ['id' => 7, 'name' => '黄色', 'parent_id' => 1],
];

如何实现将如上顺序表转换为层级树？

过去，或者说通常情况下我们首先想到的是递归回溯。

不过，利用 PHP 的引用特性，可以将时间复杂度降低到 O(n)

위 코드 수정:

$treeData = [];
foreach ($catList as $item) {
    if (isset($catList[$item['parent_id']]) && !empty($catList[$item['parent_id']])) {
        // 子分类
        $catList[$item['parent_id']]['children'][] = &$catList[$item['id']];
    } else {
        // 一级分类
        $treeData[] = &$catList[$item['id']];
    }
}

var_export($treeData);

출력은 다음과 같습니다. rrreee$foo['hello']는 비참조 변수(is_ref=0)에서 변경됩니다. >)를 참조 변수( is_ref=1)에 추가하고 참조 카운트는 refcount=2입니다. 왜 이런 일이 일어나는 걸까요? PHP에 따르면: 인용문의 역할 - 수동 설명:

🎜 $a =& $b; 이는 $a와 $b가 동일한 변수를 가리킨다는 의미입니다. 🎜🎜$a와 $b는 여기서 $a가 $b를 가리키거나 그 반대가 아니라 $a와 $b가 같은 위치를 가리킵니다. 🎜

🎜우리의 예와 결합하면, 즉 $bar = &$foo['hello'];가 실행될 때 $bar 및 $foo['hello']는 "참조 변수"가 되었으며 "같은 위치를 가리킵니다". 🎜🎜그런 다음 이 배열을 복사할 때 $tipi['hello'] = '1';가 실행될 때 hello 요소의 참조도 복사합니다. tipi['hello'], $foo['hello'] 및 $bar가 가리키는 "동일한 장소"입니다. 🎜🎜그러면 $foo['hello']의 값은 자연스럽게 1이 됩니다. 🎜🎜0x01🎜🎜PHP에서는 다음 구문을 시도해 보아야 합니다. 🎜rrreee🎜PHP는 구조를 제어한 후 변수를 재활용하지 않으므로 여기서는 설명하지 않겠습니다. 따라서 지금의 함정은 실제로 확장될 수 있습니다. 🎜rrreee🎜여기의 출력은 다음과 같습니다. 🎜rrreee🎜hello는 정상이지만 world는 B로 수정되었습니다! 그 이유는 xdebug_debug_zval 함수를 사용하여 직접 확인할 수 있습니다. 🎜🎜그래서 unset($value);를 부담없이 사용하는 것이 좋은 습관입니다. 🎜🎜0x02🎜🎜사실 인용문이 전부 함정은 아닙니다. 여전히 큰 이점이 있습니다. 🎜🎜예: 🎜rrreee🎜위의 시퀀스 테이블을 계층 트리로 변환하는 방법은 무엇입니까? 🎜🎜과거에는 일반적으로 우리가 가장 먼저 생각한 것이 재귀 역추적이었습니다. 🎜🎜그러나 PHP의 참조 기능을 사용하면 시간 복잡도를 O(n)으로 줄일 수 있습니다. 🎜rrreee🎜🎜PHP 관련 기술 기사를 더 보려면 🎜🎜🎜PHP Tutorial🎜🎜🎜 칼럼을 방문하여 알아보세요! 🎜🎜

위 내용은 PHP 인용에 대한 자세한 설명 - 함정과 마법의 사용의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!