PHP GC回收機制實例詳解

更新時間：2024年01月26日 09:06:29 作者：F12~

GC的全稱是Garbage Collection也就是垃圾回收的意思，在PHP中，是使用引用計數和回收周期來自動管理內存對象的，當一個對象被設置為NULL，或者沒有任何指針指向時，他就會變成垃圾，被GC機制回收掉，這篇文章主要介紹了PHP GC回收機制詳解 ,需要的朋友可以參考下

前言

GC的全稱是Garbage Collection也就是垃圾回收的意思，在PHP中，是使用引用計數和回收周期來自動管理內存對象的，當一個對象被設置為NULL，或者沒有任何指針指向時，他就會變成垃圾，被GC機制回收掉。

環(huán)境配置

php.ini終配置好xdebug，xdebug_debug_zval是用來查看容器變量內容的函數

<?php 
$a = "F12";
xdebug_debug_zval("a");
?>

在PHP GC機制中，當程序終止時就會讓變量的refcount減1，如果refcount-1為0的話，就會銷毀回收該變量

引用計數

is_ref表示該變量是否被引用，操作系統(tǒng)學的好的同學應該很容易理解該內容

<?php 
  $a = "F12";
  $b = &$a;
  xdebug_debug_zval("a");
?>
# 運行結果
a: (refcount=2, is_ref=1)='F12'

$b是$a的引用，所以is_ref=1，同時refcount也會加1，因為此時是有兩個變量的（兩變量指向同一個地址），所以銷毀時要讓refcount減2。
當變量是array類型時，也是一樣的規(guī)則

<?php 
  $a = "F12";
  $arr = array(0=>"test", 1=>&$a);
  xdebug_debug_zval("arr");
?>
# 運行結果
arr: (refcount=1, is_ref=0)=array (0 => (refcount=1, is_ref=0)='test', 1 => (refcount=2, is_ref=1)='F12')

如果我們在引用前將$a銷毀會發(fā)生什么？

<?php 
  $a = "F12";
  unset($a);
  $arr = array(0=>"test", 1=>&$a);
  xdebug_debug_zval("a");
  xdebug_debug_zval("arr");
?>
# 運行結果
a: (refcount=2, is_ref=1)=NULL
arr: (refcount=1, is_ref=0)=array (0 => (refcount=1, is_ref=0)='test', 1 => (refcount=2, is_ref=1)=NULL)

<?php 
  $a = "F12";
  $arr = array(0=>"test", 1=>&$a);
  unset($a);
  xdebug_debug_zval("a");
  xdebug_debug_zval("arr");
?>
# 運行結果
a: no such symbol
arr: (refcount=1, is_ref=0)=array (0 => (refcount=1, is_ref=0)='test', 1 => (refcount=1, is_ref=1)='F12')

第一種情況，$a沒有被銷毀，因為在之后又引用了$a，所以$a只是指向了一個NULL，第二種情況就把$a銷毀了

PHP GC在反序列化中的使用

一個簡單的demo

<?php
class gc{
    public $num;
    public function __construct($num)
    {
        $this->num=$num;
        echo "construct(".$num.")"."\n";
    }
    public function __destruct()
    {
        echo "destruct(".$this->num.")"."\n";
    }
}
$a=new gc(1);
$b=new gc(2);
$c=new gc(3);
# 運行結果
construct(1)
construct(2)
construct(3)
destruct(3)
destruct(2)
destruct(1)

先創(chuàng)建的對象最后銷毀，看看變量的內容情況：

可以看到refcount為1，所以當程序結束時，減1就會被回收
如果我們不把new的gc對象賦值給$a會怎樣？

<?php
class gc{
    public $num;
    public function __construct($num)
    {
        $this->num=$num;
        echo "construct(".$num.")"."\n";
    }
    public function __destruct()
    {
        echo "destruct(".$this->num.")"."\n";
    }
}
new gc(1);
$b=new gc(2);
$c=new gc(3);
# 運行結果
construct(1)
destruct(1)
construct(2)
construct(3)
destruct(3)
destruct(2)

可以看到第一個gc對象，創(chuàng)建完就被回收了，因為沒被其它變量引用，它的refcount一開始就是0，所以直接被回收

繞過Exception異常

思路一

一個簡單的demo：

<?php
class gc{
    public $num;
    public function __construct($num)
    {
        $this->num=$num;
    }
    public function __destruct()
    {
        echo "Hello World!";
    }
}
$a = new gc(1);
$ser = serialize($a);
$b = unserialize($ser);
throw new Exception("F12 is bad");

正常來說會輸出一個Hello World!，但是因為觸發(fā)了異常，所以對象并沒有被回收

我們修改一下代碼：

<?php
class gc{
    public $num;
    public function __construct($num)
    {
        $this->num=$num;
    }
    public function __destruct()
    {
        echo "Hello World!";
    }
}
$a = array(0=>new gc(1),1=>1);
$ser = serialize($a);
echo $ser;
$ser = 'a:2:{i:0;O:2:"gc":1:{s:3:"num";i:1;}i:0;i:1;}';
$b = unserialize($ser);
throw new Exception("F12 is bad");

這里我們我們修改序列化的內容，將$a[0]隨便指向誰，從而使new的gc對象沒有引用的變量，所以觸發(fā)提前回收，跟上面舉的直接new gc，并不賦值是一個道理

思路二

這種方法更加簡單粗暴，我們只需要讓序列化的數據出錯，那么當反序列化時出錯時，也會讓該對象提前回收

<?php
class gc{
    public $num;
    public function __construct($num)
    {
        $this->num=$num;
    }
    public function __destruct()
    {
        echo "Hello World!";
    }
}
$a = new gc(1);
$ser = serialize($a);
echo $ser;
$ser = 'O:2:"gc":1:{s:3:"num";i:1;';
$b = unserialize($ser);
throw new Exception("F12 is bad");

這里我們刪去一個}，依然輸出了Hello World!