核心要點(diǎn)

• Liskov 替換原則 (LSP) 是面向?qū)ο缶幊讨械囊粋€(gè)關(guān)鍵概念，它確保子類可以替換其基類抽象，而不會(huì)破壞與客戶端代碼的契約。它維護(hù)系統(tǒng)設(shè)計(jì)的完整性，對(duì)於代碼的可重用性至關(guān)重要。
• 在子類中重寫方法時(shí)，必須滿足某些要求：其簽名必須與父類的簽名匹配；其前提條件必須相同或更弱；其後置條件必須相同或更強(qiáng)；異常（如果有）必須與父類拋出的異常類型相同。
• 違反 LSP 會(huì)導(dǎo)致難以追蹤的意外行為和錯(cuò)誤。它還會(huì)使代碼更難維護(hù)和擴(kuò)展，因?yàn)樽宇惪梢蕴鎿Q其超類的假設(shè)不再成立。
• 方法重寫並不總是違反 LSP。但是，如果重寫的方法以超類契約中未預(yù)期的方式改變了原始方法的行為，則會(huì)違反 LSP。
• 為了確保代碼符合 LSP，最好創(chuàng)建僅擴(kuò)展（而不是重寫）其基類功能的子類。此外，使用組合而不是繼承以及實(shí)現(xiàn)接口可以幫助創(chuàng)建派生類不會(huì)破壞 LSP 施加的條件的抽象。

虛構(gòu)場(chǎng)景：黑客與矩陣

以下對(duì)話來自《黑客帝國(guó)》三部曲的一個(gè)被刪減的場(chǎng)景：

墨菲斯：尼奧，我現(xiàn)在就在矩陣裡。很抱歉要告訴你這個(gè)壞消息，但我們的特工追蹤 PHP 程序需要快速更新。它目前使用 PDO 的 query() 方法（帶字符串）從我們的數(shù)據(jù)庫(kù)中獲取所有矩陣特工的狀態(tài)，但我們需要改用預(yù)處理查詢。

尼奧：聽起來不錯(cuò)，墨菲斯。我能拿到程序的副本嗎？

墨菲斯：沒問題?？寺∥覀兊膫}(cāng)庫(kù)，看看 AgentMapper.php 和 index.php 文件。

(尼奧執(zhí)行一些 Git 命令，以下代碼出現(xiàn)在他眼前)

<?php namespace ModelMapper;

class AgentMapper
{
    protected $_adapter;
    protected $_table = "agents";

    public function __construct(PDO $adapter) {
        $this->_adapter = $adapter;
    }

    public function findAll() {
        try {
            return $this->_adapter->query("SELECT * FROM " . $this->_table, PDO::FETCH_OBJ);
        }
        catch (Exception $e) {
            return array();
        }
    }   
}

<?php use ModelMapperAgentMapper;

// 一個(gè) PSR-0 兼容的類加載器
require_once __DIR__ . "/Autoloader.php";

$autoloader = new Autoloader();
$autoloader->register();

$adapter = new PDO("mysql:dbname=Nebuchadnezzar", "morpheus", "aa26d7c557296a4e8d49b42c8615233a3443036d");

$agentMapper = new AgentMapper($adapter);
$agents = $agentMapper->findAll();

foreach ($agents as $agent) {
    echo "Name: " . $agent->name .  " - Status: " . $agent->status . "<br>";
}

尼奧：墨菲斯，我剛拿到文件。我將子類化 PDO 並重寫它的 query() 方法，以便它可以使用預(yù)處理查詢。由於我的超能力，我應(yīng)該能夠很快完成這個(gè)工作。保持冷靜。

(電腦鍵盤的敲擊聲迴盪在空氣中)

尼奧：墨菲斯，子類已經(jīng)準(zhǔn)備好測(cè)試了。隨時(shí)檢查一下。

(墨菲斯在他的筆記本電腦上快速搜索，看到了下面的類)

<?php namespace LibraryDatabase;

class PdoAdapter extends PDO
{
    protected $_statement;

    public function __construct($dsn, $username = null, $password = null, array $driverOptions = array()) {
        // 檢查是否傳遞了有效的 DSN
        if (!is_string($dsn) || empty($dsn)) {
            throw new InvalidArgumentException("The DSN must be a non-empty string.");
        }
        try {
            // 嘗試創(chuàng)建一個(gè)有效的 PDO 對(duì)象并設(shè)置一些屬性。
            parent::__construct($dsn, $username, $password, $driverOptions);
            $this->setAttribute(PDO::ATTR_ERRMODE, PDO::ERRMODE_EXCEPTION);
            $this->setAttribute(PDO::ATTR_EMULATE_PREPARES, false);
        }
        catch (PDOException $e) {
            throw new RunTimeException($e->getMessage());
        }
    }

    public function query($sql, array $parameters = array())
    {
        try {
           $this->_statement = $this->prepare($sql);
           $this->_statement->execute($parameters);
           return $this->_statement->fetchAll(PDO::FETCH_OBJ);        
        }
        catch (PDOException $e) {
            throw new RunTimeException($e->getMessage());
        }
    }
}

墨菲斯：適配器看起來不錯(cuò)。我馬上試試，看看我們的特工映射器是否能夠跟蹤穿越矩陣的活動(dòng)特工。祝我好運(yùn)。

