Rust语言的语义版本控制仍然导致太多应用程序出错
内容提要
在对1,000个最受欢迎的Rust实用程序进行调查时，发现17.2%的软件包存在SemVer违规。Rust开发人员Predrag Gruevski创建了cargo-semver-checks工具，用于扫描并标记SemVer违规，以解决破坏性变化问题。
延伸解读
SemVer违规的普遍性与影响
调查显示，在1000个最受欢迎的Rust包中，17.2%存在至少一次SemVer违规。这意味着依赖这些包的项目平均每10天就会遭遇一次破坏性变更，导致构建失败，迫使开发者花费大量时间排查原因。这种频繁的破坏不仅影响个别项目，还会波及整个生态系统，凸显了SemVer在Rust社区中执行的严峻挑战。
Rust中重大版本升级的模糊性
SemVer规定MAJOR版本用于不兼容的API变更，但在Rust中，什么构成重大变更往往模糊不清。例如，添加新trait通常视为MINOR升级，但若与其他trait冲突则可能需MAJOR升级。其他如修改公共项、添加枚举变体、收紧泛型约束等都可能破坏编译或行为。这种模糊性使得维护者难以准确判断版本号，增加了用户意外遭遇破坏的风险。
自动化工具cargo-semver-checks的作用与局限
Predrag Gruevski开发的cargo-semver-checks工具能扫描Rust包并标记SemVer违规，目前包含约80条lint规则，可集成到构建流水线中。然而，Gruevski承认至少还有150种应捕获的行为未覆盖。此外，某些破坏性变更（如数据结构重构导致内存使用变化）可能无法被工具检测到，仍需人工判断。因此，自动化工具虽有助于减少破坏，但无法完全替代人工审查。
其他生态系统的版本控制策略
并非所有软件包都严格遵循SemVer。Python固定使用3.X版本，即使有破坏性变更也只递增次要版本，社区还在考虑改为基于年份的版本号。JavaScript使用四位年份作为版本号。Ubuntu采用日历版本控制（CalVer），如24.04表示2024年4月发布。这些替代方案各有特点，但共同问题是开发者仍需阅读发布说明来识别破坏性变更，增加了维护负担。
Q&A
Rust语言中的SemVer违规率是多少？
在对1,000个最受欢迎的Rust实用程序进行调查时，发现17.2%的软件包存在SemVer违规。
cargo-semver-checks工具的作用是什么？
cargo-semver-checks工具用于扫描Rust包并标记SemVer违规，以帮助确保项目的依赖关系不被破坏。
SemVer的定义包括哪些版本类型？
SemVer的定义包括MAJOR、MINOR和PATCH版本。
Rust中什么情况下会导致重大版本升级？
在Rust中，添加新特性通常被视为小版本升级，但某些情况下可能导致重大版本升级，特别是当新特性与其他特性冲突时。
Hyrum's Law对软件版本控制有什么影响？
Hyrum's Law指出，任何可观察的系统行为对某些用户都是重要的，甚至是bug修复也可能导致破坏性变化。
Rust语言的SemVer问题主要表现在哪些方面？
Rust语言的SemVer问题主要表现为对重大版本升级的模糊性，以及许多更改可能导致编译错误或意外行为。
