约束表达式实战

用约束表达式判断「某版本是否兼容 / 在允许范围内」，这是依赖解析的核心。

🔢 基本运算符

v := versions.NewVersion("1.5.0")

c, _ := versions.ParseConstraint(">=1.0.0")
c.Match(v) // true

// Version 便捷方法
ok, _ := v.Matches(">=1.0.0,<2.0.0") // true

9 种运算符见 约束表达式概念。

🤝 caret / tilde（兼容版本）

// ^ 锁定左起首个非零段
cs, _ := versions.ParseConstraintSet("^1.2.3")
cs.Match(versions.NewVersion("1.3.0")) // true  (>=1.2.3,<2.0.0)
cs.Match(versions.NewVersion("2.0.0")) // false

// ~ 锁定到 minor
cs2, _ := versions.ParseConstraintSet("~1.2.3")
cs2.Match(versions.NewVersion("1.2.9")) // true  (>=1.2.3,<1.3.0)
cs2.Match(versions.NewVersion("1.3.0")) // false

🎚 通配符

cs, _ := versions.ParseConstraintSet("1.2.x")
cs.Match(versions.NewVersion("1.2.0"))  // true
cs.Match(versions.NewVersion("1.2.99")) // true
cs.Match(versions.NewVersion("1.3.0"))  // false

🔗 AND / OR

// AND（逗号）
set, _ := versions.ParseConstraintSet(">=1.0.0,<2.0.0,!=1.5.0")
set.Match(versions.NewVersion("1.5.0")) // false（被排除）
set.Match(versions.NewVersion("1.6.0")) // true

// OR（||）
union, _ := versions.ParseConstraintUnion("1.x || 3.0.0")
union.Match(versions.NewVersion("1.9.0")) // true
union.Match(versions.NewVersion("2.0.0")) // false
union.Match(versions.NewVersion("3.0.0")) // true

🎯 批量过滤

vs := versions.NewVersions("0.9.0", "1.0.0", "1.5.0", "2.0.0", "2.1.0")
cs, _ := versions.ParseConstraintSet("^1.0.0")
compatible := versions.FilterByConstraintSet(vs, cs) // [1.0.0 1.5.0]

❌ 取反

c, _ := versions.ParseConstraint(">=2.0.0")
negated := versions.NegateConstraint(c) // <2.0.0
negated.Match(versions.NewVersion("1.0.0")) // true

🚀 下一步

• 范围查询
• 概念：约束表达式
• API：ParseConstraintSet · ConstraintUnion · NegateConstraint · FilterByConstraintSet