如何在子类中覆写父类方法PhpDoc参数以实现IDE代码补全

方法一：利用PHP泛型+PHPDoc注解（推荐） #

通过给抽象Model类添加泛型模板，让IDE自动推断子类的属性结构，无需每个子类重写make方法：

/**
 * @template T of static
 */
abstract class Model
{
    /**
     * @param array<key-of<T>, mixed> $props 仅允许传入当前子类已定义的属性键
     * @return T
     */
    public static function make(array $props): static
    {
        $instance = new static();
        
        // 反射赋值逻辑（示例实现）
        foreach ($props as $key => $value) {
            $reflectionProp = new ReflectionProperty($instance, $key);
            $reflectionProp->setAccessible(true);
            $reflectionProp->setValue($instance, $value);
        }
        
        return $instance;
    }
}

class SubModel extends Model
{
    protected ?string $subModelProp = null;
    protected int $requiredProp = 0;
}

配置后效果：

• PhpStorm调用SubModel::make()时，会自动提示subModelProp和requiredProp作为合法数组键
• 传入未定义的键（如notAProp）时，IDE会直接给出警告
• 结合PHPStan可进一步校验属性值的类型是否匹配

方法二：配合PHPStan实现严格类型校验 #

如果需要更精准的属性值类型校验，可在PHPDoc中添加PHPStan专属注解，并配置PHPStan规则：

/**
 * @template T of static
 */
abstract class Model
{
    /**
     * @param array<key-of<T>, mixed> $props
     * @phpstan-param array<array-key, mixed> $props
     * @return T
     */
    public static function make(array $props): static
    {
        $instance = new static();
        // 反射赋值逻辑同上面示例
        return $instance;
    }
}

在项目根目录的phpstan.neon配置文件中启用严格规则：

parameters:
    level: max
    checkMissingIterableValueType: true

注意事项 #

1. 确保PhpStorm的PHP版本设置为8.0或以上（支持static返回类型和泛型注解）
2. 子类属性有默认值时，IDE不会强制要求传入；若需必填属性校验，需额外结合PHPStan规则或自定义逻辑
3. 反射逻辑中要处理protected/private属性的访问权限，需调用setAccessible(true)

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