一、內存管理機制

先看一段代碼：<?php 

//內存管理機制 

var_dump(memory_get_usage());

//獲取內存方法，加上true返回實際內存，不加則返回表現內存 

$a = "laruence"; 

var_dump(memory_get_usage()); 

unset($a); 

var_dump(memory_get_usage());

//輸出(在我的個人電腦上, 可能會因為系統,pHp版本,載入的擴展不同而不同):

//int 240552

//int 240720

//int 240552

定義變量之后，內存增加，清除變量之后，內存恢復（有些可能不會恢復和以前一樣），好像定義變量時申請了一次內存，其實不是這樣的，php會預先申請一塊內存，不會每次定義變量就申請內存。

首先我們要打破一個思維: pHp不像C語言那樣, 只有你顯示的調用內存分配相關ApI才會有內存的分配. 也就是說, 在pHp中, 有很多我們看不到的內存分配過程.
比如對于:
$a = "laruence";
隱式的內存分配點就有:
1.1. 為變量名分配內存, 存入符號表
2.2. 為變量值分配內存
所以, 不能只看表象.
第二, 別懷疑,pHp的unset確實會釋放內存, 但這個釋放不是C編程意義上的釋放, 不是交回給OS.
對于pHp來說, 它自身提供了一套和C語言對內存分配相似的內存管理ApI:　

emalloc(size_t size);
efree(void *ptr);
ecalloc(size_t nmemb, size_t size);
erealloc(void *ptr, size_t size);
estrdup(const char *s);
estrndup(const char *s, unsigned int length);

這些ApI和C的ApI意義對應, 在pHp內部都是通過這些ApI來管理內存的.
當我們調用emalloc申請內存的時候, pHp并不是簡單的向OS要內存, 而是會像OS要一個大塊的內存, 然后把其中的一塊分配給申請者, 這樣當再有邏輯來申請內存的時候, 就不再需要向OS申請內存了, 避免了頻繁的系統調用.

比如以下的例子:

var_dump(memory_get_usage(true));//注意獲取的是real_size
$a = "laruence";
var_dump(memory_get_usage(true));
unset($a);
var_dump(memory_get_usage(true));
//輸出
//int 262144
//int 262144
//int 262144

也就是我們在定義變量$a的時候, pHp并沒有向系統申請新內存.同樣的, 在我們調用efree釋放內存的時候, pHp也不會把內存還給OS, 而會把這塊內存, 歸入自己維護的空閑內存列表. 而對于小塊內存來說, 更可能的是, 把它放到內存緩存列表中去

$a = "hello";
//定義變量時，存儲兩個方面：
//1.變量名，存儲在符號表
//2.變量值存儲在內存空間
//3.在刪除變量的時候，會將變量值存儲的空間釋放，而變量名所在的符號表不會減小（只增不減）

只增不減的數組
Hashtable是pHp的核心結構, 數組也是用她來表示的, 而符號表也是一種關聯數組, 對于如下代碼:

var_dump(memory_get_usage());
for($i=0;$i<100;$i++)
{
    $a = "test".$i;
    $$a = "hello";
}
var_dump(memory_get_usage());
for($i=0;$i<100;$i++)
{
    $a = "test".$i;
    unset($$a);
}
var_dump(memory_get_usage());

我們定義了100個變量, 然后又按個Unset了他們, 來看看輸出:

//int 242104
//int 259768
//int 242920

怎么少了這么多內存?
這是因為對于Hashtable來說, 定義它的時候, 不可能一次性分配足夠多的內存塊, 來保存未知個數的元素, 所以pHp會在初始化的時候, 只是分配一小部分內存塊給Hashtable, 當不夠用的時候再RESIZE擴容。而Hashtable, 只能擴容, 不會減少, 對于上面的例子, 當我們存入100個變量的時候, 符號表不夠用了, 做了一次擴容, 而當我們依次unset掉這100個變量以后, 變量占用的內存是釋放了(118848 – 104448), 但是符號表并沒有縮小, 所以這些少的內存是被符號表本身占去了…

二、垃圾回收機制

pHp變量存儲在一個zval容器里面的
1.變量類型

 2. 變量值

3. is_ref 代表是否有地址引用

4. refcount 指向該值的變量數量

變量賦值的時候：is_ref為false， refcount為1

$a = 1;
xdebug_debug_zval('a');
echo pHp_EOL;//換行符，提高代碼的源代碼級可移植性

輸出：

a:

(refcount=1, is_ref=0),
int

 1

將變量a的值賦給變量b，變量b不會立刻去在內存中存儲值，而是先指向變量a的值，一直到變量a有任何操作的時候

$b = $a;
xdebug_debug_zval('a');
echo pHp_EOL;

輸出：