composer update --dry-run 是定位依赖冲突链最直接的方法，它不修改任何文件但完整执行SAT求解器推理，逐层展开“because”冲突链，配合 -v 可暴露PHP版本、平台扩展等隐性约束问题。
composer update --dry-run 为什么必须先跑
它不改任何文件，但会完整走一遍 SAT 求解器的推理过程，把冲突卡在哪一层暴露出来。报错里那些 “Conclusion: don’t install xxx” 只是最终结果，真正有用的是中间那一长串 because 链——比如 monolog/monolog 2.9.0 -> requires php >=8.0，而你本地 PHP 是 7.4，但 composer.json 里没声明 platform，就一直卡在“找不到满足条件的版本”。
- 加
-v或-vvv能看到每个包被拒绝的具体原因和依赖路径 - 不跑 --dry-run 直接删
composer.lock，等于让求解器从头猜，可能引入新冲突 - 如果 --dry-run 成功，说明只是 lock 文件没同步，执行
composer update --lock就行
composer why-not 的输出怎么看懂
composer why-not 不是告诉你“不能装”，而是画出一条阻断链：从你要装的包出发，逆向追踪所有把它挡在外面的依赖约束。例如 composer why-not guzzlehttp/guzzle:^8.0 输出里出现 laravel/framework v10.32.0 -> requires guzzlehttp/guzzle ^7.5，就说明 Laravel 10 锁死了 Guzzle 7.x，不是 Guzzle 本身有问题。
- 链路最顶端（靠近 “requires”）的包才是真正的“守门人”，优先查它的
composer.json中的require字段 - 如果链里出现
php或ext-xxx，检查config.platform是否显式设了旧版本 - 链中若含
conflict字段（如some/package conflicts laravel/framework: >=11.0），哪怕你没装 L11，只要其他依赖间接拉入，也会触发
拓扑排序在依赖解析中实际起什么作用
Composer 的依赖树不是扁平列表，而是有向无环图（DAG）。SAT 求解器内部会按依赖方向做拓扑排序，确保父包版本决策先于子包——比如先定 symfony/console 版本，再推导它依赖的 symfony/polyfill-php80 应该选哪个。但这个排序对用户不可见，你看到的 composer show --tree 是后序遍历结果，不是求解顺序。
围绕关键发现、作用机制、临床相关性及研究局限性展开讨论。适用于撰写或优化任何生物医学论文的“讨论（Discussion）”部分——包括结果解读、与既往文献关联、阐释意外发现、界定研究局限性，以及撰写结论。当用户输入以下任一指令时也会自动触发该功能： - “write my discussion” - “help me discuss my findings” - “how do I compare to prior studies” - “write the limitations par
-
composer depends --tree vendor/package显示的是“谁依赖我”，反映的是反向拓扑关系 - 真正影响求解效率的是依赖深度：层级越深、分支越多，SAT 求解耗时指数级上升
- 手动在
composer.json里用"replace"打断某条依赖边，相当于人工重排拓扑，但必须确认运行时行为一致，否则autoload_psr4.php里的映射顺序会出问题
怎么安全地解耦冲突包而不破坏 autoload
别指望靠改 autoload.psr-4 顺序来“覆盖” vendor 包——Composer 2.2+ 已禁用重复命名空间路径，且 PSR-4 匹配只认最长前缀，不看配置顺序。真要替换行为，唯一可靠方式是运行时用 prependPsr4() 插入新规则。
- 必须在
require 'vendor/autoload.php'之后立即调用，否则$loader不是当前生效实例 - 命名空间末尾带反斜杠：
'MyOverride\'，路径必须真实存在且符合 PSR-4 结构 - 如果原 vendor 包也提供同名类，你的
prependPsr4()会完全屏蔽它，没有 fallback
复杂点在于：autoload 解耦和依赖解耦是两件事。你用 prependPsr4() 替换了类加载路径，不代表 Composer 会跳过安装那个 vendor 包——它仍会被解析、下载、写进 composer.lock，只是运行时不加载它的类而已。这点容易被忽略。
