当前位置：首页 > news >正文

从 Go 迁移到 Rust：正确性保证、运行时权衡与开发者体验的全面对比

news 2026/5/25 12:24:59

从 Go 迁移到 Rust：特殊的迁移工作

在所有迁移工作中，从 Go 迁移到 Rust 有点特殊。这不是“Rust 是否更快”或者“Rust 是否有类型”的问题，Go 在很多方面已经做得很好了。讨论的重点主要集中在“正确性保证”、“运行时权衡”和“开发者体验”上。

迁移指南聚焦后端开发

本指南主要聚焦于后端开发。后端服务是 Go 的强项，它能生成小型静态二进制文件，标准库专注于网络编程，还有大量用于 HTTP 服务器、gRPC、数据库等的库生态。这也是大多数考虑使用 Rust 的团队的出发点。如果你正在编写 CLI 工具、嵌入式固件或游戏引擎，部分内容仍然适用，但本指南可能不是最适合你的资源。

作者立场与指南适用对象

作者不太喜欢 Go，认为它是一门“设计欠佳”的语言，尽管它非常成功。Go 将“易用性”与“简单性”混为一谈，其一些核心设计权衡与作者观点相悖。不过，Go 在开发者群体中占据了稳定的份额，在 JetBrains 开发者生态系统调查中，其使用率一直保持在 17 - 19% 左右。Rust 虽然在稳步发展，但份额仍然较小。作者经营着一家 Rust 咨询公司，当然会有一定的偏向性，但也有使用这两种语言进行专业开发的经验，并且将 Go 服务部署到了生产环境。本指南面向那些希望客观对比从 Go 迁移到 Rust 会带来哪些变化的 Go 开发者。

初步了解最重要的命令

Go 开发者拥有业内最简洁的工具链之一，Rust 也采用了这种模式。`cargo` 内置的功能更多，与 Go 工具的对应关系如下：

`go.mod` / `go.sum` 对应 `Cargo.toml` / `Cargo.lock`，用于项目配置和依赖清单。
`go get` / `go mod tidy` 对应 `cargo add` / `cargo update`，用于添加和解析依赖。
`go build` 对应 `cargo build`，用于编译项目。
`go run .` 对应 `cargo run`，用于构建并运行。
`go test ./...` 对应 `cargo test`，工具链内置测试功能。
`go vet ./...` 对应 `cargo clippy`，代码检查器，Clippy 比 `vet` 更严格。
`gofmt` / `goimports` 对应 `cargo fmt`，自动格式化工具，零配置。
`golangci-lint run` 对应 `cargo clippy -- -D warnings`，严格的代码检查模式。
`go install ./cmd/foo` 对应 `cargo install --path .`，用于安装二进制文件。
`go doc` 对应 `cargo doc --open`，用于生成并查看 API 文档。
`pprof` 对应 `cargo flamegraph` / `samply`，用于 CPU 性能分析。
`govulncheck` 对应 `cargo audit`，用于根据咨询数据库进行漏洞扫描。

最大的区别在于，在 Go 中，通常需要借助第三方工具来填补功能空白，而在 Rust 中，官方生态系统提供了更多的内置功能。两个社区在代码格式化工具上达成了共识：一种统一的规范风格，即使不完美，也比无休止的风格争论更有价值。

Go 和 Rust 的关键区别

Go 和 Rust 的关键区别如下：

稳定版本发布时间：Go 是 2012 年，Rust 是 2015 年。
类型系统：Go 是静态、结构化，自 1.18 版本起支持泛型；Rust 是静态、命名式，支持泛型、特征（traits）和生命周期（lifetimes）。
内存管理：Go 是垃圾回收（并发、低暂停）；Rust 是所有权和借用机制，无垃圾回收。
空值安全：Go 到处都是 `nil`；Rust 没有空值，`Option ` 是类型层面的替代方案。
错误处理：Go 是 `error` 接口，使用 `if err != nil { ... }`；Rust 是 `Result `，`?` 操作符，详尽匹配。
并发：Go 是协程（Goroutines） + 通道（channels，CSP 模型）；Rust 是 `tokio` 上的 `async`/`await` + 通道 + 线程。
取消机制：Go 是 `context.Context`（约定俗成，非强制）；Rust 是 `CancellationToken` / 显式、类型检查的传递。
数据竞争：Go 通过 `-race` 在运行时检测（概率性，运行时）；Rust 由 `Send`/`Sync` 在编译时检测。
编译时间：Go 非常快；Rust 较慢，尤其是全新构建时。
运行时：Go 有约 2 MB 的 Go 运行时 + 垃圾回收器；Rust 除 `libc` 外无其他运行时（或使用 MUSL 实现完全静态链接）。
二进制文件大小：Go 是小到中等（几 MB）；Rust 相当，使用 `panic = "abort"` + LTO 时非常小。
学习曲线：Go 平缓；Rust 陡峭。
生态系统规模：Go 约 750k + 模块；Rust 250,000 + 个 crate。

总体而言，Go 和 Rust 都是编译型、静态类型、单二进制文件部署的语言，并且在并发处理方面表现出色。它们的区别在于“编译器提供的保证”以及“对运行时行为的控制程度”。从 Go 迁移到 Rust 时，大部分变化在于将检查机制集成到了类型系统中。

Go 开发者考虑迁移到 Rust 的原因

Go 开发者通常不是因为 Go “太慢” 才转向 Rust。人们普遍对 Go 冗长的错误处理、`nil` 指针导致段错误的风险，以及长期缺乏泛型或复杂的类型系统特性感到沮丧。

生产环境中的 `nil` 恐慌

在 Go 服务中，可能会因为有人忘记检查指针是否为 `nil`，导致协程恐慌。代码检查器和 IDE 检查能捕捉到部分此类问题，但它们是可选的、概率性的，并且不能可靠地跨包检测。而 Rust 的 `Option ` 可以避免此类问题，不处理 `None` 情况就无法解引用 `Option`。

`-race` 未检测到的数据竞争

`go test -race` 是运行时检测器，只能发现测试期间实际执行时出现的竞争。在 Go 中，在没有加锁的情况下从两个协程修改同一个 map 可以正常编译，只有在生产环境的高负载下才会出错。而在 Rust 中，跨线程共享可变状态需要实现 `Send` 和 `Sync` 的类型，否则程序将无法编译。