怎么理解PHP7.2忽略父類方法以及Liskov替換原則相關問題

這篇文章主要介紹“怎么理解PHP7.2忽略父類方法以及Liskov替換原則相關問題”，在日常操作中，相信很多人在怎么理解PHP7.2忽略父類方法以及Liskov替換原則相關問題問題上存在疑惑，小編查閱了各式資料，整理出簡單好用的操作方法，希望對大家解答”怎么理解PHP7.2忽略父類方法以及Liskov替換原則相關問題”的疑惑有所幫助！接下來，請跟著小編一起來學習吧！

細說 PHP 7.2 子類覆蓋方法省略參數類型功能以及 Liskov 替換原則

PHP 7.2 出來也有段時間了，關于新版本有什么新改進，只要你關心 PHP 的發展，應該都看過。這里只細說一個可能會有誤解的新功能。

PHP 7.2 可以在當子類覆蓋（override）父類方法的時候，忽略父類方法的定義的參數的類型（type hint）：

class Foo
{
    public function bar(SomeClass $obj) {}
}
class Foobar extends Foo
{
    public function bar($obj) {} // 這在 PHP7.2 版本之前是會報錯的
}

我看有些網站介紹此功能的時候，說其目的是為了『方便重構。如果以后父類方法的參數類型變了，子類不用再全部換一遍』。聽起來好像很有道理。按這說法，隱含的意思是：如果子類忽略了父類方法參數類型，被調用時還是會檢查參數類型。實際情況是不是這樣做一下實驗就知道了：

<?php
class Foo
{
}
class Bar
{
    public function setFoo(Foo $foo)
    {
    }
}
class BarKid extends Bar
{
    public function setFoo($foo)
    {
    }
}
$kid = new BarKid;
$kid->setFoo('I am a string!');

如果上面的說法是對的，setFoo 接受字符串參數的時候就應該報錯，然而上面代碼在 7.2 下并沒有任何報錯信息，但如果子類的 setFoo 方法加上了參數類型，就會立馬報錯了。記住網上很多說法都不可信，除了我這個小站……

上面的實驗說明子類方法可省略參數類型，其目的肯定不是為了方便重構。那真正目的是什么呢？

在 PHP 7.1 里有一個新功能，是『可設置方法或函數的參數和返回類型是否可以為 null』。其中有一條看上去比較別扭的規則：『子類方法參數類型范圍放寬（即父類參數若不能為 null ，子類參數可支持 null），但返回類型縮緊（父類若不能返回 null，子類必須也不行；若父類可以返回 null，子類可以不返回 null）』，當時我很簡單說了一句，是因為 『Liskov 替換原則』，但沒有做深入介紹。身邊的 PHPer 們關注 OOP 原則的不多，但我認為它應該被每個工程師知道，還是介紹一下。

Liskov 替換原則簡單一句話：父類出現的地方，替換成子類也能運行，即子類可無腦替換父類。其實從語言設計來說，我認為此原則就是對自然規則的模仿2018-09-29 補充：也不是簡單的『模仿』，有興趣可閱讀新博客『企鵝不是鳥』。

舉個例子，人可以喝酒，喝茶，喝可樂，喝各種飲料，但人作為哺乳動物，怎么著都能喝水吧？但反過來，哺乳動物能喝水，但不一定能喝酒喝茶喝可樂，所以人是哺乳動物的子類。

從語言設計的角度來說，子類就應該是父類的加強版，就是要能比父類處理更多的對象類型，而被覆寫的方法參數類型的擴大，也是這一原則的體現。

再來說可能有點繞的返回類型，為什么子類要縮小返回的范圍呢？其實只要假設一個方法的返回會作為另外一個方法的參數，就很好想了。比如一個『水果飲料廠』類，有一個『生產』方法，返回『水果汁』，并傳給了『小朋友』的『喝』方法。有一個『橘子汁工廠』類屬于『水果飲料廠』的子類，它的『生產』方法返回類型縮緊，只能返回『橘子汁』，依然給『小朋友』『喝』，并不會出現任何問題。

再舉一個反例。如果又出現一個『水果飲料廠』的子類，其『生產』方法除了返回水果汁，還能返回果釀酒，那這個子類很顯然不能冒著給小朋友喝酒的風險去替換父類。

說完了 Liskov 替換原則，我們再來看看 7.2 里的這個改進，我們這時應該知道其實這也是 Liskov 原則的體現。目前來說，替換原則在 PHP 的實現并不完全。可能有人覺得這個版本是不是也支持『父類沒有返回類型，子類可以有返回類型』呢？遺憾的是至少在 7.2 這個版本，并不支持，大家可以自行實驗一下。

7.2 的另外一個新功能，是 object 可以作為任何對象的類型。見官方提供例子：

<?php
function test(object $obj) : object
{
    return new SplQueue();
}
test(new StdClass());

其實在 7.2 發布之前，也是出于替換原則，有過一次關于『是否子類可以用 object 類型來替代被覆蓋的方法對象參數的類型』，但最終投票并沒有通過。雖然我不知道原因，但起碼有人提了。

另外目前 PHP 不能像 Java 那樣重載（overload），沒有辦法可以指定覆蓋的方法的類型（目前只能把類型直接去掉，有點太粗暴）：

<?php
class Foo
{
}
class FooFoo extends Foo
{
}
class Bar
{
    public function foo(FooFoo $foo)
    {
    }
}
class BarBar extends Bar
{
    public function foo(Foo $foo) // 依然會報『子類不兼容父類方法格式』的錯誤
    {
    }
}

到此，關于“怎么理解PHP7.2忽略父類方法以及Liskov替換原則相關問題”的學習就結束了，希望能夠解決大家的疑惑。理論與實踐的搭配能更好的幫助大家學習，快去試試吧！若想繼續學習更多相關知識，請繼續關注億速云網站，小編會繼續努力為大家帶來更多實用的文章！