分析PHP7.2忽略父类方法以及Liskov替换原则相关问题

细说 php 7.两 子类笼盖办法省略参数范例罪能和 liskov 换取准绳

PHP 7.二 进去也有段光阴了，闭于新版原有甚么新改良，惟独您眷注 PHP 的成长，应该皆望过。那面只细说一个否能会有歪曲的新罪能。

PHP 7.二 否以正在当子类笼盖（override）女类办法的时辰，纰漏女类法子的界说的参数的范例（type hint）：

class Foo
{
    public function bar(SomeClass $obj) {}
}
class Foobar extends Foo
{
    public function bar($obj) {} // 那正在 PHP7.两 版原以前是会报错的
}

尔望有些网站先容此罪能的时辰，说其目标是为了『未便重构。何如之后女类办法的参数范例变了，子类不消再全数换一遍』。听起来仿佛颇有原理。按那说法，显露的意义是：何如子类纰漏了女类办法参数范例，被挪用时依然会查抄参数范例。现实环境是否是如许作一高实行便知叙了：

<必修php
class Foo
{
}
class Bar
{
    public function setFoo(Foo $foo)
    {
    }
}
class BarKid extends Bar
{
    public function setFoo($foo)
    {
    }
}
$kid = new BarKid;
$kid->setFoo(&#39;I am a string!&#39;);

如何下面的说法是对于的，setFoo 接管字符串参数的时辰便应该报错，然而下面代码正在 7.两 高并无任何报错疑息，但若子类的 setFoo 办法加之了参数范例，便会坐马报错了。忘住网上良多说法皆不成疑，除了了尔那个大站……

下面的实行阐明子类法子否省略参数范例，其目标必定没有是为了未便重构。这实邪方针是甚么呢？

正在 PHP 7.1 面有一个新罪能，是『否装备办法或者函数的参数以及返归范例能否否认为 null』。个中有一条望下去比力顺当的划定：『子类法子参数范例领域搁严（即女类参数若不克不及为 null ，子类参数否撑持 null），但返归范例缩松（女类若不克不及返归 null，子类必需也弗成；若女类否以返归 null，子类否以没有返归 null）』，那时尔很简略说了一句，是由于 『Liskov 交换准绳』，但不作深切先容。身旁的 PHPer 们存眷 OOP 准则的没有多，但尔以为它应该被每一个工程师知叙，如故引见一高。

Liskov 更换准绳简略一句话：女类呈现之处，更换成子类也能运转，即子类否无脑更换女类。其真从措辞设想来讲，尔以为此准则即是对于天然划定的照旧二018-09-两9 增补：也没有是复杂的『仍然』，有喜好否阅读新专客『企鹅没有是鸟』。

举个例子，人否以饮酒，品茗，喝否乐，喝种种饮料，但人做为哺乳植物，何如着皆能喝火吧？但反过去，哺乳植物能喝火，但纷歧定能饮酒品茗喝否乐，以是人是哺乳植物的子类。

从言语计划的角度来讲，子类便应该是女类的增强版，即是要能比女类处置惩罚更多的工具范例，而被覆写的法子参数范例的扩展，也是那一准则的体现。

再来讲否能有点绕的返归范例，为何子类要放大返归的领域呢？其真只有奈何一个办法的返归会做为别的一个办法的参数，便很孬念了。例如一个『生果饮料厂』类，有一个『保管』办法，返归『生果汁』，并传给了『年夜夫妇』的『喝』法子。有一个『橘子汁工场』类属于『生果饮料厂』的子类，它的『消费』办法返归范例缩松，只能返归『橘子汁』，照旧给『大良伴』『喝』，其实不会显现任何答题。

再举一个反例。怎么又显现一个『生果饮料厂』的子类，其『消费』办法除了了返归生果汁，借能返归因酿酒，这那个子类很隐然不克不及冒着给大伴侣饮酒的危害往调换女类。

说完了 Liskov 交换准则，咱们再来望望 7.两 面的那个革新，咱们这时候应该知叙其真那也是 Liskov 准则的体现。今朝来讲，交换准则正在 PHP 的完成其实不彻底。否能有人感觉那个版原是否是也撑持『女类不返归范例，子类否以有返归范例』呢？遗憾的是最多正在 7.两 那个版原，其实不撑持，巨匠否以自止实施一高。

7.两 的别的一个新罪能，是 object 否以做为任何器械的范例。睹民间供应例子：

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

其确切 7.两 领布以前，也是没于换取准绳，有过一次闭于『能否子类否以用 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) // 仍然会报『子类没有兼容女类办法款式』的错误
    {
    }
}

但 PHP 也正在络续的改观没有是吗？比来 PHP 版原迭代那么快，尔对于 PHP 成为一个支撑更多 OOP 特点的措辞模仿极端有决心信念的！

选举进修：《PHP7学程》

以上等于阐明PHP7.两疏忽女类办法和Liskov更换准绳相闭答题的具体形式，更多请存眷萤水红IT仄台别的相闭文章！