咨询Julia默认环境安装本地包未遵循Project.toml依赖的机制

核心逻辑 #

Pkg.add(path="/path/to/foo")的本质是把本地包foo当作当前激活环境（这里是默认环境）的一个依赖项来添加，而不是将foo的独立环境合并到默认环境。这意味着foo的Project.toml约束要服从默认环境的全局依赖求解规则，而非反过来。

依赖解析的具体规则 #

• 默认环境的Project.toml是优先级最高的约束源。Pkg会优先保证当前环境已有的所有依赖能共存，再尝试兼容待添加包的版本要求。
• 本地包的[compat]字段只是给依赖求解器的参考建议，不是强制要求：
  • 如果默认环境已经安装了某个依赖（比如你例子里的JuMP 1.9.0），且该版本能和默认环境的其他包兼容，哪怕foo要求1.5.0，Pkg也不会主动降级——因为降级可能破坏其他已安装包的正常运行。
  • 如果默认环境没有该依赖，Pkg会优先选择满足foo compat的最新可用版本，但如果存在更高级的版本和foo代码无实际冲突（比如foo的compat写死1.5.0但代码兼容更高版本），求解器可能会选高版本。

和instantiate的本质区别 #

• instantiate是完全复现独立环境：激活foo的环境后，严格按照它的Project.toml和Manifest.toml安装依赖，和默认环境完全隔离，互不影响。
• Pkg.add(path=...)是扩展当前环境：把foo加入默认环境的依赖列表，此时要保证整个默认环境的所有依赖（包括原有包+新加入的foo）能共同工作，所以foo的约束会被全局求解规则覆盖。

你的场景里JuMP安装成1.9.0的原因 #

大概率是以下两种情况之一：

1. 默认环境之前已经安装了JuMP 1.9.0，Pkg判断该版本和默认环境的其他依赖兼容，因此不会为了满足foo的要求而降级。
2. 默认环境之前没有JuMP，Pkg的求解器认为JuMP 1.9.0和foo的代码实际兼容（即使foo的compat写了1.5.0），因此选择了最新版本。

如果要在默认环境强制遵循foo的约束 #

可以手动先安装符合要求的依赖版本，再添加foo：

# 先在默认环境安装foo要求的JuMP版本
Pkg.add("JuMP@1.5.0")
# 再添加本地包foo
Pkg.add(path="/path/to/foo")

但要注意：这种操作可能导致默认环境的其他包和JuMP 1.5.0冲突，因此更推荐的实践是给foo创建独立环境，使用时通过Pkg.activate("/path/to/foo")激活，避免污染默认环境。

内容的提问来源于stack exchange，提问作者baNv