PHPStan级别9下，如何为返回多模型数组的方法添加正确类型提示？

你现有三个继承自AbstractModel的模型类：

class User extends AbstractModel {
     protected string $name = 'User';
} 

class Car extends AbstractModel {
     protected int $wheels = 4;
} 

class House extends AbstractModel {
     protected string $address = 'Some Street 26a';
} 

还有一个返回这三个模型实例数组的方法：

protected function generateModels(): array
{
     $user  = new User();
     $car   = new Car();
     $house = new House();

     return [$user, $car, $house];
}

在测试代码中解构该数组后，不管用array<int, mixed>、array<int, AbstractModel>还是array<int, User|Car|House>做类型提示，PHPStan级别9都会报错——比如提示AbstractModel不存在$name属性、联合类型不符合函数参数要求等。要让PHPStan识别数组中每个元素的具体类型，可采用以下几种方案：

方案1：使用PHP 8.1+ 字面量数组类型提示 #

PHP 8.1及以上支持直接指定数组每个位置的具体类型，这是最简洁的原生解决方案：

protected function generateModels(): array{User, Car, House}
{
     $user  = new User();
     $car   = new Car();
     $house = new House();

     return [$user, $car, $house];
}

之后解构数组时，PHPStan会自动精准识别每个变量的类型：

[$user, $car, $house] = $this->generateModels();
// PHPStan 明确 $user 是 User 类型，$car 是 Car 类型，$house 是 House 类型

方案2：返回关联数组（调整返回结构） #

如果不想依赖PHP版本特性，或者希望返回结构更语义化，可以改成返回关联数组，并声明每个键对应的类型：

protected function generateModels(): array{
    'user' => User,
    'car' => Car,
    'house' => House
}
{
     return [
         'user' => new User(),
         'car' => new Car(),
         'house' => new House()
     ];
}

使用时通过键名访问，PHPStan能准确识别对应类型：

$models = $this->generateModels();
$user = $models['user']; // PHPStan 识别为 User 类型

方案3：PHPStan注释类型（兼容低版本PHP） #

如果项目仍在使用PHP 8.0及以下，可通过PHPStan的注释语法声明数组结构：

/**
 * @return array{0: User, 1: Car, 2: House}
 */
protected function generateModels(): array
{
     $user  = new User();
     $car   = new Car();
     $house = new House();

     return [$user, $car, $house];
}

这种方式无需升级PHP，PHPStan会通过注释解析出每个数组位置的具体类型，解构后就能正常访问属性或传入特定类型的函数。

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