ThinkPHP 8.0项目需通过PHPStan静态分析扫除类型不匹配、魔术方法误报及动态属性访问失败隐患：先执行composer安装phpstan/phpstan、phpstan/extension-installer和thinkphp/phpstan-thinkphp，再配置phpstan.neon加载base.php与extension.neon，补充模型PHPDoc注释、控制器类型提示及find()返回值注解，并利用基线机制管控CI质量。
ThinkPHP 8.0 项目上线前急需扫除类型不匹配、魔术方法误报、动态属性访问失败等隐患，避免用户提交表单时突然抛出 Call to undefined method 或 Trying to access array offset on value of type null 这类线上崩溃错误。
安装 PHPStan 并加载 ThinkPHP 兼容支持
执行 composer 命令安装核心工具和 ThinkPHP 专用扩展：
composer require --dev phpstan/phpstan phpstan/phpstan-phpunit
ThinkPHP 8.0 使用大量 __get/__call 魔术方法及动态容器绑定，必须加装适配层，否则 90% 以上模型属性访问都会被标为错误：
立即学习“PHP免费学习笔记（深入）”；
composer require --dev phpstan/extension-installer thinkphp/phpstan-thinkphp
【注意：phpstan/extension-installer 必须存在，否则 thinkphp/phpstan-thinkphp 的 stub 文件不会自动加载】
创建 phpstan.neon 配置文件
在项目根目录新建 phpstan.neon，内容如下：
parameters:
level: 7
phpVersion: 80000
paths:
- app/
- common/
- config/
excludePaths:
- app/command/
- app/middleware/
bootstrapFiles:
- thinkphp/base.php
- thinkphp/helper.php
scanDirectories:
- thinkphp/
includes:
- vendor/thinkphp/phpstan-thinkphp/extension.neon
【thinkphp/base.php 必须显式加载，否则 Container::get() 返回值类型无法推断，所有依赖注入调用都会报错】
修复三类高频误报
方法一：控制器中 $this->request->param('id') 被标为「返回 mixed」
在调用前添加类型注释：// @var int $id，然后写 $id = (int) $this->request->param('id');
方法二：模型属性 $user->name 报 Access to an undefined property
在模型类顶部补全 PHPDoc：/** @property-read string $name @property-read int $status */
方法三：使用 Db::table('user')->where(...)->find() 后访问 $result['name'] 报数组偏移错误
改用模型查询：UserModel::where(...)->find()，或为 find() 返回值加注释：// @var array{ id: int, name: string }|null $result
CI 中首次运行并生成基线
第一步：本地运行完整扫描，确认基础配置生效：
./vendor/bin/phpstan analyse --configuration=phpstan.neon
第二步：若报错过多（尤其 legacy 模块），先生成基线文件锁定当前状态：
./vendor/bin/phpstan analyse --generate-baseline=phpstan-baseline.neon --configuration=phpstan.neon
第三步：将基线文件加入 Git，并在 CI 脚本中启用基线检查：
./vendor/bin/phpstan analyse --configuration=phpstan.neon --baseline=phpstan-baseline.neon
第四步：在 phpstan.neon 中追加参数防止新代码绕过检查：
parameters:
reportUnmatchedIgnoredErrors: false
checkAlwaysTrueCheckTypeFunctionCall: true
