PHPStan中empty()函数对数组的严格类型检查解析

问题背景

在PHPStan静态分析工具的最新版本1.11.11中，开发者报告了一个关于empty()函数与数组结合使用时出现的类型检查问题。具体表现为当检查一个可能为空的数组时，PHPStan错误地报告"array in empty() always exists"警告。

技术分析

原始代码场景

开发者尝试使用以下条件判断：

if (empty($filter['id_user']) || in_array($filter['id_user'], [0, null])) {
    // 条件1
} else {
    // 条件2
}

开发者认为$filter['id_user']可能是一个空数组，因此这个条件判断是合理的。然而PHPStan在1.11.11版本中报告了错误。

问题本质

实际上PHPStan的分析是正确的，原因在于：

1. in_array($filter['id_user'], [0, null])对于空数组会返回true，因为PHP的松散类型比较会将空数组视为等同于0或null
2. 因此当执行到else分支时，PHPStan可以确定$filter['id_user']既不empty，也不等于0或null
3. 这意味着在else分支中，该数组确实"总是存在"

严格模式解决方案

PHPStan严格规则集推荐使用严格比较来解决这类问题：

if (empty($filter['id_user']) || in_array($filter['id_user'], [0, null], true)) {
    // 条件1
} else {
    // 条件2
}

添加第三个参数true启用严格比较后：

• 空数组将不再被认为等于0或null
• 类型检查将更加精确
• PHPStan的警告将消失，因为现在条件判断确实能覆盖所有情况

最佳实践建议

1. 始终使用严格比较：在PHP中，特别是使用in_array()、array_search()等函数时，应该养成添加true参数启用严格比较的习惯

2. 理解empty()的行为：empty()在PHP中会认为以下值都是"空"：

   • "" (空字符串)
   • 0 (作为整数的0)
   • "0" (作为字符串的0)
   • null
   • false
   • array() (空数组)

3. 静态分析工具的价值：这个案例展示了静态分析工具如何帮助开发者发现潜在的类型相关问题，即使代码在运行时可能不会立即表现出问题

4. 数组存在性检查：如果需要专门检查数组是否为空，更明确的写法是：

   if (!isset($filter['id_user']) || $filter['id_user'] === []) {
       // 明确检查未设置或为空数组
   }
   

总结

这个案例揭示了PHP类型系统的一个微妙之处，以及静态分析工具如何帮助开发者编写更健壮的代码。通过理解PHPStan的警告背后的原因，开发者可以改进代码质量，避免潜在的边界情况问题。在涉及数组和多种可能值的条件判断时，采用严格类型比较是避免意外行为的关键。