PhpStorm中如何为嵌套数组配置@var注解的Array Shapes？

可行，无需单独添加行内注释就能实现准确的类型提示，以下是两种有效办法：

方法一：使用类型别名（推荐） #

先通过@phpstan-type或@psalm-type定义可复用的类型别名（PhpStorm完全支持识别这类注解），让类型定义更清晰易维护：

/**
 * 定义单个验证规则的结构
 * @phpstan-type ValidationRule array{0: Ruleable, 1: string}
 * 定义整个验证规则集合的结构：键为属性名（字符串），值为验证规则列表
 * @phpstan-type ValidationRules array<string, list<ValidationRule>>
 */
class YourClass
{
    /** @var ValidationRules */
    private array $validationRules;

    public function example()
    {
        foreach ($this->validationRules as $property => $rules) {
            foreach ($rules as [$rule, $message]) {
                // PhpStorm会自动识别$rule为Ruleable类型，$message为string类型
                $rule->validate();
                echo $message;
            }
        }
    }
}

方法二：直接使用嵌套Array Shapes #

如果不想定义类型别名，可直接在属性注解中使用list（代表连续索引数组，PhpStorm对其识别比array<int, ...>更精准）配合嵌套Shape：

class YourClass
{
    /** @var array<string, list<array{0: Ruleable, 1: string}>> */
    private array $validationRules;

    public function example()
    {
        foreach ($this->validationRules as $property => $rules) {
            foreach ($rules as [$rule, $message]) {
                // 同样能自动识别$rule和$message的正确类型
                $rule->validate();
                echo $message;
            }
        }
    }
}

注意事项 #

• 确保你的PhpStorm版本在2021.3及以上，这个版本开始对Array Shapes和list类型的支持更完善；
• 避免使用array<int, array{0: Ruleable, 1: string}>，改用list<array{0: Ruleable, 1: string}>能提升IDE的类型识别准确度。

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