PHPSTAN类型误判：实例化Administrator却被识别为User的问题

问题核心原因 #

你遇到的报错本质是方法参数的逆变规则冲突：如果AdministratorRepository继承自某个通用仓库父类，父类中persist方法的参数声明是User类型，那么子类不能将参数类型缩小为更严格的Administrator——PHPStan严格遵循类型系统的逆变规则（子类方法参数只能比父类更宽松，不能更严格），因此会判定传入的实例为User类型（因为父类方法期望的是User）。

可行解决方案 #

1. 用泛型约束修正类型匹配（推荐） #

给通用仓库类添加泛型，让子类明确指定对应的实体类型，从根源上解决类型推断问题：

// 带泛型的父仓库类
abstract class Repository<T extends User> {
    abstract public function persist(T $object): void;
}

// AdministratorRepository绑定Administrator类型
class AdministratorRepository extends Repository<Administrator> {
    public function persist(Administrator $object): void {
        // 业务逻辑实现
    }
}

这样PHPStan就能准确识别AdministratorRepository::persist接收的是Administrator实例，不会再触发类型错误。

2. 调整方法设计，避免逆变冲突 #

如果无法使用泛型，可通过以下方式调整：

• 保留父类persist方法的User参数类型，在子类方法内部做类型校验：

class AdministratorRepository extends Repository {
    public function persist(User $object): void {
        if (!$object instanceof Administrator) {
            throw new InvalidArgumentException('Only Administrator instances are allowed');
        }
        // 业务逻辑
    }
}

• 或者在子类新增专属方法，专门处理Administrator的持久化：

class AdministratorRepository extends Repository {
    // 继承父类的persist方法
    public function persist(User $object): void {}

    // 新增专属方法
    public function persistAdministrator(Administrator $object): void {
        // 业务逻辑
    }
}

3. 临时豁免PHPStan规则（不推荐） #

如果必须保留现有代码结构，可在phpstan.neon配置文件中添加错误豁免，但这会降低类型检查的严谨性：

parameters:
    ignoreErrors:
        - '#Parameter #1 \$object of method AdministratorRepository::persist\(\) expects Administrator, User given.#'

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