波浪号按最后一位非零数字截断升级范围：~2.7.4允许2.7.4–2.7.999，~2.7等价于~2.7.0，~2等价于>=2.0.0
~ 波浪号到底锁在哪一位？
波浪号 ~ 不是“大概匹配”，它按你写的**最后一位非零数字**截断升级范围。写 ~2.7.4，就只允许装 2.7.4 到 2.7.999；写 ~2.7，Composer 自动补成 ~2.7.0，效果一样；但写 ~2，就变成 >=2.0.0 ——这和 <code>^2.0.0 数学上重合，语义却完全不同。
常见错误现象：composer update 没升到 2.8.0，不是约束没生效，而是 ~2.7.4 本来就不允许它出现。别怪 Composer，是你自己画了条线，它老老实实站在后面。
- 想稳住某个次版本的全部补丁（比如只用
monolog/monolog的2.7.x系列），就写~2.7.4 - 如果只写
~2.7，可读性差，还可能在删 lock 重装时意外拉到未验证过的低 patch 版（如2.7.0-RC1） -
~0.8.2和~0.8都等价于>=0.8.2 ，0.x 下它不“松”，反而更紧
^ 折号（插入符）不是“更宽松”，是边界不同
^ 是插入符，不是波浪号——这点常被念错，也影响理解。它表示“向后兼容升级”，数学定义是：主版本不变的前提下，次版本和修订号可任意增长。所以 ^2.7.4 等价于 >=2.7.4 ，能装 <code>2.9.0、2.10.5，甚至 2.99.99。
但它的前提很脆弱：包必须严格遵守 SemVer。现实中，有人把 2.10.0 当作破坏性更新发，^2.7.4 仍会装它，Composer 不校验变更内容。
围绕关键发现、作用机制、临床相关性及研究局限性展开讨论。适用于撰写或优化任何生物医学论文的“讨论（Discussion）”部分——包括结果解读、与既往文献关联、阐释意外发现、界定研究局限性，以及撰写结论。当用户输入以下任一指令时也会自动触发该功能： - “write my discussion” - “help me discuss my findings” - “how do I compare to prior studies” - “write the limitations par
- 0.x 版本下
^0.8.2会自动降级为>=0.8.2 ，和 <code>~0.8.2行为一致——这不是 bug，是语义化版本规范强制的 - 想支持
0.9.x和0.10.x？不能靠^0.9.0，得显式写"~0.9.0 || ~0.10.0" -
composer update --dry-run必须跑一遍，否则你永远不知道 CI 里实际装的是2.7.4还是2.10.2
什么时候该用 ~，而不是 ^？
不是“怕升级”就选 ~，而是你明确知道：只有补丁级更新（patch）才真正安全。比如对接银行 SDK、政府接口、硬件驱动这类更新慢、文档少、变更不可测的依赖，~2.7.4 能确保你永远不跨出已验证的次版本边界。
反例：全项目无脑用 ~，半年后 guzzlehttp/guzzle 还卡在 7.2.x，错过连接池优化和 HTTP/2 支持，性能瓶颈就出在这儿。
- 生产环境中间件强依赖某小版本行为（如事件钩子顺序、日志字段名），用
~ - 已知某 patch 有严重 bug（如
monolog/monolog 2.7.5内存泄漏），又不想锁死=2.7.4失去后续修复，~2.7.4是最优解 - CI 流水线里加
composer prohibits monolog/monolog:2.8.0，快速确认谁在拦路，比翻报错快得多
约束符只在 update 或首次 install 时起作用
composer.json 里的 ~ 或 ^ 不控制日常 composer install。只要 composer.lock 存在且提交进 Git，install 就只认 lock 文件里的具体版本，约束符完全失效。
所以，composer.lock 必须提交；否则别人 clone 后 composer install，可能拿到和你本地完全不同的版本——尤其当上游刚发布了新 patch。
- 执行
composer update vendor/package时，只按该包在composer.json中的约束找最新匹配版 - 执行无参数的
composer update，所有包都重新评估，^包更容易批量跃进（比如从2.4.0直接跳到2.9.0） - 查真实装的是哪个版本？用
composer show vendor/package -i，别只看composer.json
