PhpStorm跨接口传参的类型提示警告是否正确？

这个警告是PhpStorm静态类型分析的合理提示，既不是软件本身的bug，也不是直接判定你的代码不符合最佳实践，本质是在提示你当前的类型声明存在逻辑漏洞风险。

原因说明 #

你当前foo方法的参数仅声明为InterfaceA类型，从PHP语法规则和静态分析逻辑来看，只要实现了InterfaceA的对象都可以传入foo，并没有强制要求这些对象同时实现InterfaceB。哪怕你当前业务里所有传入的实例都同时实现了两个接口，静态分析也不能默认这个规则永久成立。

你观察到的实现类数量影响警告触发的逻辑是PhpStorm的内置优化策略：

• 当项目中InterfaceA只有1个实现类时，PhpStorm可以扫描确认这个类确实同时实现了InterfaceB，确定调用不会出错，因此不会抛出警告。
• 当InterfaceA有2个及以上实现类时，PhpStorm无法保证所有实现类都满足InterfaceB的约束，也无法预判你调用foo时会传入哪个实现，因此会提示你存在类型不匹配的风险。

解决方案 #

可以根据你的业务场景选择对应方案消除警告：

• 若业务规则要求所有InterfaceA的实现类必须同时实现InterfaceB，直接调整接口继承关系即可：

interface InterfaceA extends InterfaceB
{
    // 原有接口方法
}

修改后foo方法的参数天然满足InterfaceB的类型约束，警告会直接消失，也符合语法规范。

• 若只有部分InterfaceA的实现类需要传入该foo方法，可以在方法内增加类型校验：

public function foo(InterfaceA $argument) {
    if (!$argument instanceof InterfaceB) {
        throw new \InvalidArgumentException('参数必须同时实现InterfaceB');
    }
    bar($argument);
}

添加校验后PhpStorm可以识别到调用bar时参数必然符合类型要求，也会消除警告。

• 如果你使用PHP8.0及以上版本，可以直接使用原生交集类型声明参数：

public function foo(InterfaceA&InterfaceB $argument) {
    bar($argument);
}

低版本PHP也可以通过PHPDoc标注实现同样的效果：

/**
 * @param InterfaceA&InterfaceB $argument
 */
public function foo(InterfaceA $argument) {
    bar($argument);
}

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