PHP类型提示参数异常：子类重写方法参数类型不匹配报错

这是一个典型的PHP方法重写时的类型兼容性问题，根源在于PHP对方法参数类型的逆变规则，以及里氏替换原则的要求。

为什么会报错？ #

PHP中，子类重写父类方法时，参数类型只能是父类参数类型的父类或相同类型（逆变），不能是更具体的子类类型。你的抽象类BaseTransformer中transform方法接受Model类型的参数，意味着任何继承自它的子类都应该能处理任意Model实例；但你在UserTransformer中将参数限制为User类型，就违反了这个约定——当代码中用BaseTransformer类型的变量引用UserTransformer实例时，传入其他Model子类（比如Post）就会导致错误，所以PHP的类型检查会抛出异常阻止这种情况。

解决方案 #

根据你的PHP版本，有两种靠谱的处理方式：

方案1：保留父类参数类型，内部做类型校验（兼容所有PHP版本）

在子类方法中仍使用Model作为参数类型，然后在方法开头检查传入的实例是否为User，确保类型安全：

class UserTransformer extends BaseTransformer
{
    public function transform(Model $model): array
    {
        // 严格校验类型，不符合则抛出异常
        if (!$model instanceof User) {
            throw new InvalidArgumentException('This transformer only accepts User instances');
        }
        
        // 后续正常处理User实例
        return [
            'id' => $model->id,
            'name' => $model->name,
            'email' => $model->email
        ];
    }
}

方案2：使用PHP 8.1+泛型约束（更优雅的类型安全）

如果你的项目使用PHP 8.1及以上版本，可以给抽象类添加泛型，明确指定子类处理的具体模型类型，这样既符合重写规则，又能在方法签名中直接使用具体类型：

// 抽象类添加泛型约束，限制T必须是Model的子类
abstract class BaseTransformer<T extends Model>
{
    abstract public function transform(T $model): array;
}

// 子类指定泛型参数为User
class UserTransformer extends BaseTransformer<User>
{
    public function transform(User $user): array
    {
        return [
            'id' => $user->id,
            'name' => $user->name,
            'email' => $user->email
        ];
    }
}

泛型的方式让类型约束更清晰，同时PHP会在编译阶段就帮你检查类型兼容性，避免运行时错误。

补充说明 #

里氏替换原则（LSP）是面向对象设计的核心原则之一：子类必须能够替换其父类。你的最初写法违反了这个原则，因为UserTransformer无法处理所有Model实例，只能处理User，所以PHP的类型系统会阻止这种不安全的重写。

内容的提问来源于stack exchange，提问作者Shobi