PHP 接口继承与类型约束：解决方法签名不兼容错误-php教程-PHP中文网

PHP 接口继承与类型约束：解决方法签名不兼容错误

当实现接口时，类中方法的参数类型必须严格匹配接口声明的类型（如 IEntity），不可使用具体实现类（如 ShirtOrder）缩小类型范围，否则将触发“Declaration must match”致命错误。

当实现接口时，类中方法的参数类型必须严格匹配接口声明的类型（如 `ientity`），不可使用具体实现类（如 `shirtorder`）缩小类型范围，否则将触发“declaration must match”致命错误。

在 PHP 的面向对象设计中，接口定义了契约（contract）——它规定了实现类必须提供哪些方法及其签名。其中，“签名”不仅包括方法名和返回类型，还严格包含每个参数的类型声明。根据 Liskov 替换原则（LSP）和 PHP 的协变/逆变规则（PHP 7.4+ 支持返回类型协变与参数类型逆变，但参数类型仅支持不变或更宽泛，不支持更具体），子类或实现类的方法不能缩小参数类型范围。

在您的代码中：

interface RepositoryInterface {
    public function find(IEntity $entity); // 要求：任意 IEntity 实现均可传入
}

而 ShirtOrderRepository::find(ShirtOrder $shirtOrder) 将参数类型从 IEntity 缩小为 ShirtOrder，这违反了接口契约：调用方本可传入 User、Product 等任意 IEntity 实例，但该实现却只接受 ShirtOrder —— 导致类型不兼容，PHP 抛出 Fatal error: Declaration must match...。

✅ 正确做法是：严格遵循接口声明的参数类型：

PHP

编写健壮的PHP代码，规避类型转换陷阱、数组怪癖及常见安全漏洞。

下载

class ShirtOrderRepository implements RepositoryInterface {
    protected $db;

    public function __construct(DatabaseInterface $db) {
        $this->db = $db;
    }

    // ✅ 正确：参数类型与接口一致 —— IEntity
    public function find(IEntity $entity) {
        $this->db->find($entity);
    }

    public function save(IEntity $entity) {
        $this->db->save($entity);
    }

    public function remove(IEntity $entity) {
        $this->db->remove($entity);
    }
}

⚠️ 注意事项：

即使逻辑上仅处理 ShirtOrder，也不应在方法签名中强约束具体类。运行时可通过 instanceof 安全校验：

public function find(IEntity $entity) {
    if (!$entity instanceof ShirtOrder) {
        throw new InvalidArgumentException('Only ShirtOrder is supported by this repository.');
    }
    $this->db->find($entity);
}