深入理解 PHP7 中全新的 zval 容器和引用计数机制
深入理解 PHP7 中全新的 zval 容器和引用計數機制
最近在查閱 PHP7 垃圾回收的資料的時候，網上的一些代碼示例在本地環境下運行時出現了不同的結果，使我一度非常迷惑。 仔細一想不難發現問題所在：這些文章大多是 PHP5.x 時代的，而 PHP7 發布后，采用了新的 zval 結構，相關的資料也比較貧瘠，所以我結合一些資料做了一個總結，?主要側重于解釋新 zval 容器中的引用計數機制?，如有謬誤，還望不吝指教。
PHP7 中新的 zval 結構
明人不說暗話，先看代碼！
對于該結構的詳細描述可以參考文末鳥哥的文章，寫的非常詳細，我就不關公面前耍大刀了，這里我只提出幾個比較關鍵的點：
6.
zend_reference作為?zval_struct中包含的一種 value 類型，也擁有自己的 val 值，這個值是指向一個?zval_struct.value的。他們都擁有自己的 引用計數器 。
?
引用計數器用來記錄當前有多少 zval 指向同一個 zend_value 。
針對第六點，請看如下代碼：
此時的數據結構是這樣的：
$a 與 $b 各擁有一個 zval_struct容器，并且其中的 value 都指向同一個
zend_reference結構，?zend_reference內嵌一個 val 結構， 指向同一個 zend_string ， 字符串的內容 就儲存在其中。
?
而 $c 也擁有一個 zval_struct，而它的 value 在初始化的時候可以直接指向上面提到的 zend_string ，這樣在拷貝時就不會產生復制。
下面我們就聊一聊在這種全新的 zval 結構中，會出現的種種現象，和這些現象背后的原因。
問題
一. 為什么某些變量的引用計數器的初始值為 0
現象
原因
在 PHP7 中，為一個變量賦值的時候，包含了兩部分操作：
- IS_LONG
- IS_DOUBLE
即我們在 PHP 中的 整形 與 浮點型 。
那么 var_str 的 refcount 為什么也是 0 呢？
這就牽扯到 PHP 中字符串的兩種類型：
1.interned string 內部字符串（函數名、類名、變量名、靜態字符串）：
?
$str = '233';??? // 靜態字符串
?
2.普通字符串：
?
$str = '233' . time();
?
對于 內部字符串 而言，字符串的內容是唯一不變的，相當于 C 語言中定義在靜態變量區的字符串， 他們的生存周期存在于整個請求期間，request 完成后會統一銷毀釋放 ，自然也就無需通過引用計數進行內存管理。
二. 為什么在對整形、浮點型和靜態字符串型變量進行引用賦值時，計數器的值會直接變為2
現象
原因
回憶一下我們開頭講的 zval_struct中 value 的數據結構，當為一個變量賦 整形 、 浮點型 或 靜態字符串 類型的值時，value 的數據類型為 zend_long 、 double 或 zend_string ，這時值是可以直接儲存在 value 中的。而按值拷貝時，會開辟一個新的 zval_struct以同樣的方式將值儲存到相同數據類型的 value 中，所以 refcount 的值一直都會為 0。
但是當使用 & 操作符進行引用拷貝時，情況就不一樣了：
此時： var_int_2 都擁有一個 zval_struct結構體，并且他們的 zval_struct.value都指向了同一個 zend_reference結構，所以該結構的引用計數器的值為 2。
題外話：zend_reference又指向了一個整形或浮點型的 value，如果指向的 value 類型是 zend_string，那么該 value 引用計數器的值為 1。而 xdebug 出來的 refcount 顯示的是 zend_reference的計數器值（即 2）
三. 為什么初始數組的引用計數器的值為 2
現象
原因
這牽扯到 PHP7 中的另一個概念，叫做 immutable array （不可變數組）。 關于 immutable array 的詳細介紹我放到下篇文章中講，這里我們只需要知道，這樣定義的數組，叫做 不可變數組 。
For arrays the not-refcounted variant is called an "immutable array". If you use opcache, then constant array literals in your code will be converted into immutable arrays. Once again, these live in shared memory and as such must not use refcounting. Immutable arrays have a dummy refcount of 2, as it allows us to optimize certain separation paths.
不可變數組和我們上面講到的 內部字符串 一樣，都是 不使用引用計數 的，但是不同點是，內部字符串的計數值恒為 0，而不可變數組會使用一個 偽計數值 2。
?
參考文章:
- 深入解析PHP的引用計數機制
- PHP 應用容器化以及部署方法
- PHP解耦的三重境界（淺談服務容器）
轉載于:https://www.cnblogs.com/sohuhome/p/9800977.html
總結
以上是生活随笔為你收集整理的深入理解 PHP7 中全新的 zval 容器和引用计数机制的全部內容，希望文章能夠幫你解決所遇到的問題。
- 上一篇： 十进制大数的加法运算
- 下一篇： 在CentOS7阿里云服务器部署Thin