使用serialize 時避免無限遞歸的陷阱

gitbox 2025-05-19

在PHP 編程中， serialize函數用於將對像或數組轉換為字符串形式，使其能夠存儲或傳輸。然而，當我們在序列化對象時，如果對像中有引用其他對象的屬性，且這些對象之間有相互引用關係（例如，A 引用了B，B 又引用了A），就可能會導致無限遞歸的發生，進而造成棧溢出，最終導致腳本崩潰。

本文將探討如何在使用PHP 的serialize函數時避免陷入無限遞歸的陷阱。

1. 序列化函數的基本使用

PHP 中的serialize函數將PHP 值轉換為可存儲或傳輸的格式。通常用於對像或數組的持久化存儲。例如：

 <?php
$array = array("name" => "GitBox", "url" => "https://gitbox.net");
$serialized = serialize($array);
echo $serialized;
?>

2. 無限遞歸的產生

無限遞歸的陷阱通常出現在對象之間存在循環引用時。例如：

 <?php
class Node {
    public $name;
    public $child;
    
    public function __construct($name) {
        $this->name = $name;
    }
    
    public function setChild($child) {
        $this->child = $child;
    }
}

$node1 = new Node("Node 1");
$node2 = new Node("Node 2");
$node1->setChild($node2);
$node2->setChild($node1);

$serialized = serialize($node1); // 這裡將導致無限遞歸
?>

在上面的代碼中， $node1和$node2相互引用。當serialize($node1)被調用時，PHP 將開始序列化$node1對象，它會序列化node1的child屬性，這時child屬性指向$node2 。然後PHP 會繼續序列化$node2 ，再回來序列化$node1 ，這樣就會形成無限遞歸，導致內存溢出。

3. 如何避免無限遞歸

為了避免在使用serialize時陷入無限遞歸的陷阱，我們可以採取以下幾種方法：

3.1 使用__sleep魔術方法

PHP 提供了一個魔術方法__sleep ，它允許我們指定哪些屬性應該被序列化。如果某個對象屬性會引發遞歸，使用__sleep方法過濾掉這些屬性。

 <?php
class Node {
    public $name;
    public $child;
    
    public function __construct($name) {
        $this->name = $name;
    }

    public function setChild($child) {
        $this->child = $child;
    }

    public function __sleep() {
        return ['name']; // 僅序列化 $name 屬性，避免循環引用
    }
}

$node1 = new Node("Node 1");
$node2 = new Node("Node 2");
$node1->setChild($node2);
$node2->setChild($node1);

$serialized = serialize($node1); // 這裡不會發生遞歸
echo $serialized;
?>

通過在__sleep中返回一個屬性列表，我們可以控制哪些屬性會被序列化，這樣就避免了遞歸的發生。

3.2 使用SplObjectStorage存儲對象

SplObjectStorage是一個專門用於存儲對象的類，可以在存儲時避免重複對象導致的遞歸問題。我們可以利用它來避免遞歸的問題。

 <?php
class Node {
    public $name;
    public $child;
    
    public function __construct($name) {
        $this->name = $name;
    }

    public function setChild($child) {
        $this->child = $child;
    }
}

$node1 = new Node("Node 1");
$node2 = new Node("Node 2");
$node1->setChild($node2);
$node2->setChild($node1);

$storage = new SplObjectStorage();
$storage->attach($node1);
$storage->attach($node2);

$serialized = serialize($storage); // 這裡不會發生遞歸
echo $serialized;
?>

SplObjectStorage內部會跟踪對象的引用，因此我們可以避免循環引用導致的無限遞歸。

3.3 自定義__wakeup魔術方法

在某些情況下，我們可能希望恢復序列化後的對象時進行一些額外的檢查。 PHP 提供了__wakeup魔術方法，允許我們在對象反序列化時執行一些操作。

 <?php
class Node {
    public $name;
    public $child;
    
    public function __construct($name) {
        $this->name = $name;
    }

    public function setChild($child) {
        $this->child = $child;
    }

    public function __wakeup() {
        if ($this->child === $this) {
            $this->child = null; // 防止反序列化時出現循環引用
        }
    }
}

$node1 = new Node("Node 1");
$node2 = new Node("Node 2");
$node1->setChild($node2);
$node2->setChild($node1);

$serialized = serialize($node1); 
echo $serialized;

$unserialized = unserialize($serialized); // 這裡會自動清除循環引用
?>

在__wakeup方法中，我們檢測並清除循環引用，避免在反序列化時再次進入遞歸。

通過這些方法，我們能夠有效避免PHP 序列化時可能導致的無限遞歸問題，確保程序在處理對象時不會因為循環引用而崩潰。希望本文能幫助你更好地理解如何在PHP 中使用serialize函數時避免遞歸陷阱。如果你有任何問題，歡迎繼續討論！

serialize