为何PhpStorm未通过PHPDoc静态分析警告遍历整数操作？

以下是几种可能导致PhpStorm未给出警告的原因：

• 类型检查开关未开启
  你需要检查PhpStorm的检查配置：打开Settings/Preferences > Editor > Inspections > PHP > Control flow issues，确认Foreach loop on non-traversable value选项是否勾选。如果这个开关没开，静态分析不会检测到遍历非可遍历值的问题。

• PHPDoc注解被忽略
  如果getResponse()方法本身有返回类型声明，或者PhpStorm通过方法内部逻辑推断出的返回类型和你手动标注的PHPDoc冲突，它可能优先使用方法自身的类型信息，忽略你写的@var注解。可以检查getResponse()方法的返回类型是否被PhpStorm识别为可遍历类型。

• PhpStorm版本不兼容
  你用的array{total: integer, records: array}是PHP 8.1引入的结构类型语法，旧版本的PhpStorm对这种语法的解析可能存在缺陷，无法正确识别$response['total']是整数类型。升级到最新版PhpStorm大概率能解决这个问题。

• 代码上下文的影响
  如果在遍历代码之前，有其他逻辑修改了$response['total']的值（比如把它重新赋值成数组），PhpStorm的静态分析会认为这个变量已经变成可遍历类型，自然不会给出警告。检查这段代码前后是否有对$response['total']的修改操作。

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