1、每一個變量定義時都保存在一個叫zval的容器里面，這里面包含了數量的類型和和值，還包含了一個refcount（理解為存在幾個變量個數）和is_ref（理解為是否為引用變量）兩個額外信息，當變量被引用一次refcount就會+1，當你unset一下之后這個值就會減1直到為0就會從內存中刪除

2、定義一個變量的時候并不是每次都會擴大預定于值，因為PHP會在內存中先預占用一個空間，等你聲明變量的時候就會分配給你，但是當你超出這個預占用空間之后，那么它就會增加空間，但是等你刪除變量時候這個空間容量不會立即消失

3、變量的引用不會單獨的多增加內存占用，它會指向zval結構體，只是refcount+1

4、簡單說說，PHP的變量依賴于一個內部實現 symbol_table 符號表，而符號表的基礎實現是 HashTable ，也就是和PHP數組的基礎實現是一致的。真是因為符號表的存在，讓我們可以使用global標記全局變量，用如compact等函數直接從當前符號表中拉出變量出來。

那在談談題主說的unset($a)會不會馬上釋放空間，答案是否定的，unset支持從符號表中把名字為a的這個元素刪掉了（只是標記這塊空間又可用了，而不是釋放空間）。

再說循環中重復更新$key這種情況，因為更新的是相同名字的變量，所以在符號表中他們是同一個元素，更新時就會更新相同的位置，之前元素的值就馬上被覆蓋了。

再說說申明了新的變量內存就會增加這個問題，答案是不確定。這是符號表基于 HashTable 實現的特性所致， HashTable 并不是增加一個元素就申請一個元素的內存，而是一次申請多個元素的內存（只是這些位置標記是未使用），而當 HashTable 被塞滿時，再去申請新的多個元素的內存。也就是說，當我們申明或者賦值一個變量時，如果它不在符號表中，PHP會將它加入到符號表里，而如果這時候符號表沒滿，那會采用符號表中已申請而未使用的內存，如果符號表剛好的滿的，則會申請新的內存出來存放，而新的內存不僅僅只有這個變量需要的內存這么小