PHP自身不支持运行时数组类型推断，所谓“变化”实为静态分析工具（PHPStan/ Psalm）和IDE（PhpStorm）对数组结构识别精度提升，以及PHP语言层通过array, array{}, union types等语法增强类型表达能力。
PHP 本身是动态类型语言，不支持在运行时“推断”数组的元素类型——它只认 array（PHP 7.4+ 中还有 list、array{...} 等结构化语法，但仍是运行时无类型约束）。所谓“数组类型推断能力的变化”，实际指的是静态分析工具（如 PHPStan、Psalm）和 IDE（如 PhpStorm）对数组键值类型的识别精度提升，以及 PHP 语言层面对数组结构的表达能力增强（主要通过类型声明和新语法），而非 PHP 引擎自身具备了类型推断能力。
PHP 语言层：从宽松到可描述的数组结构
PHP 自身并未增加运行时类型推断，但逐步提供了更精确表达数组结构的方式：
-
PHP 5.6+：支持
array类型声明（仅表示“是数组”，不约束内容）； -
PHP 7.1+：引入
iterable，涵盖array和Traversable，仍无内部结构信息； -
PHP 7.4+：支持
array<key_type value_type></key_type>形式的泛型式写法（仅用于 PHPDoc 或静态分析，非运行时语法）； -
PHP 8.0+：正式支持
array{key: type, ...}结构化数组类型（仅用于类型注解，如 PHPDoc 或属性中），让 IDE 和静态分析器能识别具名键的类型； -
PHP 8.1+：引入
never、mixed等更细粒度类型，并允许在联合类型中组合使用数组结构类型（如array{a: int}|null）。
静态分析工具：推断能力显著增强
PHPStan 和 Psalm 的核心进步在于“理解上下文”，从而更准确推测数组内容类型：
- 能根据
foreach中的赋值、函数返回值、数组字面量初始化等，推导出$arr[0]或$arr['id']的类型； - 支持从函数签名反向推断入参数组结构（例如某函数明确要求
array{id: int, name: string}，调用处传入字面量数组时会校验）； - PHPStan Level 8+ 可识别基于条件分支的数组形态变化（如
isset($arr['x']) ? $arr['x'] : 0能推断出$arr['x']非空时的类型）； - Psalm 支持更激进的控制流敏感推断（如循环中追加不同结构元素后，能区分最终数组是否为混合结构）。
IDe：补全与错误提示越来越精准
PhpStorm 等现代 IDE 并不依赖 PHP 运行时，而是解析 PHPDoc + 语言结构 + 控制流，实现智能感知：
立即学习“PHP免费学习笔记（深入）”；
- 当写
$user = ['id' => 123, 'name' => 'Alice'];并标注@var array{id: int, name: string}，后续访问$user['age']会标红提示； - 自动补全支持显示键名（如输入
$user['后弹出id、name）； - 能识别
array_map、array_filter等高阶函数对数组结构的影响（配合正确的泛型注解）； - 对解构赋值（PHP 7.1+
[$a, $b] = $arr;）也能结合左侧变量类型反推右侧数组长度和元素类型。
注意：运行时依然没有“推断”
所有上述能力都发生在开发或 CI 阶段，不影响运行时行为：
-
gettype($arr)永远返回"array"，不会告诉你里面是int还是string； - 即使写了
array{status: string, code: int}，PHP 解释器也不会在$arr['status'] = 42;时报错； - 类型安全靠的是提前检查（IDE/PHPStan）+ 开发者自觉（写对注解）+ 单元测试兜底。
本质上，这不是 PHP “获得了推断能力”，而是生态工具链变得更聪明，语言也提供了更多可表达的类型词汇。写得越规范，工具就越可靠。
