PHP的變量聲明并賦值后，變量名存在符號表中，而值和類信息存在zval中,zval中包含四個變量，is_ref,refcount,value,type，zval源碼如下
struct _zval_struct {
/* Variable information */
zvalue_value value; /* value */
zend_uint refcount__gc;
zend_uchar type; /* active type */
zend_uchar is_ref__gc;
};
refcount表示value地址與其相同的zval共有多少個,refcount=0時，zval被銷毀
is_ref表示一個zval是否被引用，有“0”和“1”兩種狀態
此處分析一下什么時候zval會被復制或者開辟新的內存空間呢
1.當is_ref=0,且refcount>1時，如果改變某個指向該zval的變量的值，會生成新zval，原zval的refcount--，例如:$a=1;$b=$a;$b=2;,zval將被復制，也就是說原先ab指向同一個zval，后來b會使用新開辟的zval
2.當is_ref=0,且refcount>1時，如果將zval賦值給某個引用變量，那么用來賦值和變量和被賦值的變量會使用同一個原zval，而其他指向原zval的變量將會指向一個新復制的zval，且refcount會被重新計算，例如:$a=1;$b=$a;$c=$a;$d=&$a;,此時ad使用原zval，bc使用新復制出來的zval
3.當is_ref=1,且refcount>1時，如果將zval復制給某個非引用變量，該非引用變量會使用一個新復制的zval，元zval的refcount不變，例如:$a=1;$b=&$a;$c=$a,那么ab使用原zval，而c使用新復制的zval
type表示該zval的值類型，宏定義如下
#define IS_NULL 0
#define IS_LONG 1
#define IS_DOUBLE 2
#define IS_BOOL 3
#define IS_ARRAY 4
#define IS_OBJECT 5
#define IS_STRING 6
#define IS_RESOURCE 7
#define IS_CONSTANT 8
#define IS_CONSTANT_ARRAY 9
value表示該zval的值，他也是個共同體，代碼如下
typedef union _zvalue_value {
long lval; /* long value */
double dval; /* double value */
struct {
char *val;
int len;
} str;
HashTable *ht; /* hash table value */
zend_object_value obj;
} zvalue_value;
現在你知道php是如何類型變換的了，因為他的值存的其實是個可以代表任何類型的結構體，而具體的取值則根據type來決定是用共同體里的哪個變量來存值的
見下面的例子1
.-----------
$a = 1;
$b = $a;
$c = $a;
.-----------
$d = &$a;
.-----------
$a = 2;
.-----------
$b = null;
查看refcount,is_ref,zval的變化
執行完第一部分后來看看輸出
1-----------------------------
a:(refcount=3, is_ref=0),int 1
b:(refcount=3, is_ref=0),int 1
c:(refcount=3, is_ref=0),int 1
可以看出來a，b，c使用同一個zval
再看執行完第二部分的
2----------------------------
a:(refcount=2, is_ref=1),int 1
b:(refcount=2, is_ref=0),int 1
c:(refcount=2, is_ref=0),int 1
d:(refcount=2, is_ref=1),int 1
注意此時a，d在一起了，他們使用同一個zval，而bc使用一個新生成的zval，同時重新計算兩個zval的refcount和is_ref
3----------------------------
a:(refcount=2, is_ref=1),int 2
b:(refcount=2, is_ref=0),int 1
c:(refcount=2, is_ref=0),int 1
d:(refcount=2, is_ref=1),int 2
可以知道ad這兩個is_ref=1的好基友的值是同時改變的
4----------------------------
a:(refcount=2, is_ref=1),int 2
b:(refcount=1, is_ref=0),null
c:(refcount=1, is_ref=0),int 1
d:(refcount=2, is_ref=1),int 2
bc由于他們的zval的is_ref=0，所以他們不是好基友，他們的值不會同時改變，于是bc的zval再次分裂，b = null c = 1
