Composer通过解析composer.json中的版本约束构建依赖树，利用SAT求解器递归分析并解决依赖冲突，最终安装兼容的库版本组合。
Composer 是 PHP 的依赖管理工具，它通过解析项目中的 composer.json 文件来理解并安装所需的库。其中最关键的能力之一就是处理复杂的依赖关系树。要理解 Composer 如何处理依赖，需要搞清楚它是如何构建和解析依赖关系的。
依赖声明与版本约束
每个 PHP 包在自己的 composer.json 中声明它所依赖的其他包及其版本范围。例如：
"require": { "monolog/monolog": "^2.0", "symfony/http-foundation": "~5.4.0" }这些版本约束使用特定语法（如 ^、~、>= 等）定义可接受的版本范围。Composer 会根据这些信息从 Packagist 获取可用版本，并尝试找到满足所有包要求的组合。
构建依赖树
当你运行 composer install 或 composer update 时，Composer 开始构建一个依赖关系树：
- 从根项目（你的应用）出发，读取 require 和 require-dev
- 递归加载每个依赖包的 composer.json，收集它们各自的依赖
- 将所有依赖按层级组织成一棵树，记录谁依赖谁
- 同一个包的不同版本可能出现在不同分支中，但最终只能安装一个版本
这个过程叫做“依赖解析”，由 Composer 内部的 SAT 求解器完成，目标是找到一组能共存的包版本，满足所有约束。
解决冲突与版本合并
当多个包依赖同一个库但版本要求冲突时，Composer 会尝试协商一个共同满足的版本。例如：
JTBC CMS(5.0) 是一款基于PHP和MySQL的内容管理系统原生全栈开发框架，开源协议为AGPLv3，没有任何附加条款。系统可以通过命令行一键安装，源码方面不基于任何第三方框架，不使用任何脚手架，仅依赖一些常见的第三方类库如图表组件等，您只需要了解最基本的前端知识就能很敏捷的进行二次开发，同时我们对于常见的前端功能做了Web Component方式的封装，即便是您仅了解HTML/CSS也
- 包 A 要求 guzzlehttp/guzzle: ^7.0
- 包 B 要求 guzzlehttp/guzzle: ^6.5
由于 ^7.0 和 ^6.5 没有交集，Composer 无法解析，会报错退出。此时你需要手动调整依赖或寻找兼容版本。
如果存在交集（比如一个是 ^6.3，另一个是 ^6.5），Composer 会选择满足两者的最低上限版本（如 6.5.x 中的某个版本）。
查看依赖结构的方法
你可以使用以下命令了解当前项目的依赖关系：
- composer show --tree：以树状结构展示已安装的依赖
- composer depends package/name：查看哪个包依赖了指定包
- composer update --dry-run：预演更新操作，观察依赖变化
这些工具帮助你理解实际安装的依赖是如何被引入的，便于排查问题。
基本上就这些。Composer 通过递归解析、版本约束匹配和智能求解，自动管理复杂的依赖网络，让开发者不必手动处理库之间的兼容性问题。
