PHP 7.1支持?array等可空类型，但不支持联合类型或mixed；PHPStan需配置level 4–6、排除干扰路径、启用strict_types=1并添加显式断言以精准分析。
PHPStan 是 PHP 静态分析的标杆工具，尤其在 PHP 7.1+ 项目中，它能有效捕获类型不匹配、未定义变量、空值误用等隐患。但默认配置下扫描可能过严、过慢，或漏掉关键问题。优化核心在于：精准建模 + 合理分级 + 按需增强。
明确 PHP 7.1 的类型能力边界
PHPStan 的分析深度受限于你实际使用的语言特性。PHP 7.1 支持 ?type（可空类型）、标量参数/返回类型、void，但不支持联合类型（string|int）或交集类型。若代码中写了 function foo(): string|int，PHPStan 会报错——这不是扫描问题，而是语法不合法。确保所有类型声明符合 PHP 7.1 规范：
- 用
?array替代array|null（后者是无效写法） - 函数返回 null 时，必须声明为
?string、?int等，不能只写string - 避免在 PHP 7.1 中使用
mixed或never（这些是 PHP 8.0+ 才支持）
配置 level 4–6 作为实用起点
PHPStan 默认 level 0 过于宽松；level 9 又常因 PHP 7.1 的类型系统限制而产生大量误报（比如对动态属性、魔术方法的过度推断）。推荐从 level 4 开始：
- level 4：检查基本类型不匹配、null 传递到非可空参数、数组键访问错误
- level 5：增加对返回值类型、foreach 键值类型、闭包签名的校验
- level 6：覆盖更细粒度的表达式类型流，如三元运算、空合并（??）右侧类型一致性
在 phpstan.neon 中设置：parameters:<br> level: 5
立即学习“PHP免费学习笔记（深入）”；
为可空数组和 ?type 添加显式断言
PHPStan 对 ?array 的推断有时保守，尤其在函数内部未显式判空时。例如：
function process(?array $data): void {<br> foreach ($data as $item) { ... } // PHPStan level 5 可能警告 $data 可能为 null<br>}优化方式不是降级 level，而是加类型断言：
- 用
if ($data === null) return;提前退出 - 或用
assert(is_array($data));告诉 PHPStan 此处已排除 null - 对返回值含
?string的函数，在调用后立即判空：$name = getName(); if ($name !== null) { echo strlen($name); }
排除干扰路径，聚焦业务代码
PHP 7.1 项目常含旧扩展、第三方库存根或测试辅助类，它们类型不完整，会拖慢扫描并掩盖真正问题。在配置中主动 exclude：
- 排除
vendor/下所有非 psr-4 自动加载的目录（如vendor/phpunit/） - 跳过
tests/和examples/目录（除非你启用--configuration phpstan-tests.neon单独扫测试） - 忽略生成的代码（如
bootstrap/app.php、storage/framework/）
示例片段：parameters:<br> paths:<br> - src<br> excludePaths:<br> - tests<br> - vendor<br> - bootstrap<br> - storage
配合 declare(strict_types=1) 提升分析精度
PHPStan 能更好理解严格模式下的行为。如果项目已全局启用 declare(strict_types=1)（强烈建议 PHP 7.1+ 新模块这么做），PHPStan 会自动强化对参数强制转换、返回值截断等场景的检查。反之，若代码混用严格/非严格模式，PHPStan 可能无法准确建模类型流。确认入口文件和关键类顶部有该声明，并在 phpstan.neon 中添加：
parameters:<br> phpVersion: '7.1'
这能让 PHPStan 按 PHP 7.1 语义做类型推导，而非回退到弱类型兼容逻辑。