(墨菲斯猶豫了一下，運(yùn)行之前的 index.php 文件，這次使用尼奧的傑作 PdoAdapter 類。然後，一聲尖叫！)

墨菲斯：尼奧，我相信你就是“救世主”！只是我的臉上出現(xiàn)了一個(gè)可怕的致命錯(cuò)誤，消息如下：

<code>Catchable fatal error: Argument 2 passed to LibraryDatabasePdoAdapter::query() must be an array, integer given, called in path/to/AgentMapper on line (who cares?)</code>

(另一聲尖叫)

尼奧：出了什麼問題？ ！出了什麼問題？ ！ (更多的尖叫)

墨菲斯：我真的不知道。哦，史密斯探員現(xiàn)在要來抓我了！ (通訊突然中斷。長(zhǎng)時(shí)間的沉寂結(jié)束了對(duì)話，暗示墨菲斯措手不及，被史密斯探員嚴(yán)重傷害了。)

LSP 不代表懶惰、愚蠢的程序員

不必說，上面的對(duì)話是虛構(gòu)的，但問題無疑是真實(shí)的。如果尼奧像他曾經(jīng)那樣著名的黑客那樣，只學(xué)習(xí)了一兩件關(guān)於 Liskov 替換原則 (LSP) 的知識(shí)，史密斯探員就可以立即被追蹤到。最重要的是，墨菲斯可以免受探員的惡意意圖。對(duì)他來說真是太可惜了。然而，在許多情況下，PHP 開發(fā)人員對(duì) LSP 的看法與尼奧之前的看法幾乎一樣：LSP 不過是一個(gè)純粹主義者的理論原則，在實(shí)踐中幾乎沒有應(yīng)用。但他們走錯(cuò)了路。即使 LSP 的正式定義讓人眼花繚亂（包括我），但其核心是避免定義不明確的類層次結(jié)構(gòu)，其中後代的行為與使用相同契約的基類抽像大相徑庭。簡(jiǎn)單來說，LSP 規(guī)定，在子類中重寫方法時(shí)，必須滿足以下要求：

1. 其簽名必須與父類的簽名匹配
2. 其前提條件（接受什麼）必須相同或更弱
3. 其後置條件（預(yù)期什麼）必須相同或更強(qiáng)
4. 異常（如果有）必須與父類拋出的異常類型相同

現(xiàn)在，請(qǐng)隨意再次閱讀上面的列表（別擔(dān)心，我會(huì)等），您希望能夠明白為什麼這很有道理?；氐绞纠?，尼奧的致命錯(cuò)誤只是沒有保持方法簽名相同，從而破壞了與客戶端代碼的契約。為了解決這個(gè)問題，特工映射器的 findAll() 方法可以用一些條件語句（明顯的代碼異味）重寫，如下所示：

<?php namespace ModelMapper;

class AgentMapper
{
    protected $_adapter;
    protected $_table = "agents";

    public function __construct(PDO $adapter) {
        $this->_adapter = $adapter;
    }

    public function findAll() {
        try {
            return $this->_adapter->query("SELECT * FROM " . $this->_table, PDO::FETCH_OBJ);
        }
        catch (Exception $e) {
            return array();
        }
    }   
}

如果您心情好，嘗試重構(gòu)後的方法，它會(huì)運(yùn)行良好，無論使用的是原生 PDO 對(duì)像還是 PDO 適配器的實(shí)例。我知道這聽起來很粗糙，但這只是一個(gè)快速簡(jiǎn)便的修復(fù)，它公然違反了開閉原則。另一方面，可以重構(gòu)適配器的 query() 方法以匹配其重寫父類的簽名。但這樣做，LSP 陳述的所有其他條件也應(yīng)該滿足。簡(jiǎn)而言之，這意味著應(yīng)該謹(jǐn)慎地進(jìn)行方法重寫，並且只有在非常強(qiáng)烈的理由下才能進(jìn)行。在許多用例中，假設(shè)無法使用接口，最好創(chuàng)建僅擴(kuò)展（而不是重寫）其基類功能的子類。在尼奧的 PDO 適配器的情況下，這種方法將完美運(yùn)行，並且絕對(duì)不會(huì)在任何級(jí)別破壞客戶端代碼。正如我剛才所說，還有一個(gè)更有效——但更激進(jìn)——的解決方案，它利用了實(shí)現(xiàn)接口的好處。雖然之前的 PDO 適配器是通過繼承創(chuàng)建的，並且不可否認(rèn)地違反了 LSP 的戒律，但缺陷實(shí)際上來自最初設(shè)計(jì)特工映射器類的方式。實(shí)際上，它從上到下依賴於具體的數(shù)據(jù)庫(kù)適配器實(shí)現(xiàn)，而不是依賴於接口定義的契約。而大型 OO 力量從古代就說，這總是一件壞事。那麼，上述解決方案將如何實(shí)現(xiàn)呢？

(剩餘部分與輸入文本類似，可以根據(jù)需要進(jìn)行調(diào)整和精簡(jiǎn))

以上是Liskov替代原則的詳細(xì)內(nèi)容。更多資訊請(qǐng)關(guān)注PHP中文網(wǎng)其他相關(guān)文章！