本文探讨了在 go 程序运行时动态编译并链接外部 go 代码的可行性。go 1.5 版本引入了对共享库的官方支持，允许 go 程序生成和使用 go 共享库，或将 go 代码编译为 c 兼容的静态/动态库。通过 `go install -buildmode=shared` 和 `go build -linkshared` 等命令，go 开发者现在可以实现 go 模块间的动态链接，增强程序的模块化和灵活性。
在 Go 语言的开发实践中，有时会遇到一种需求：一个 Go 二进制程序在运行时需要动态地编译并链接一个外部的 Go 文件或包，然后调用其中定义的函数。这种场景常见于构建插件系统、热更新模块或需要灵活加载外部功能的应用程序。然而，在 Go 1.5 版本之前，Go 语言的标准工具链并不直接支持这种运行时动态编译和链接 Go 代码的能力，这给开发者带来了不小的挑战。
Go 1.5 引入的共享库支持
Go 1.5 版本标志着 Go 语言在动态链接和共享库支持方面的一个重要里程碑。在此版本中，Go 官方工具链首次提供了创建和使用 Go 共享库的功能，极大地扩展了 Go 程序的模块化和交互能力。Andrew Gerrand 在 "The State of Go" 演讲中明确指出，Go 1.5 能够：
- 生成 Go 共享库：Go 程序可以编译为可供其他 Go 程序使用的共享库。
- 消费 Go 共享库：Go 程序可以链接并使用由其他 Go 程序生成的共享库。
- 生成 C 兼容库：Go 程序还可以编译为 C 语言兼容的静态归档文件（.a）或动态共享库（.so 或 .dll），以便被 C 或其他语言程序调用。
这一系列功能的引入，为 Go 语言实现更复杂的模块化架构和跨语言互操作性奠定了基础。需要注意的是，gccgo 编译器在此之前已有限度地支持此功能，但 Go 1.5 是标准 Go 构建工具首次提供官方支持。
核心命令与实践
要利用 Go 1.5 及更高版本提供的共享库功能，主要涉及 go install 和 go build 命令的特定 buildmode 参数。
1. 构建标准库为共享库
首先，我们可以将 Go 语言的标准库构建为共享库。这有助于减小最终可执行文件的大小，因为它不再需要静态链接整个标准库。
$ go install -buildmode=shared std
这条命令会编译 Go 标准库中的所有包，并将它们打包成共享库文件（例如，在 Linux 上是 .so 文件）。这些文件通常会安装到 $GOROOT/pkg/linux_amd64_shared/ 这样的平台特定路径下。
2. 链接共享库构建 Go 程序
一旦标准库或其他 Go 包被构建为共享库，我们就可以在编译自己的 Go 程序时，指示 Go 编译器链接这些共享库，而不是静态地将它们嵌入到最终的二进制文件中。
考虑一个简单的 Go 程序 hello.go：
package main
import "fmt"
func main() {
fmt.Println("Hello, dynamic world!")
}使用 -linkshared 标志编译此程序：
$ go build -linkshared hello.go $ ls -l hello -rwxr-xr-x 1 adg adg 13926 May 26 02:13 hello
通过对比，一个静态链接的 hello.go 程序通常会有数 MB 大小，而使用 -linkshared 编译后，其大小显著减小（示例中为 13926 字节，即约 14KB），因为它依赖于运行时加载的共享库。这意味着最终的 Go 可执行文件将更小，并且可以共享公共的 Go 运行时和标准库代码。
3. 将 Go 代码导出为 C 兼容库
除了 Go 程序之间相互链接共享库外，Go 1.5 也支持将 Go 代码编译为 C 语言可调用的库。这对于需要将 Go 逻辑嵌入到现有 C/C++ 应用程序，或者通过 FFI（Foreign Function Interface）与其他语言交互的场景非常有用。
例如，你可以使用 go build -buildmode=c-archive 生成一个静态归档文件（.a），或者使用 go build -buildmode=c-shared 生成一个动态共享库（.so 或 .dll）。这些模式会生成一个包含 Go 运行时和指定 Go 包的库，并提供一个 C 风格的头文件，定义了 Go 函数的 C 语言签名，方便 C 程序调用。
更多关于 Go 编译模式的详细信息，可以参考官方文档：golang.org/s/execmodes。
注意事项与总结
尽管 Go 1.5 引入了强大的共享库功能，但需要明确以下几点：
- 并非运行时即时编译：这里的“动态链接”并非指在 Go 程序运行时能够即时编译并加载任意 Go 源码文件。它指的是在编译阶段，Go 编译器可以生成或链接到预编译的 Go 共享库。对于真正的运行时代码生成和执行，通常需要更复杂的机制，例如通过 RPC 调用独立的 Go 服务，或者利用 Go 的 plugin 包（Go 1.8 引入，用于加载 Go 插件模块，但通常要求插件和主程序使用相同的 Go 版本和编译环境）。
- 部署复杂性：使用共享库意味着部署时需要确保所有依赖的共享库都存在于目标系统上，并且路径正确，这会增加部署的复杂性。
- 版本兼容性：Go 共享库对 Go 编译器版本和运行时环境有严格要求。不同 Go 版本编译的共享库之间可能存在兼容性问题。
-
适用场景：Go 的共享库功能主要适用于以下场景：
- 减小 Go 二进制文件大小，尤其是在部署多个 Go 程序到同一环境时。
- 构建 Go 语言内部的插件系统，实现模块的动态加载（通过 Go 1.8 引入的 plugin 包）。
- 将 Go 代码作为库提供给 C/C++ 或其他语言应用程序使用。
总之，Go 1.5 版本的共享库支持是 Go 语言发展中的一个重要里程碑，它为 Go 程序的模块化、部署优化以及与其他语言的互操作性提供了新的可能性。开发者可以利用这些功能构建更灵活、更高效的 Go 应用程序。
