composer报“root package requires... but it is not installable”是循环依赖的典型表现，源于包间语义化版本约束冲突，需通过composer why-not、depends、show --tree定位闭环，用replace/conflict声明互斥，并谨慎使用--with-all-dependencies。
Composer 报 Root package requires ... but it is not installable 就是循环依赖的典型表现
这不是 Composer 故意卡你，而是它在严格遵守语义化版本约束的前提下，发现两个包互相要求对方的某个版本，而这两个版本无法同时满足。比如 package-a 要求 package-b:^2.0，而 package-b 的 2.0 版本又要求 package-a:^1.5，但当前项目根 composer.json 锁定了 package-a:1.4 —— 此时就死锁了。
解决思路不是“强行装”，而是定位哪条依赖链触发了冲突：
- 运行
composer why-not package-b:2.0，看谁在阻止package-b升级 - 运行
composer depends package-a，查哪些包依赖你当前这个package-a版本 - 检查
composer show --tree输出里是否出现package-a → package-b → package-a这种闭环
用 replace 和 conflict 主动声明互斥关系
当两个包确实不能共存（比如一个是旧版 SDK，一个是新版重构版），靠版本号对齐很难彻底解决，就得在 composer.json 里写清楚规则：
围绕关键发现、作用机制、临床相关性及研究局限性展开讨论。适用于撰写或优化任何生物医学论文的“讨论（Discussion）”部分——包括结果解读、与既往文献关联、阐释意外发现、界定研究局限性，以及撰写结论。当用户输入以下任一指令时也会自动触发该功能： - “write my discussion” - “help me discuss my findings” - “how do I compare to prior studies” - “write the limitations par
-
"replace": { "old-sdk": "*" }表示当前包“替代”旧 SDK，Composer 安装时会跳过旧包 -
"conflict": { "old-sdk": ">=1.0.0" }更严格：只要旧 SDK 存在任意1.x版本，安装就失败并报错 - 注意
conflict不会自动卸载已存在的包，得先composer remove old-sdk再装新包
composer update 加 --with-all-dependencies 有时反而让循环更难解
这个参数会让 Composer 尝试升级整个依赖树，包括间接依赖。表面看是“更激进地解冲突”，实际常把原本能共存的中间版本也推高，反而触发新的不兼容。尤其当某包的 2.x 版本废弃了被另一个包调用的函数时，强制升级就直接崩。
- 优先用
composer update package-a package-b精准更新涉及循环的几个包 - 如果必须全量更新，加
--dry-run先看计划，重点检查输出里是否有downgrading或removing关键包 - 某些老项目依赖
phpunit/phpunit:7.5和sebastian/exporter:3.1，后者在4.0后改名，盲目--with-all-dependencies会把exporter升到5.x，导致 PHPUnit 找不到类
私有包或 fork 仓库里改 composer.json 版本约束要格外小心
很多人 fork 一个包，只改了代码，却忘了同步更新它的 require 字段。结果你的 fork 版本要求 monolog/monolog:^3.0，但主项目其他包只支持 ^2.0，Composer 就只能放弃安装你的 fork。
- fork 后第一件事：检查
composer.json中所有require、require-dev的版本范围，是否比原包更宽或更窄 - 如果只是修复 bug，尽量保持原有约束，比如原包写
"symfony/console": "^5.4 || ^6.0"，别改成"^6.2" - 用
composer validate确保语法合法，再用composer show your/forked-package看它声明的依赖是否和本地环境匹配
循环依赖真正的难点不在工具报错，而在于它往往暴露了架构层面的耦合——两个本该独立演进的模块，通过具体实现细节绑死了。改 composer.json 只是止痛，真正要动的是接口抽象和包职责划分。
