深入理解PHP中赋值与引用

转载

mob604756ee63c0 2019-03-30 09:19:00

先看下面的问题：

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'``);` `?>`