composer依赖解析基于SAT求解器，将包版本选择转化为逻辑命题，通过规则生成、回溯搜索与冲突最小化等步骤，在满足所有约束条件下构建无冲突的全局依赖图。
Composer 的依赖解析算法是 php 项目中管理第三方库的核心机制。它负责根据项目中的 composer.json 文件，准确地选择并安装所有需要的包及其版本，同时解决不同包之间的依赖冲突。这个过程看似简单，实则背后有一套复杂而高效的逻辑在运行。
依赖解析的基本目标
Composer 的核心任务是在满足所有包声明的版本约束的前提下，为每个包选出一个确定的版本。这些约束来自：
最终目标是生成一个全局一致的依赖图，确保没有版本冲突，并且所有依赖都能被正确加载。
使用 SAT 求解器进行依赖解析
从 Composer 1.0 开始，其依赖解析器基于一个称为 SAT 求解器（布尔可满足性求解器）的理论模型。这不同于早期简单的递归合并策略，能更精确地处理复杂的依赖场景。
具体来说，Composer 将整个依赖问题转化为一个逻辑命题：是否存在一组包版本的组合，使得所有依赖约束都被满足？
在这个模型中：
- 每一个“包@版本”是一个布尔变量（例如：
monolog/monolog:2.0.0是否被安装） - 每一个版本约束（如
"php": "^7.4"或"symfony/http-Foundation": "~5.0"）被翻译成逻辑表达式 - 互斥规则（如冲突、替换、提供）也被编码为逻辑子句
然后 Composer 使用定制的 SAT 求解算法遍历可能的组合，尝试找出一个满足所有条件的解。
解析过程的关键步骤
Composer 的依赖解析并不是暴力穷举，而是通过一系列优化策略高效推进：
- 规则生成：读取所有相关包的元数据（本地或远程），将版本约束转换为内部规则。比如
^2.0被展开为允许 2.0.0 到 3.0.0 之前的版本。 - 版本排序与优先级：默认情况下，Composer 倾向于安装最新符合约束的版本（除非配置了其他策略）。这有助于保持项目更新，但也可能导致“依赖漂移”。
- 回溯搜索（Backtracking）：当某个路径导致冲突时（例如 A 包需要 B@1，C 包需要 B@2，但两者不兼容），解析器会回退到之前的决策点，尝试另一个版本组合。
- 冲突最小化：Composer 会记录哪些规则导致了不可行的结论，并在后续尝试中避免重复走入相同死胡同，提升效率。
影响解析行为的实际因素
除了算法本身，以下几个实际因素会影响依赖解析的结果：
- 平台依赖：如 PHP 版本、扩展（ext-json）、操作系统等都会作为硬性约束参与计算。即使某个包支持 PHP 8.0，如果你运行的是 PHP 7.4，它就不会被考虑。
- replace 和 provide：某些包会声明自己“替代”另一个包，或“提供”某个虚拟功能包（如 psr/simple-cache-implementation），这些会影响依赖匹配。
- require-dev 的作用域：开发依赖只在根项目中生效，不会传递到依赖链中，避免不必要的膨胀。
- 锁定文件（composer.lock）：一旦生成，Composer 会优先使用 lock 文件中记录的版本，确保环境一致性。只有运行
update时才会重新触发完整解析。
基本上就这些。Composer 的依赖解析不是简单的“下载所需包”，而是一个基于 SAT 模型的逻辑推理过程。理解这一点，有助于开发者更好地编写 composer.json、诊断安装失败的原因，以及合理使用版本约束来平衡稳定性和可维护性。