Composer版本约束按SemVer规则计算数学区间，^锚定主版本、~锚定最左非零段，0.x下二者行为更窄且破坏性变更合法，composer.lock优先于composer.json，验证需用--dry-run或composer show。

Composer 的版本约束不是“选最新”，而是按语义化版本（SemVer）规则算出一个数学上合法的区间；写错一个符号，就可能把破坏性变更直接拉进生产环境。

^ 和 ~ 的锚点逻辑完全不同，别凭感觉猜范围

很多人以为 ^ 是“宽松”、~ 是“严格”，其实它们根本不在同一套坐标系里：^ 锚定主版本号（M），~ 锚定最左侧非零段（可能是 M，也可能是 M.N）。

• ^1.2.3 → 等价于 >=1.2.3 <2.0.0：允许升到 1.99.99，只要主版本还是 1
• ~1.2.3 → 等价于 >=1.2.3 <1.3.0：次版本卡死在 1.2.x，连 1.3.0 都不放行
• ~1.2 等价于 ~1.2.0，不是 >=1.2.0（常见误读）
• 写成 ^2 本意是“2.x 就行”，结果它真会装 2.99.99——而你根本没测过那个版本

0.x 版本下 ^ 和 ~ 行为一致，但比你以为的更窄

0.x 不是客气话，是 SemVer 明确定义的「不稳定开发阶段」。这意味着任何 minor 变更都可能破坏 API，Composer 会严格执行。

Discussion Composer

围绕关键发现、作用机制、临床相关性及研究局限性展开讨论。适用于撰写或优化任何生物医学论文的“讨论（Discussion）”部分——包括结果解读、与既往文献关联、阐释意外发现、界定研究局限性，以及撰写结论。当用户输入以下任一指令时也会自动触发该功能： - “write my discussion” - “help me discuss my findings” - “how do I compare to prior studies” - “write the limitations par

下载

• ^0.5.1 实际只允许 0.5.x，哪怕包作者发了 0.6.0，也属于不兼容变更
• ^0.0.1 几乎等于锁定：只匹配 0.0.1 本身，改第三位都算 breaking
• ~0.3.4 和 ^0.3.4 效果一致，都只放行 0.3.x
• 依赖长期卡在 0.x 的包，不能只看数字，得查它的 CHANGELOG 或 issue，确认是否真守 SemVer

composer.lock 永远比 composer.json 优先，版本不一致？先看 lock 文件

哪怕你把 monolog/monolog 改成 "^3.0"，只要 composer.lock 里还记着 2.10.0，install 就只会装那个。

• 想强制按新约束重装？删掉 composer.lock 再 composer install（慎用，影响团队一致性）
• 只想更新某一个包？用 composer update vendor/package，它会重新计算依赖图并更新 lock
• composer show 输出里版本号带 *（如 3.5.0 *），说明该包不在 lock 文件中，可能是被其他包间接引入、且未被显式约束

怎么验证你写的约束到底生效了？

别只信 composer.json 里写的，要动手确认实际行为。

• 运行 composer update --dry-run，它会告诉你本次升级将装哪些版本，是否落在你预期的区间内
• 用 composer show -a monolog/monolog 查真实可用版本列表（含所有 tagged release、预发布、分支快照）
• 私有包打 tag 后找不到新版本？检查 repositories 配置和 token 是否有效，镜像源可能延迟数小时
• 拼错包名会直接报 Package not found，这不是命令失效，是 Packagist 上真没这个命名空间

真正容易被忽略的是：0.x 包的 ^ 约束比你以为的更窄，不是“还没稳定”，是“随时可能崩”。它不靠人品，靠规则；你不查 CHANGELOG，它就不会提醒你某个 0.5.4 删了你正在用的 public 方法。