依赖冲突

在依赖图中,当不同的包依赖于同一包的不同版本时,这被称为依赖版本冲突。产生这种情况相对容易。让我们通过一个实际的例子来看看,首先克隆 examples2 仓库

$ git clone https://github.com/conan-io/examples2.git
$ cd examples2/tutorial/versioning/conflicts/versions

在这个文件夹中,我们有一个由多个包组成的小项目:matrix(一个数学库),依赖于 matrix/1.0engine/1.0 视频游戏引擎,依赖于 matrix/1.1intro/1.0(一个实现视频游戏开场字幕和功能的包),以及最后同时依赖于 engine/1.0intro/1.0game 配方。所有这些包实际上都是空的,但它们足以产生冲突。

digraph conflict { node [fillcolor="lightskyblue", style=filled, shape=box] rankdir="BT" "game/1.0" -> "engine/1.0" -> "matrix/1.0"; "game/1.0" -> "intro/1.0" -> "matrix/1.1"; "matrix/1.0" [fillcolor="orange"]; "matrix/1.1" [fillcolor="orange"]; }


让我们创建这些依赖

$ conan create matrix --version=1.0
$ conan create matrix --version=1.1  # note this is 1.1!
$ conan create engine --version=1.0 # depends on matrix/1.0
$ conan create intro --version=1.0 # depends on matrix/1.1

当我们尝试安装 game 时,会得到错误

$ conan install game
Requirements
    engine/1.0#0fe4e6890766f7b8e21f764f0049aec7 - Cache
    intro/1.0#d639998c2e55cf36d261ab319801c322 - Cache
    matrix/1.0#905c3f0babc520684c84127378fefdd0 - Cache
Graph error
    Version conflict: intro/1.0->matrix/1.1, game/1.0->matrix/1.0.
ERROR: Version conflict: intro/1.0->matrix/1.1, game/1.0->matrix/1.0.

这是一个版本冲突,Conan 不会自动决定如何解决冲突,而是用户应该明确地解决这种冲突。

解决冲突

当然,解决此类冲突最直接了当的方法是修改依赖的 conanfile.py 文件,并升级其 requirements(),使其现在指向同一版本。然而,在某些情况下这可能不切实际,甚至可能无法修复依赖的 conanfile。

在这种情况下,应该由消费方 conanfile.py 来解决冲突(在本例中为 game),通过显式定义应使用哪个版本的依赖项,语法如下:

game/conanfile.py
class Game(ConanFile):
    name = "game"
    version = "1.0"

    def requirements(self):
        self.requires("engine/1.0")
        self.requires("intro/1.0")
        self.requires("matrix/1.1", override=True)

这被称为 override(覆盖)。game 包不直接依赖于 matrix,此 requires 声明不会引入直接依赖。但 matrix/1.1 版本将在依赖图中向上游传播,覆盖依赖于任何 matrix 版本的包的 requires,强制图的一致性,因为所有上游包现在都将依赖于 matrix/1.1

$ conan install game
...
Requirements
    engine/1.0#0fe4e6890766f7b8e21f764f0049aec7 - Cache
    intro/1.0#d639998c2e55cf36d261ab319801c322 - Cache
    matrix/1.1#905c3f0babc520684c84127378fefdd0 - Cache

digraph conflict { node [fillcolor="lightskyblue", style=filled, shape=box] rankdir="BT" "game/1.0" -> "engine/1.0" -> "matrix/1.1"; "game/1.0" -> "intro/1.0" -> "matrix/1.1"; { rank = same; edge[ style=invis]; "matrix/1.1" -> "matrix/1.0" ; rankdir = LR; } }


注意

在这种情况下,engine/1.0 不需要新的二进制文件,但在某些情况下,上述操作可能会因 engine/1.0“缺少二进制文件错误”而失败。因为之前 engine/1.0 的二进制文件是针对 matrix/1.0 构建的。如果 package_id 规则和配置定义了当依赖项的次要版本发生变化时 engine 应该重新构建,那么就需要为 engine/1.0 构建一个新的二进制文件,该文件将针对新的 matrix/1.1 依赖项进行构建和链接。

如果 game 直接依赖于 matrix/1.2 会怎样?让我们创建这个版本

$ conan create matrix --version=1.2

现在,让我们修改 game/conanfile.py,将其作为直接依赖引入

game/conanfile.py
class Game(ConanFile):
    name = "game"
    version = "1.0"

    def requirements(self):
        self.requires("engine/1.0")
        self.requires("intro/1.0")
        self.requires("matrix/1.2")

digraph conflict { node [fillcolor="lightskyblue", style=filled, shape=box] rankdir="BT" "game/1.0" -> "engine/1.0" -> "matrix/1.0"; "game/1.0" -> "intro/1.0" -> "matrix/1.1"; "game/1.0" -> "matrix/1.2"; "matrix/1.0" [fillcolor="orange"]; "matrix/1.1" [fillcolor="orange"]; "matrix/1.2" [fillcolor="orange"]; { rank = same; edge[ style=invis]; "matrix/1.1" -> "matrix/1.2" ; rankdir = LR; } }


