^ 表示主版本锚定的向后兼容升级（如 ^1.2.3 → 1.2.3 至 1.99.999），~ 表示次版本锚定（如 ~1.2.3 → 1.2.3 至 1.2.999）；^1.2.3 等价于 >=1.2.3
^ 允许升级到同一主版本下的任意兼容版本（比如 ^1.2.3 → 可升到 1.99.999），而 ~ 只允许在当前次版本范围内升级（比如 ~1.2.3 → 最多到 1.2.999，绝不会到 1.3.0）。
^ 是按主版本锚定的向后兼容范围
它假设包作者遵守 SemVer 2.0：主版本（MAJOR）变更意味着不兼容改动，所以 ^ 锁死主版本号，只放开 MINOR 和 PATCH 升级权限。
-
^1.2.3等价于>=1.2.3 —— 可升到 <code>1.99.999，但跨不过2.0.0 -
^0.2.3等价于>=0.2.3 —— 主版本为 0 时，<code>^行为退化为“只升 MINOR 和 PATCH”，和~在此场景下结果一致，但逻辑不同 -
^0.0.3等价于>=0.0.3 —— 连 <code>0.0.4都不允许，因为最左侧非零段是第三位，^此时极度保守
~ 是按最左侧非零段锚定的向上兼容范围
它不看 SemVer 意图，只机械地“从第一个非零数字开始，只允许右侧段变化”——这不是更“保守”，而是锚点位置不同。
-
~1.2.3等价于>=1.2.3 —— 锚点在第二位（<code>2），所以只放行第三位（PATCH）升级 -
~0.2.3等价于>=0.2.3 —— 锚点在第二位（<code>2），和^0.2.3结果相同，但理由不同 -
~0.0.3等价于>=0.0.3 —— 锚点在第三位（<code>3），只允许该位升，0.0.4合法，0.1.0不合法
0.x 版本下容易误判行为一致性
很多人看到 ^0.2.3 和 ~0.2.3 都等价于 >=0.2.3 ，就以为两者逻辑一样。其实只是巧合重合——<code>^ 是因主版本为 0 而收缩范围，~ 是因锚点落在第二位而自然限制。一旦写成 ^0.0.3 vs ~0.0.3，差异立刻暴露：^0.0.3 锁死到 0.0.3（不接受任何更新），~0.0.3 却允许升到 0.0.999。
- 真正影响行为的是版本字符串中“第一个非零数字的位置”，不是“x.y.z 的结构印象”
- 用
composer show -s vendor/package查看实际解析出的约束范围，比凭经验猜更可靠 - 生产环境依赖建议优先用
^（主流包基本守 SemVer），仅对极敏感组件才用~或固定版本
dev-main 或分支引用不能混用 ^/~
dev-main、dev-develop 这类分支别名不参与语义化版本比较，^ 和 ~ 对它们完全无效——Composer 会直接报错或忽略约束。这类写法只应在开发阶段临时使用，上线前必须替换为稳定标签（如 ^3.5）或提交哈希（dev-main#abc123）。
- 错误示例：
"monolog/monolog": "^dev-main"→ Composer 解析失败 - 正确做法：本地开发用分支，CI/CD 中通过
composer install --no-dev+ 锁定composer.lock保证一致性 - 分支引用无法享受
^/~带来的自动安全更新能力，本质是“放弃版本管理”
