PHP模拟泛型：子类add方法参数类型与接口兼容问题

问题背景 #

我尝试在PHP中实现类似泛型的类型安全列表，通过Facade、Adapter和Factory模式让其他开发者自定义支持的数据类型。核心是一个ListFactory工厂类，负责创建实现ListInterface的具体列表对象。

现有代码结构：

• 工厂类ListFactory（通过DI注入实现类映射）
• 接口ListInterface定义add方法
• 具体实现类IntList、StringList，通过if校验数据类型

现在希望去掉if校验，直接在子类中将add方法定义为强类型（比如StringList::add(string $item)），但直接修改会触发兼容性报错：StringList类中的add方法必须与ListInterface中的add方法兼容。

解决方案 #

方法1：使用PHP 8.1+ 原生泛型（推荐） #

PHP 8.1及以上支持原生泛型语法，通过给接口添加泛型参数，可以让子类指定具体的类型约束，同时保持方法签名兼容。

修改泛型接口

interface ListInterface<T>
{
    public function add(T $item): static;
}

实现强类型子类

class StringList implements ListInterface<string>
{
    private array $value = [];

    public function add(string $item): static
    {
        $this->value[] = $item;
        return $this;
    }
}

class IntList implements ListInterface<int>
{
    private array $value = [];

    public function add(int $item): static
    {
        $this->value[] = $item;
        return $this;
    }
}

这样既满足了接口的兼容性要求，又实现了强类型约束，无需手动写if校验数据类型。

方法2：PHP 8.0及以下版本兼容方案（注释泛型+类型声明） #

如果项目使用PHP 8.0及以下版本，不支持原生泛型，可以通过PHPDoc注释泛型配合类型声明实现，同时确保方法签名兼容：

修改接口（添加泛型注释）

interface ListInterface
{
    /**
     * @template T
     * @param T $item
     * @return static
     */
    public function add(mixed $item): static;
}

实现子类（添加类型声明）

class StringList implements ListInterface
{
    private array $value = [];

    /**
     * @param string $item
     */
    public function add(mixed $item): static
    {
        // 运行时类型断言，确保数据类型正确
        assert(is_string($item), 'Item must be a string');
        $this->value[] = $item;
        return $this;
    }
}

这种方式通过注释泛型让IDE识别类型，提升开发体验，同时满足接口兼容性。

报错原因说明 #

PHP的方法签名兼容规则遵循逆变参数类型：子类方法的参数类型必须是父类（接口）方法参数类型的超类型（即能接受的参数范围不能比父类更小）。

原接口中add方法参数无类型声明（等价于mixed），子类如果直接声明string类型，参数范围比mixed更小，违反了逆变规则，因此触发兼容性报错。泛型的本质是让接口的参数类型成为可变的占位符，子类指定具体类型后，方法签名的约束就变得合法。

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