Go Modules - concept

Go

开篇

上一篇文章中我们介绍了如何以经典的 hello world 为例创建一个 Go module 模块,需要说明的是一个模块中是可以包含多个包(package)的,它们是可以被一起发布、打包、版本化的。同时,Go Modules 也可以通过版本管理系统(github、gitlab)或者 goproxy 代理进行下载。在使用 Go Modules 之前,我们建议大家弄清楚息息相关的这几个模块相关概念,以方便大家在后期的开发、使用过程中理解更加深入。

模块路径

Go 使用 module path 来区分不同的 module 模块,它在 go.mod 文件中被定义,这个文件中还包含了这个模块编译所需的其他依赖。如果一个目录中包含了 go.mod 文件,那么这个目录就是这个 Go 模块的根目录了。

另外,我们还要介绍下 包(package) 这个概念,它在 Go Modules 出现之前就已经存在了。Go 模块中的 包 (package) 是处于同一目录中的一些源代码文件的集合,这些文件将被编译在一起。包路径(package path) 是模块路径和子目录(模块根目录的相对路径)的组合。举个例子,在模块 golang.org/x/net 下的 html 目录中有个包,这个包的路径是 golang.org/x/net/html

总结下来就是: 一个代码仓库可以包含多个 Go 模块,一个 Go 模块可以包含多个 Go 包。

模块路径是一个 Go 模块的规范名称,用于区分不通的模块。同时他还是该模块下 Go 包的路径前缀。理论上,模块路径应该至少包含两个关键信息:

1. 这个模块的作用
2. 去哪里获取这个模块

版本号与兼容性原则

版本号相当于是一个模块的只读快照,它可以是正式的发布版本,也可以是预发布版本。 每个版本都以字母 v 开头,后跟一个语义版本,例如 v1.0.0。

总而言之,语义版本由三个由点分隔的非负整数(主要版本、次要版本和补丁版本,从左到右)组成。 补丁版本后可以跟一个以连字符开头的可选预发布字符串。 预发布字符串或补丁版本后可以跟一个以加号开头的构建元数据字符串。 例如,v0.0.0、v1.12.134、v8.0.5-pre、v2.0.9+meta 等都是有效版本。

版本号中的信息代表了这个版本是否是一个稳定版,是否保持了与之前版本的兼容性。

* 当我们维护的模块发生了一些不兼容变更,比如修改了外部可调用的接口或者函数时,我们需要对主版本号进行递增,并且将次版本号和补丁版本号置为零。比如我们在模块中移除了一个包。
* 当我们在模块中添加一些新的函数或者接口,并没有影响模块的兼容性时,我们需要对次版本号进行递增,并且将补丁版本号置为零。
* 当我们修复了一些 bug 或者进行了一些优化,我们只需要对补丁版本号进行递增就可以了,因为这些变更不会对已经公开的接口进行变更。
* 预发布后缀代表了这个版本号是一个预发布版本。预发布版本号的排序会在正式版本号的前面。举个例子,v1.2.3-pre 会排列在 v1.2.3 前面。
* 元数据后缀会在版本比对中被忽略,版本控制中的代码库会忽略带有构建元数据的标签,但在 go.mod 文件中指定的版本中会保留构建元数据。如果一个模块还没有迁移到 Go Modules 并且主版本号是 2 或者更高,+incompatible 后缀会被添加到版本号上。

如果一个版本的主版本号是 0 或者它有一个预发布版本后缀,那么这个版本被认为是一个不稳定版本。通常,不稳定版本不受兼容性限制的,举个例子,v0.2.0 可能和 v0.1.0 是不兼容的,v1.5.0-beta 可能和 v1.5.0 也是不兼容的。

Go 可以通过 tags、分支、和 commit 哈希值来获取模块,即使这些命名没有遵循这些规则。在主模块中,go 命令会自动的将这些 revision 转化为符合标准的版本号,我们称它为伪版本号(pseudo-version)。举个例子,当我们执行下面的命令:

go get -d golang.org/x/net@daa7c041

Go 会讲指定的 hash daa7c041 转化为一个伪版本号 v0.0.0-20191109021931-daa7c04131f5。在主模块之外需要规范版本,如果 go.mod 文件中出现像 master 这样的非规范版本,go 命令会报错。

伪版本号

伪版本号是一种预发布版本号的格式,其中包含了指定的 commit hash 值。另外,对于没有打标签的代码库,我们也可以使用伪版本号来表明某个版本,它可以在正式发布某个版本之前方便的进行测试,举个例子,

每个伪版本号都有三部分组成:

* 基本版本前缀(vX.0.0 或 vX.Y.Z-0),它要么源自修订版之前的语义版本标签,要么源自 vX.0.0(如果没有此类标签)。
* 时间戳 (yyyymmddhhmmss),这是创建 commit 的 UTC 时间。 在 Git 中,这是 commit 提交时间。
* commit 标识符 (abcdefabcdef),它是提交 commit 哈希的 12 个字符的前缀,或者在 Subversion 中,是一个用零填充的修订号。

