composer依赖解析是重构能否安全落地的决定性环节，它用sat求解器暴力遍历所有版本组合，需靠composer why-not等命令精准诊断冲突，而非凭经验猜测。
Composer依赖解析不是重构的辅助工具，而是重构能否安全落地的决定性环节。 它直接控制着“改了A包，B包会不会崩”“删掉旧工具链后CI是否还能跑通”这类关键问题。你不能靠经验猜，得靠它算出来。
为什么重构时composer update会卡在“Resolving dependencies…”
这不是网络慢，是 Composer 正在用 SAT 求解器暴力遍历所有可能的版本组合——尤其当项目有 200+ 个 require/require-dev 包、composer.lock 超过 6MB 时，单核 CPU 会被打满几十秒。重构中频繁增删依赖、调整约束（比如把 ^1.0 改成 ^2.0），等于不断触发这个高成本计算。
- 每次
composer update都会重跑整个求解过程，哪怕只改了一个包的版本号 -
require-dev里的包（如phpunit/phpunit）即使不安装，也会参与求解——它们占解析开销但常被忽略 - 私有包若没声明
"archive": {"exclude": ["/tests"]}，composer.lock会记录无用路径哈希，徒增解析负担
composer why-not 是重构前必须跑的诊断命令
你想把 monolog/monolog 从 ^2.0 升到 ^3.0，但 composer update monolog/monolog:^3.0 直接报错？别急着删包，先跑：
composer why-not monolog/monolog:^3.0
它会明确告诉你：是 laravel/framework 的 ^9.0 锁死了 monolog 必须 ，还是某个已废弃的 <code>old-logger-bridge 在暗处拖后腿。重构不是堆代码，是理清依赖链上谁真正说了算。
围绕关键发现、作用机制、临床相关性及研究局限性展开讨论。适用于撰写或优化任何生物医学论文的“讨论（Discussion）”部分——包括结果解读、与既往文献关联、阐释意外发现、界定研究局限性，以及撰写结论。当用户输入以下任一指令时也会自动触发该功能： - “write my discussion” - “help me discuss my findings” - “how do I compare to prior studies” - “write the limitations par
- 输出里出现
root requires表示你项目直接写了冲突约束 - 出现
requires多次嵌套，说明中间有间接依赖在卡位——这种包优先考虑替换或 fork 修复 - 如果某包只在
require-dev里被拉进来，而你正准备移除它，就该先composer remove --dev xxx再 update
composer update --lock 不是更新包，是给 lock 文件“做减法”
重构过程中，composer.lock 容易变成臃肿的遗留品：删掉的 dev 包还在里面留着元数据，私有包的旧 commit hash 还占着位置，JSON 格式也没压缩。这会让后续每次解析都更慢。
定期执行：
composer update --lock
它不会碰 vendor/，也不会装新包，只做三件事：合并重复字段、删除已不存在包的残留记录、压缩 JSON 缩进。实测一个 12MB 的 lock 文件可瘦到 7MB，composer install 解析时间下降 30%+。
- CI 流水线里建议加这步，尤其在 merge 到 main 前
- 别和
composer update xxx混用——后者会改依赖树，--lock只修锁文件本身 - 如果团队多人并行重构，
composer update --lock后记得git add composer.lock，否则下次 install 还是旧体积
重构中最容易被跳过的，是确认 composer.lock 里没有幽灵依赖——那些没人记得为什么存在、但求解器每次都要花 5 秒去验证的包。它们不报错，但让每次 composer update 都像在迷雾中重新测绘地图。
