扩展ArrayObject时offsetSet参数名与ArrayAccess不兼容引发Psalm报错

这个问题的核心是PHP运行时不校验参数名，但Psalm作为静态分析工具严格遵循接口契约：ArrayAccess接口定义的offsetSet第一个参数名为$offset，而ArrayObject实现该方法时用了$key，导致你的子类继承时参数名不匹配触发报错。

以下是两种可行的解决方法：

方法一：统一参数名与ArrayAccess接口一致 #

直接将子类中offsetSet的第一个参数名改为$offset，完全符合接口定义，从根源上消除报错：

class ControllerDescriptionArray extends \ArrayObject
{
    public function offsetSet(mixed $offset, mixed $value): void
    {
        // 原有业务逻辑中使用$key的地方替换为$offset即可
        parent::offsetSet($offset, $value);
        // 你的自定义逻辑
    }
}

这种方案最规范，符合面向接口编程的契约要求，也不会影响代码运行逻辑。

方法二：用Psalm注释忽略该错误 #

如果不想修改现有参数名（比如代码依赖$key这个命名），可以在方法上方添加Psalm的抑制注释，让工具跳过这个参数名检查：

class ControllerDescriptionArray extends \ArrayObject
{
    /** @psalm-suppress ParamNameMismatch */
    public function offsetSet(mixed $key, mixed $value): void
    {
        parent::offsetSet($key, $value);
        // 你的自定义逻辑
    }
}

注意：这种方案只是屏蔽了报错，参数名不一致的情况依然存在，仅适合临时兼容或无法大规模修改代码的场景。

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