* 如果之前没有基版本,那么诸如 vX.0.0-yyyymmddhhmmss-abcdefabcdef 这样的伪版本号将被启用。主版本号 X 需要匹配模块的主版本号后缀。

* 如果之前的基版本号是一个像 vX.Y.Z-pre 这样的预发布版本,那么 vX.Y.Z-pre.0.yyyymmddhhmmss-abcdefabcdef 将被采用。
* 如果之前的基版本号是一个像 vX.Y.Z 这样的正式版本,那么 vX.Y.(Z+1)-0.yyyymmddhhmmss-abcdefabcdef 将被采用,举个例子,如果基版本号是 v1.2.3,伪版本号可能是 v1.2.4-0.20191109021931-daa7c04131f5。
* 基于不同的基础版本号,多个伪版本号是有可能指向同一个 commit hash 的,当我们对于一个低于已经存在的伪版本号打标签时,这种情况就会发生。

上面介绍的这种伪版本号携带了两个非常有用的信息:

1. 伪版本号会高于这些已经存在的基础版本号,但是会低于后面生成的其他伪版本号。
2. 有相同基础版本前缀的伪版本按时间顺序排序。

伪版本号不需要手动指定。很多 Go 命令可以接受一个 commit hash 或者 分支名,然后自动将其转化为一个伪版本号(或者一个标签,如果存在的话)。例如:

go get -d example.com/mod@master
go list -m -json example.com/mod@abcd1234

主版本号后缀

从主版本号 2 开始,模块路径中必须添加一个像 /v2 这样的一个和主版本号匹配的后缀。举个例子如果一个模块在版本 v1.0.0 是的路径为 example.com/test,那么它在 v2.0.0 时的路径将是 example.com/test/v2。

主版本号后缀遵循导入兼容规则:

如果一个新代码包和老代码包拥有同样的导入路径,那么新包必须保证对老代码包的向后兼容。

根据定义,模块的新主版本中的包与先前主版本中的相应包不向后兼容。 因此,从 v2 开始,包需要新的导入路径。 这是通过向模块路径添加主版本后缀来实现的。 由于模块路径是模块内每个包的导入路径的前缀,因此将主版本后缀添加到模块路径可为每个不兼容的版本提供不同的导入路径。

主版本 v0 或 v1 不允许使用主版本后缀。 v0 和 v1 之间的模块路径不需要更改,因为 v0 版本为不稳定,没有兼容性保证。 此外,对于大多数模块,v1 向后兼容最新的 v0 版本, v1 版本才开始作为对兼容性的承诺。

这里有一个特例,以 gopkg.in/ 开头的模块路径必须始终具有主版本后缀,即使是 v0 和 v1 版本。 后缀必须以点而不是斜线开头(例如,gopkg.in/yaml.v2)。因为在 Go Modules 推出之前,gopkg.in 就沿用了这个规则,为了能让引入 gopkg.in 包的代码能继续导入编译, Go 做了一些兼容性工作。

主版本后缀可以让一个模块的多个主版本共存于同一个构建中。 这可以很好的解决钻石依赖性问题(diamond dependency conflict) https://jlbp.dev/what-is-a-diamond-dependency-conflict。 通常,如果传递依赖项在两个不同版本中需要一个模块,则将使用更高的版本。 但是,如果两个版本不兼容,则任何一个版本都不会满足所有的调用者。 由于不兼容的版本必须具有不同的主版本号,因此主版本后缀具有不同的模块路径,这样就不存在冲突了:具有不同后缀的模块被视为单独的模块,并且它们的包的导入路径也是不同的。

因为很多 Go 项目在迁移到 Go 模块之前就发布了 v2 或更高版本的版本,所以没有使用主要版本后缀, 对于这些版本,Go 使用 +incompatible 构建标记来进行注释(例如,v2.0.0+incompatible)。

解析包路径到模块路径的流程

通常我们在使用 go get 时可能是指定到一个包路径,而非模块路径,Go 是如何找到模块路径的呢?

go 命令会在主模块(当前模块)的 build list 中搜索有哪些模块路径匹配这个包路径的前缀,举个例子,如果我们导入的包路径是 example.com/a/b,发现 example.com/a 是一个模块路径,那么就会去检查 example.com/a 在 b 目录中是否包含这个包,在这个目录中要至少存在一个 go 源码文件才会被认为是一个有效的包。编译约束(Build Constraints)在这一过程中不会被应用。 如果确实在 build list 中找到了一个模块包含这个包,那么这个模块将被使用。如果没有发现模块能提供这个包或者发现两个及两个以上的模块提供了这个包,那么 go 命令会提示报错。但是你可以指定 -mod=mod 来使 go 命令尝试下载本地找不到的包,并且更新 go.mod 和 go.sum。go get 和 go mod tidy 这两个命令会自动的做这些工作。

当 go 命令试图下载一个新的代码包时,它回去检查 GOPROXY 环境变量,这是一个使用逗号分隔的 URL 列表,当然也支持像 direct 和 off 这样的关键字。代理 URL 代表 go 将使用 GOPROXY 协议拉取模块,direct 表示 go 需要和版本控制系统直接交互,off 不需要和外界做任何交互。另外,GOPRIVATE 和 GONOPROXY 环境变量也可以精细的控制 go 下载代码包的策略。

