如何在PHPStan中使用类常量定义数组形状？

得先说明：PHPStan本身没法直接把类常量里存的像'int'这种字符串解析成对应的类型定义，它会把这些值当成普通字符串来处理。要实现类型校验和业务逻辑的复用，有这几个可行的方案：

方案1：复用键名，类型注解单独维护（简单易实现） #

把数组的键名提取成独立常量，在@phpstan-type注解和业务常量里都引用这些键名，既避免键名重复写，又能保留PHPStan的类型校验能力：

class Foo
{
    // 定义数组键名常量
    private const KEY_ABC = 'abc';
    private const KEY_DEF = 'def';
    private const KEY_GHI = 'ghi';
    private const KEY_JKL = 'jkl';

    /**
     * @phpstan-type BarArrayShape = array{
     *     self::KEY_ABC => string,
     *     self::KEY_DEF => string,
     *     self::KEY_GHI => int,
     *     self::KEY_JKL => \DateTime,
     * }
     */

    // 业务逻辑用的数组形状常量，复用键名
    private const ARRAY_SHAPE_BAR = [
        self::KEY_ABC => 'string',
        self::KEY_DEF => 'string',
        self::KEY_GHI => 'int',
        self::KEY_JKL => '\DateTime',
    ];

    /**
     * @param BarArrayShape $bar
     * @return void
     */
    public function doSomething(array $bar): void
    {
        $expectedKeys = array_keys(self::ARRAY_SHAPE_BAR);
        foreach ($expectedKeys as $key) {
            // 业务逻辑代码
        }
    }
}

这种方式不用额外工具，直接兼容PHPStan现有能力，能减少键名维护的重复工作。

方案2：代码生成自动同步类型与常量 #

写个简单的PHP脚本，读取类里的ARRAY_SHAPE_BAR常量，自动生成对应的@phpstan-type注解并写入类文件。这样只需要维护业务常量，类型注解由脚本自动生成，完全不用重复写两份。

脚本的大致思路：

• 读取目标类文件的内容
• 解析类中的ARRAY_SHAPE_BAR常量，提取键名和对应的类型字符串
• 生成符合PHPStan格式的@phpstan-type注解
• 替换类文件里原有的类型注解部分

可以把这个脚本加到Composer的自定义命令里，每次改完常量跑一下脚本就能同步类型注解。

方案3：自定义PHPStan扩展（适合复杂场景） #

如果项目规模大、需要批量处理多个类，可以写PHPStan的自定义扩展，实现把类常量里的类型字符串转换成PHPStan能识别的类型。步骤大概是：

1. 写一个实现PHPStan相关接口的自定义类，比如TypeMapperInterface
2. 在扩展里识别特定的常量（比如ARRAY_SHAPE_BAR），把它的值解析成对应的PHPStan类型
3. 在PHPStan的配置文件里注册这个扩展

这种方式开发成本高，但灵活性强，适合有定制化需求的大型项目。

另外提一句：PHPStan 1.8以上版本支持#[ArrayShape]注解（需要安装jetbrains/phpstorm-attributes包），但它同样没法直接解析常量里的类型字符串，还是得配合上面的方案用。

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