深入理解PHP中赋值与引用

Posted 2020-10-12 镜花水月

 【原文】

先看下面的问题：

1 2 3 4 5 6 7 8

<?php $a = 10;//将常量值赋给变量，会为a分配内存空间   $b = $a;//变量赋值给变量，是不是copy了一份副本，b也分配了内存空间呢？   $c = &$a;//引用是不会为c分配空间的，c和a是共用一份空间的。   ?>

　　对于中间的那个问题，你的答案是什么呢？在今天之前，我的答案是会为b分配内存空间。因为我是这么理解的：

　　&赋值的时候，视为一个变量定义了一个别名，增加了一个对内存空间的引用。改变其中一个，会影响其他的引用。而使用unset()时，只是断开了对变量内存空间的引用，内存空间不会释放。

　　而 = 赋值则不同，它会重新开辟一份内存空间存储原变量的副本。两者之间的修改不会相互影响。

而下面的程序则印证了这一点：

1 2 3 4 5 6 7 8 9 10 11 12

<?php $a = 10;//将常量值赋给变量，会为a分配内存空间   $b = $a;//变量赋值给变量，是不是copy了一份副本，b也分配了内存空间呢？   $c = &$a;//引用是不会为c分配空间的，c和a是共用一份空间的。   $a = 5; echo $c;//输出5，因为a和c 是指向同一个内存空间 echo PHP_EOL; echo $b;//由于b是副本，对a的操作不会影响b，输出10 ?>

那如果  

1	$b = $a;//之后a  和  b 都不做任何改变，保持一致

　　有这么一个问题，如果 = 赋值之后，两个变量都不曾改变，如果是两份副本，岂不是太浪费内存？

     PHP中实际上避免了这种情况。

　　PHP中将一个变量赋值给新变量时，不会立即为新变量分配内存空间，只是增加了对内存空间的引用。当原变量或者新变量作出任何改变时，才会为新变量 分配一块内存空间。

1 2 3 4 5 6 7 8 9

<?php $a = 1; $b = $a;   echo $a; //在此之前，b都是和a共用内存空间的。   $a = 2;//a作出了改变，此时b才会有自己的空间 ?>

　　每个php变量存在一个叫"zval"的变量容器中。一个zval变量容器，除了包含变量的类型和值，还包括两个字节的额外信息。第一个是"is_ref"，是个bool值，用来标识这个变量是否是属于引用集合(referenceset)。通过这个字节，php引擎才能把普通变量和引用变量区分开来，由于php允许用户通过使用&来使用自定义引用，zval变量容器中还有一个内部引用计数机制，来优化内存使用。第二个额外字节是"refcount"，用以表示指向这个zval变量容器的变量(也称符号即symbol)个数。当"refcount"的值是1时，"is_ref"的值总是FALSE. 

　　安装xdebug之后，利用xdebug_debug_zval(),可以看到zval结构：

　　如下：

　　

1 2 3 4 5 6 7 8 9 10

<?php $a = 1; $b = $a;   echo $a; //在此之前，b都是和a共用内存空间的。 xdebug_debug_zval(\'b\'); $a = 2;//a作出了改变，此时b才会有自己的空间 xdebug_debug_zval(\'b\'); ?>

　　输出：

b:

(refcount=2, is_ref=0),

int 

1

b:

(refcount=1, is_ref=0),

int 

1

由上面的结果可以看到，在a作出改变之前，引用计数是2 ，当a作出改变之后，b的引用计数变为1，是因为b重新分配了空间