php静态分析工具psalm于11月8日发布7.1.0。此次更新主要调整类型推断和检查行为，包括数组与列表形状注解中的尾随逗号解析，以及可迭代类型、条件类型、回调参数和继承关系等方面的修正。
Psalm官方文档列出的PHP要求与项目安装命令
类型注解解析更加完整
版本说明新增了array shape与list shape末尾逗号的解析支持，同时修复callable参数声明、泛型注解和字符串字面量处理中的若干边界情况。这里的7.1.0是Psalm工具版本，不是PHP语言版本。
回调和控制流检查有所调整
本次修复让usort等函数的回调能够取得数组元素类型；对strict_types环境下未改变的参数保留已经收窄的类型。更新还涉及isset分支后的未定义变量状态、循环中超出嵌套层级的break与continue，以及接口继承列表中的未定义接口检查。
trait属性签名中的self归属、抽象构造方法被覆盖时的比较，以及继承常量缺少父类时的处理，也出现在维护列表中。不同项目可能因代码结构不同而得到不同检查结果，不能把新增告警直接认定为运行时故障。
现有项目需核对运行环境
官方安装文档目前要求PHP 8.2或更高版本，并通过Composer安装开发依赖。已有项目应在升级工具后运行原有检查，查看报告变化对应的是实际代码问题、注解调整还是分析器修正，再决定如何修改代码或既有基线。
立即学习“PHP免费学习笔记（深入）”；