因此,安装它将再次引发冲突错误

$ conan install game
...
ERROR: Version conflict: engine/1.0->matrix/1.0, game/1.0->matrix/1.2.

由于这次我们希望尊重 gamematrix 之间的直接依赖,我们将定义 force=True 需求特性,以表明此依赖版本也将强制上游的覆盖。

game/conanfile.py
class Game(ConanFile):
    name = "game"
    version = "1.0"

    def requirements(self):
        self.requires("engine/1.0")
        self.requires("intro/1.0")
        self.requires("matrix/1.2", force=True)

这样现在将再次解决冲突(如上所述,请注意在实际应用中,这可能意味着 engine/1.0intro/1.0 的二进制文件将丢失,需要重新构建以链接到新强制的 matrix/1.2 版本)。

$ conan install game
Requirements
    engine/1.0#0fe4e6890766f7b8e21f764f0049aec7 - Cache
    intro/1.0#d639998c2e55cf36d261ab319801c322 - Cache
    matrix/1.2#905c3f0babc520684c84127378fefdd0 - Cache

digraph conflict { node [fillcolor="lightskyblue", style=filled, shape=box] rankdir="BT" "game/1.0" -> "engine/1.0" -> "matrix/1.2"; "game/1.0" -> "intro/1.0" -> "matrix/1.2"; "game/1.0" -> "matrix/1.2"; { rank = same; edge[ style=invis]; "matrix/1.2" -> "matrix/1.0" -> "matrix/1.1" ; rankdir = LR; } }


注意

最佳实践

  • 通常,通过覆盖/强制来解决版本冲突应该是例外情况,并应尽可能避免,作为临时解决方案。真正的解决方案是推进依赖的 requires,使其自然收敛到上游依赖的相同版本。

  • 一个关键的结论是,force 特性将在消费者和所需包之间创建直接依赖,而 override 则不会,它只会指示 Conan 在包已存在于依赖图中时优先选择所需版本。

  • 版本范围也可能产生一些版本冲突,即使 Conan 试图减少它们。关于版本冲突的常见问题解答 讨论了图解决算法和最小化冲突的策略。

覆盖选项

在依赖图中存在菱形结构时(如上所示),不同的配方可能会为上游 options 定义不同的值。在这种情况下,这不会直接导致冲突,而是第一个被定义的值将被优先考虑并生效。

在上面的例子中,如果 matrix/1.0 可以是静态库也可以是共享库,并且 engine 决定将其定义为静态库(实际上不是必需的,因为这已经是默认值)

engine/conanfile.py
class Engine(ConanFile):
    name = "engine"
    version = "1.0"
    # Not strictly necessary because this is already the matrix default
    default_options = {"matrix*:shared": False}

警告

在配方中定义选项值没有强有力的保证,请查看 关于依赖项选项值的常见问题解答。定义选项值的推荐方式是在配置文件中。

并且 intro 配方也会这样做,但它会定义需要一个共享库,并添加一个 validate() 方法,因为由于某种原因,intro 包只能针对共享库构建,否则会崩溃。

intro/conanfile.py
class Intro(ConanFile):
    name = "intro"
    version = "1.0"
    default_options = {"matrix*:shared": True}

    def requirements(self):
        self.requires("matrix/1.0")

    def validate(self):
        if not self.dependencies["matrix"].options.shared:
            raise ConanInvalidConfiguration("Intro package doesn't work with static matrix library")

那么,这将导致一个错误,因为第一个定义选项值的是 engine(它在 game 的 conanfile 的 requirements() 方法中首先声明)。在 examples2 仓库中,进入 “options” 文件夹,创建不同的包。

$ cd ../options
$ conan create matrix
$ conan create matrix -o matrix/*:shared=True
$ conan create engine
$ conan create intro
$ conan install game  # FAILS!
...
-------- Installing (downloading, building) binaries... --------
ERROR: There are invalid packages (packages that cannot exist for this configuration):
intro/1.0: Invalid: Intro package doesn't work with static matrix library

遵循相同的原则,下游消费方配方(在本例中为 game 的 conanfile.py)可以定义选项值,并且这些值将获得优先权。

game/conanfile.py
class Game(ConanFile):
    name = "game"
    version = "1.0"
    default_options = {"matrix*:shared": True}

    def requirements(self):
        self.requires("engine/1.0")
        self.requires("intro/1.0")

这样现在将强制 matrix 成为一个共享库,无论 engine 是否定义了 shared=False,因为下游消费者总是优先于上游依赖项。

$ conan install game
...
-------- Installing (downloading, building) binaries... --------
matrix/1.0: Already installed!
matrix/1.0: I am a shared-library library!!!
engine/1.0: Already installed!
intro/1.0: Already installed!

注意

最佳实践

作为一般规则,应避免在消费者的 conanfile.py 中修改或定义依赖项的 options 值。声明的 options 默认值应适用于大多数情况,而与这些默认值不同的变体最好在配置文件中定义。