首页
/ Psalm 6.4.0 版本发布:新增常量检查与参数类型推断优化

Psalm 6.4.0 版本发布:新增常量检查与参数类型推断优化

2025-06-10 13:50:23作者:翟江哲Frasier

项目简介

Psalm 是一个流行的 PHP 静态代码分析工具,由 Vimeo 团队开发维护。它能够帮助开发者在代码运行前发现潜在的错误和类型问题,提高代码质量和可维护性。Psalm 通过类型推断和静态分析技术,为 PHP 项目提供了类似 TypeScript 的类型检查能力。

版本亮点

新增禁止常量检查功能

6.4.0 版本引入了一个重要的新配置项 forbiddenConstants,允许开发者明确禁止在代码中使用特定的常量。这个功能特别适用于以下场景:

  1. 代码规范强制执行:可以禁止使用某些被认为不安全的常量或已弃用的常量
  2. 安全加固:防止使用可能带来安全隐患的常量
  3. 代码现代化:推动项目从旧常量迁移到新推荐的替代方案

配置方式简单直观,在 Psalm 配置文件中添加类似以下的规则:

<forbiddenConstants>
    <constant name="OLD_DEPRECATED_CONSTANT" />
    <constant name="INSECURE_FLAG" />
</forbiddenConstants>

新增命令行快捷方式

为提升开发者体验,6.4.0 版本添加了 --review 命令行快捷方式。这个改进使得运行 psalm.phar --review 命令更加方便,相当于执行完整的代码审查模式。这个快捷方式特别适合在持续集成环境中使用,能够快速检查代码质量。

数组函数参数类型推断优化

本次版本对数组处理函数的参数类型推断进行了重要改进。现在 Psalm 能够更准确地识别和处理以下情况:

  1. 数组处理函数(如 array_map, array_filter 等)的回调参数类型
  2. 嵌套数组结构的类型推断
  3. 复杂数组操作中的元素类型跟踪

这个改进显著提升了 Psalm 在以下场景的分析能力:

$users = array_map(
    fn(array $userData): User => new User($userData),
    $userDataArray
);
// Psalm 现在能更好地理解 $userData 的类型和 User 构造函数的期望

技术价值分析

类型系统增强

6.4.0 版本的类型系统改进使得 Psalm 在复杂数组操作场景下的分析能力更上一层楼。对于大量使用函数式数组操作的现代 PHP 代码库,这一改进将大幅减少误报并提高分析的准确性。

开发者体验提升

新增的命令行快捷方式和禁止常量检查功能都体现了 Psalm 团队对开发者体验的重视。这些改进虽然看似简单,但在日常开发中能显著提高效率,特别是对于大型项目或严格遵循编码规范的项目。

升级建议

对于正在使用 Psalm 的项目,升级到 6.4.0 版本是推荐的。升级步骤简单:

  1. 更新 Composer 依赖或直接下载新版 psalm.phar
  2. 检查现有代码是否使用了新版本中可能被标记为禁止的常量
  3. 验证现有类型检查结果是否有变化(通常应该只看到改进)

对于新项目,建议直接采用 6.4.0 版本,并充分利用新的禁止常量检查功能来建立更健壮的代码规范。

总结

Psalm 6.4.0 版本虽然是一个小版本更新,但带来了实用的新功能和重要的类型系统改进。这些变化使得 Psalm 在代码质量保障方面更加全面,特别是在数组操作类型推断和代码规范执行方面。对于追求代码质量和类型安全的 PHP 项目,这个版本值得关注和升级。

登录后查看全文
热门项目推荐

最新内容推荐

项目优选

收起
docsdocs
OpenHarmony documentation | OpenHarmony开发者文档
Dockerfile
148
1.95 K
kernelkernel
deepin linux kernel
C
22
6
ohos_react_nativeohos_react_native
React Native鸿蒙化仓库
C++
192
274
openGauss-serveropenGauss-server
openGauss kernel ~ openGauss is an open source relational database management system
C++
145
190
RuoYi-Vue3RuoYi-Vue3
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
931
555
nop-entropynop-entropy
Nop Platform 2.0是基于可逆计算理论实现的采用面向语言编程范式的新一代低代码开发平台,包含基于全新原理从零开始研发的GraphQL引擎、ORM引擎、工作流引擎、报表引擎、规则引擎、批处理引引擎等完整设计。nop-entropy是它的后端部分,采用java语言实现,可选择集成Spring框架或者Quarkus框架。中小企业可以免费商用
Java
8
0
openHiTLSopenHiTLS
旨在打造算法先进、性能卓越、高效敏捷、安全可靠的密码套件,通过轻量级、可剪裁的软件技术架构满足各行业不同场景的多样化要求,让密码技术应用更简单,同时探索后量子等先进算法创新实践,构建密码前沿技术底座!
C
980
395
金融AI编程实战金融AI编程实战
为非计算机科班出身 (例如财经类高校金融学院) 同学量身定制,新手友好,让学生以亲身实践开源开发的方式,学会使用计算机自动化自己的科研/创新工作。案例以量化投资为主线,涉及 Bash、Python、SQL、BI、AI 等全技术栈,培养面向未来的数智化人才 (如数据工程师、数据分析师、数据科学家、数据决策者、量化投资人)。
Jupyter Notebook
75
66
CangjieCommunityCangjieCommunity
为仓颉编程语言开发者打造活跃、开放、高质量的社区环境
Markdown
1.11 K
0
openHiTLS-examplesopenHiTLS-examples
本仓将为广大高校开发者提供开源实践和创新开发平台,收集和展示openHiTLS示例代码及创新应用,欢迎大家投稿,让全世界看到您的精巧密码实现设计,也让更多人通过您的优秀成果,理解、喜爱上密码技术。
C
65
515