PHP 8方法覆盖来自同一BaseClass的不同类型

Question

我的项目在 PHP 7.X 上运行良好，升级到 PHP 8 后出现以下问题，我不知道如何解决。

我有以下（简化的）情况：

<?php

class Vehicle
{
    //...
}

class Car extends Vehicle
{
    //...
}


class VehicleOutputMaker
{
    public function output(Vehicle $entity)
    {
        
    }
}


class CarOutputMaker extends VehicleOutputMaker
{
    //THROWS EXCEPTION
    public function output(Car $entity)
    {
        parent::output($entity);
    }
}

我的整个项目都是这样运行的，但是从 PHP 8 开始，我得到了一条异常

public function output(Car $entity)

带有“致命错误：*** 的声明必须与 *** 兼容”

它与 PHP 7 完美配合！因为“汽车”也是车辆。

有人知道如何解决这个问题吗？

谢谢！

Answer 1

您收到警告而现在出现致命错误的原因是您的代码不遵守子类型中方法参数类型的contravariance 的Liskov substitution principle (LSP) 标准要求。

考虑到这一点，问题在于，虽然子类中的方法可以扩展参数类型的范围，但它必须接受父类接受的所有参数类型。

您的子类CarOutputMaker 违反了此规则，它的方法output() 接受Car 类型的参数（Vehicle 的子类型），但不接受超类型Vehicle 的参数为在其父方法VehicleOutputMaker::output()中声明。

所以这在 PHP7 中是有效的：

class VehicleOutputMaker  
{  
    public function output(Vehicle $entity)  
    {  
    }  
}  
  
class CarOutputMaker extends VehicleOutputMaker  
{  
    public function output(Vehicle $entity)  
    {  
        parent::output($entity);  
    }  
}

值得注意的是，由于您使用的是 PHP8，因此您可以使用 union types 在您的子类中输入两种类型：Vehicle|Car。

class VehicleOutputMaker  
{  
    public function output(Vehicle $entity)  
    {  
    }  
}  
  
class CarOutputMaker extends VehicleOutputMaker  
{  
    public function output(Vehicle|Car $entity)  
    {  
        parent::output($entity);  
    }  
}

Answer 2

为什么不把Car的类型提示改成Vehicle，这样就尊重父类的方法签名了。

如果您想要执行特定于 Car 的行为，则必须在 CarOutputMaker 的输出方法中键入检查并将车辆类型转换为 Car。

class CarOutputMaker extends VehicleOutputMaker
{
    //THROWS EXCEPTION
    public function output(Vehicle $entity)
    {
        parent::output($entity);
    }
}