建站
咨詢
售后
建站咨詢
新聞中心
細(xì)說 php 7.2 子類覆蓋方法省略參數(shù)類型功能以及 Liskov 替換原則
公司主營業(yè)務(wù)：成都網(wǎng)站制作、網(wǎng)站建設(shè)、外貿(mào)網(wǎng)站建設(shè)、移動網(wǎng)站開發(fā)等業(yè)務(wù)。幫助企業(yè)客戶真正實(shí)現(xiàn)互聯(lián)網(wǎng)宣傳，提高企業(yè)的競爭能力。成都創(chuàng)新互聯(lián)公司是一支青春激揚(yáng)、勤奮敬業(yè)、活力青春激揚(yáng)、勤奮敬業(yè)、活力澎湃、和諧高效的團(tuán)隊(duì)。公司秉承以“開放、自由、嚴(yán)謹(jǐn)、自律”為核心的企業(yè)文化，感謝他們對我們的高要求，感謝他們從不同領(lǐng)域給我們帶來的挑戰(zhàn)，讓我們激情的團(tuán)隊(duì)有機(jī)會用頭腦與智慧不斷的給客戶帶來驚喜。成都創(chuàng)新互聯(lián)公司推出德惠免費(fèi)做網(wǎng)站回饋大家。
PHP 7.2 出來也有段時(shí)間了，關(guān)于新版本有什么新改進(jìn)，只要你關(guān)心 PHP 的發(fā)展，應(yīng)該都看過。這里只細(xì)說一個可能會有誤解的新功能。
PHP 7.2 可以在當(dāng)子類覆蓋（override）父類方法的時(shí)候，忽略父類方法的定義的參數(shù)的類型（type hint）：
class Foo
{
public function bar(SomeClass $obj) {}
}
class Foobar extends Foo
{
public function bar($obj) {} // 這在 PHP7.2 版本之前是會報(bào)錯的
}
我看有些網(wǎng)站介紹此功能的時(shí)候，說其目的是為了『方便重構(gòu)。如果以后父類方法的參數(shù)類型變了，子類不用再全部換一遍』。聽起來好像很有道理。按這說法，隱含的意思是：如果子類忽略了父類方法參數(shù)類型，被調(diào)用時(shí)還是會檢查參數(shù)類型。實(shí)際情況是不是這樣做一下實(shí)驗(yàn)就知道了：
setFoo('I am a string!');
如果上面的說法是對的，setFoo 接受字符串參數(shù)的時(shí)候就應(yīng)該報(bào)錯，然而上面代碼在 7.2 下并沒有任何報(bào)錯信息，但如果子類的 setFoo 方法加上了參數(shù)類型，就會立馬報(bào)錯了。記住網(wǎng)上很多說法都不可信，除了我這個小站……
上面的實(shí)驗(yàn)說明子類方法可省略參數(shù)類型，其目的肯定不是為了方便重構(gòu)。那真正目的是什么呢？
在 PHP 7.1 里有一個新功能，是『可設(shè)置方法或函數(shù)的參數(shù)和返回類型是否可以為 null』。其中有一條看上去比較別扭的規(guī)則：『子類方法參數(shù)類型范圍放寬（即父類參數(shù)若不能為 null ，子類參數(shù)可支持 null），但返回類型縮緊（父類若不能返回 null，子類必須也不行；若父類可以返回 null，子類可以不返回 null）』，當(dāng)時(shí)我很簡單說了一句，是因?yàn)?『Liskov 替換原則』，但沒有做深入介紹。身邊的 PHPer 們關(guān)注 OOP 原則的不多，但我認(rèn)為它應(yīng)該被每個工程師知道，還是介紹一下。
Liskov 替換原則簡單一句話：父類出現(xiàn)的地方，替換成子類也能運(yùn)行，即子類可無腦替換父類。其實(shí)從語言設(shè)計(jì)來說，我認(rèn)為此原則就是對自然規(guī)則的模仿2018-09-29 補(bǔ)充：也不是簡單的『模仿』，有興趣可閱讀新博客『企鵝不是鳥』。
舉個例子，人可以喝酒，喝茶，喝可樂，喝各種飲料，但人作為哺乳動物，怎么著都能喝水吧？但反過來，哺乳動物能喝水，但不一定能喝酒喝茶喝可樂，所以人是哺乳動物的子類。
從語言設(shè)計(jì)的角度來說，子類就應(yīng)該是父類的加強(qiáng)版，就是要能比父類處理更多的對象類型，而被覆寫的方法參數(shù)類型的擴(kuò)大，也是這一原則的體現(xiàn)。
再來說可能有點(diǎn)繞的返回類型，為什么子類要縮小返回的范圍呢？其實(shí)只要假設(shè)一個方法的返回會作為另外一個方法的參數(shù)，就很好想了。比如一個『水果飲料廠』類，有一個『生產(chǎn)』方法，返回『水果汁』，并傳給了『小朋友』的『喝』方法。有一個『橘子汁工廠』類屬于『水果飲料廠』的子類，它的『生產(chǎn)』方法返回類型縮緊，只能返回『橘子汁』，依然給『小朋友』『喝』，并不會出現(xiàn)任何問題。
再舉一個反例。如果又出現(xiàn)一個『水果飲料廠』的子類，其『生產(chǎn)』方法除了返回水果汁，還能返回果釀酒，那這個子類很顯然不能冒著給小朋友喝酒的風(fēng)險(xiǎn)去替換父類。
說完了 Liskov 替換原則，我們再來看看 7.2 里的這個改進(jìn)，我們這時(shí)應(yīng)該知道其實(shí)這也是 Liskov 原則的體現(xiàn)。目前來說，替換原則在 PHP 的實(shí)現(xiàn)并不完全?？赡苡腥擞X得這個版本是不是也支持『父類沒有返回類型，子類可以有返回類型』呢？遺憾的是至少在 7.2 這個版本，并不支持，大家可以自行實(shí)驗(yàn)一下。
7.2 的另外一個新功能，是 object 可以作為任何對象的類型。見官方提供例子：
其實(shí)在 7.2 發(fā)布之前，也是出于替換原則，有過一次關(guān)于『是否子類可以用 object 類型來替代被覆蓋的方法對象參數(shù)的類型』，但最終投票并沒有通過。雖然我不知道原因，但起碼有人提了。
另外目前 PHP 不能像 Java 那樣重載（overload），沒有辦法可以指定覆蓋的方法的類型（目前只能把類型直接去掉，有點(diǎn)太粗暴）：
但 PHP 也在不斷的變化不是嗎？最近 PHP 版本迭代這么快，我對 PHP 成為一個支持更多 OOP 特性的語言還是非常有信心的！
本文名稱：分析PHP7.2忽略父類方法以及Liskov替換原則相關(guān)問題
新聞來源：http://m.fisionsoft.com.cn/article/dphogjo.html
