Composer基于SemVer 2.0.0规则解析依赖，通过^、~等约束符确保安装向后兼容的版本，如^1.12允许1.12.0至2.0.0前的版本，而~1.4仅允许1.4.0至1.5.0前的版本，保障升级安全。
Composer 是 PHP 的依赖管理工具，它的核心功能之一是根据项目声明的依赖关系自动安装合适的库版本。理解 Composer 如何与 SemVer 2.0.0（语义化版本规范）协同工作，对维护项目的稳定性和可升级性至关重要。
什么是 SemVer 2.0.0？
SemVer 2.0.0 定义了一种版本号格式：MAJOR.MINOR.PATCH（主版本号.次版本号.修订号），并规定了每个部分变更时的含义：
- MAJOR：当你做了不兼容的 API 修改时递增
- MINOR：当你以向后兼容的方式添加新功能时递增
- PATCH：当你进行向后兼容的问题修复时递增
例如，版本 1.3.4 表示这是主版本 1 的第 3 次功能更新和第 4 次补丁修复。
Composer 如何使用 SemVer 解析依赖？
Composer 在解析 composer.json 中的版本约束时，依赖包发布的版本号是否遵循 SemVer 来决定哪些版本可以安全安装。
假设你声明：
"monolog/monolog": "^1.12"这个波浪线（^）操作符表示允许更新到下一个主版本之前的所有版本，前提是这些更新是“安全”的——也就是基于 SemVer 规则的向后兼容更新。
也就是说，^1.12 允许 1.12.0 到 2.0.0 之前的任何版本（如 1.15.0、1.20.0），但不会包含 2.0.0，因为那是一个可能包含破坏性变更的主版本升级。
版本约束与 SemVer 的实际影响
Composer 的版本解析器（如 solver）会结合 SemVer 和你的约束条件，从可用版本中选择最合适的一组依赖。
常见约束及其在 SemVer 下的行为：
- ~1.4：允许 MINOR 更新，即 1.4.0 到 1.5.0（不含）之间的版本，适用于 PATCH 和 MINOR 升级
- ^1.4：允许 MINOR 和 PATCH 更新，直到 2.0.0（不含），适合大多数遵循 SemVer 的包
- 1.*：匹配 1.x 系列的所有版本，等效于 ^1.0
如果一个包没有遵循 SemVer（比如 1.5.0 实际上包含了破坏性变更），那么即使 Composer 按规则安装了它，也可能导致你的应用出错。因此，依赖包是否真正遵守 SemVer 至关重要。
预发布版本与元数据的支持
SemVer 2.0.0 还支持预发布版本（如 1.0.0-alpha.1）和构建元数据（如 1.0.0+20230101）。Composer 能识别这些格式，并默认不会安装预发布版本，除非你在约束中明确指定。
例如：
"acme/package": "1.0.0-beta"否则，Composer 会优先选择稳定的正式版本。
基本上就这些。Composer 本身不强制包必须遵守 SemVer，但它的一切版本解析逻辑都建立在“包遵循 SemVer”的前提之上。作为开发者，你需要确保所依赖的库确实按 SemVer 发布版本，这样才能安全使用 Composer 提供的灵活版本约束机制。