对于 GOPROXY 列表中的每一项, go 命令回去请求模块路径的每一个前缀。对于请求成功的模块,go 命令回去下载最新模块并且检查这个某块是否包含请求的包。如果多个模块包含了请求的包,拥有最长路径的将被选择。如果发现的模块中没有包含这个包,会报错。如果没有模块被发现,go 命令会尝试 GOPROXY 列表中的下一个配置项,如果最终都尝试过没有发现则会报错。接下来我们举个例子,假设我们想要去获取 golang.org/x/net/html 这个包,我们配置的 GOPROXY 为 https://corp.example.com,https://goproxy.io。go 命令会遵循下面的请求顺序:

向 https://corp.example.com/ 发起请求 (并行):
Request for latest version of golang.org/x/net/html
Request for latest version of golang.org/x/net
Request for latest version of golang.org/x
Request for latest version of golang.org

如果 https://corp.example.com/ 上面都失败了返回 410 或者 404 状态码,向 https://proxy.golang.org/ 发起请求:
Request for latest version of golang.org/x/net/html
Request for latest version of golang.org/x/net
Request for latest version of golang.org/x
Request for latest version of golang.org

当一个需要的模块被发现后,go 命令会将这个依赖模块的路径和对应版本添加到主模块的 go.mod 文件中。这样就确保了以后在编译该模块时,同样的模块版本将被使用,保证了编译的可重复性。如果解析的代码包没有被主模块直接引用,在 go.mod 文件中添加的新依赖后会有 // indirect 注释。

go.mod 文件

就像前面我们提到过的,模块的定义是由一个 UTF-8 编码的名为 go.mod 文本文件定义的。 这个文件是按照进行组织的(line-oriented)。每一行都有一个独立的指令,有一个预留关键字和一些参数组成。比如:

module example.com/my/thing

go 1.17

require example.com/other/thing v1.0.2
require example.com/new/thing/v2 v2.3.4
exclude example.com/old/thing v1.2.3
replace example.com/bad/thing v1.4.5 => example.com/good/thing v1.4.5
retract [v1.9.0, v1.9.5]

开头的关键词可以以行的形式被归总为块,就像我们常用的 imports 一样,所以我们可以改成下面这样:

require (
    example.com/new/thing/v2 v2.3.4
    example.com/old/thing v1.2.3
)

go.mod 文件的设计兼顾了开发者的可读性和机器的易写性。go 命令也提供了几个子命令来帮组开发者修改 go.mod 文件。举个例子,go get 命令可以在需要的时候更新 go.mod 文件。go mod edit 命令可以对文件做一些底层的修改操作。如果我们也有类似的需求,可以使用 golang.org/x/mod/modfile 包以编程方式进行同样的更改。通过这个包,我们也可以一窥底层 go.mod 的 struct 结构:

// go.mod 文件的组成形式
type File struct {
	Module  *Module       // 模块路径
	Go      *Go           // Go 版本
	Require []*Require    // 依赖模块
	Exclude []*Exclude    // 排除模块
	Replace []*Replace    // 替换模块
	Retract []*Retract    // 测回模块

}

// A Module is the module statement.
type Module struct {
	Mod        module.Version
	Deprecated string
}

// A Go is the go statement.
type Go struct {
	Version string // "1.23"
}

// An Exclude is a single exclude statement.
type Exclude struct {
	Mod    module.Version
}

// A Replace is a single replace statement.
type Replace struct {
	Old    module.Version
	New    module.Version
}

// A Retract is a single retract statement.
type Retract struct {
	VersionInterval
	Rationale string
}

从上面的 Module 这个 struct 中我们看到了 Deprecated 这个结构,在 Go Modules 推出的早期是没有这个设计的,这个字段是做什么用的呢? 估计很多人都不知道,如果我们维护的一个模块主版本从 v1 演进到了 v2,我们不再维护 v1 版本了,希望用户尽可能使用 v2,通过上面的介绍我们知道v1 和 v2 是不同的 import path,Retract 也无能为力,这时候这个 Deprecated 就起作用了,看下面的例子:

// Deprecated: in example.com/a/b@v1.9.0, the latest supported version is  example.com/a/b/v2.
module example.com/a/b

go 1.17

当用户再去获取 example.com/a/b 这个版本时,go 命令可以感知到这个版本已经不再维护了,会报告给用户:

go get -d example.com/a/b@v1.9.0

go: warning: module example.com/deprecated/a is deprecated: in example.com/a/b@v1.9.0, the latest supported version is  example.com/a/b/v2

用户就可以根据提示进行 v2 代码拉取了。

最后

这边文章我们介绍了 Go Modules 中的模块、模块路径、包、包路径、如何通过包路径寻找模块路径,还介绍了版本号和伪版本号,最后我们简单介绍了 go.mod 文件,以及其中不为人知的 Deprecated 功能,了解这些概念、设计理念和兼容性原则,将对我们管理和维护自己的 Go 模块大有帮助。