可信而可靠，关于Rust 的学习
共 2709字，需浏览 6分钟
·
2023-09-18 15:54
最早接触到Rust是在几年前的一次技术大会上， 黄东旭说TiKV 是用Rust 语言编写的， 引起了我的一些兴趣，但只是保持关注而已。我一直认为每一种编程语言都有着各自的典型应用领域， 也有着各自的编程范式，没有最好的编程语言（参见《PHP是最好的编程语言吗？》）， 但存在最适合当前的问题领域的编程语言。
个人认为，所谓全栈工程师，至少要掌握4种编程语言——C/C++，Java， JavaScript 和Python。作为一个半吊子全栈工匠，我还涉足过Go，Scala，Erlang，PHP和Perl，Shell 编程是必备技能，不放在编程语言的行列。
直到去年，自己进入操作系统的研发领域，尤其是与操作系统内核相关的那些工作，才着手系统地学习Rust编程语言。C/C++ 一直是系统编程的首选，但由于内存安全、数据竞争等引起的问题一直存在，每一次对内核的修改尝试都有些畏首畏尾，而Rust 就是为了从语言层面解决这些问题而诞生的。Rust 的设计哲学是内存安全、零成本抽象和实用性。
尤其是，2022 年 12 月 11 日发布的 Linux Kernel 6.1，最重要的变化是引入了初始的 Rust 框架代码。但高达 12k 行的代码仅带来了 Rust 基本的基础设施。有了这个基础，新的驱动程序、子系统和内核模块有望通过 Rust 编程语言登陆内核。Rust 进入 Linux 内核，对于 推动 Rust 进化具有很重要的战略意义。另外，今年5月的这条消息也证明了自己的选择存在一定的正确性。
Rust 宣称可以“赋予每个人构建可靠高效的软件的能力” ， 而我更关注在实现对系统安全编程的同时对底层有控制权 。Rust 没有运行时和垃圾回收器，可以提供对性能要求很高的服务，可在嵌入式设备上运行，也可以很方便地和其他语言集成。对比 C、C++ 和 Go， Rust 的性能和 C++ 接近，快于 Go。
安全编程是最吸引我的地方。在2020 年 8 月， Rarf Jung 在他的博士论文中提供了第一个正式证据（RustBelt），证明了 Rust 的安全承诺成立 ，即使开发者有可能编写“不安全”代码，Rust 的安全声明仍然有效 。具体而言，Rust采用了所有权类型系统，每个被分配的内存都有指针，且给每个变量都设定了生命周期，一旦超出生命周期，变量就会被自动释放。另外， Rust划分了安全边界，如果要做内存不安全的事情，必须在代码中明确声明。就线程而言，由于采用 1:1 线程模型，不需要运行时，在一定程度上消除了数据竞争的现象。
客观而言，Rust 的学习曲线还是相对陡峭的。基于所有权系统来管理内存，移动（move）、借用（borrow）、生命周期（lifetime）等概念提供了很多抽象表达能力，这需要较强的理解能力，对初学者确实存在挑战。内存模型严格区分可变状态和不可变状态，颇有一些Erlang的味道，这需要新的编程范式。Rust 拥有非常严格的静态类型系统，这就要求写程序时需要细致地设计数据类型。另外，相对于C/C++，Java，Python等成熟语言而言，Rust 的生态系统还在成长中，存在较多不完整的地方。
当自己开始体会到“Rust”的一些味道的时候，有幸参与了《Rust 程序设计（第二版）》审读。因为自己也翻译过几本书，一看到书籍的页数就知道这本书的翻译是一件艰难的工作。进而，我从稿件的内容中看到了译者满满的诚意。译者雪狼那25年码农的经历和我有着太多的相似，他前前后后对稿子修订了 7 遍，虽然每一遍的重心有所不同，但每一遍都耗费了巨大的心血。很长一段时间内，独立进行翻译的雪狼每一天都会是挑灯夜战，向译者雪狼致敬！
审读群里高手很多，我不过是一个Rust的初学者，谈不上审读，更多是学习和疑问，尤其是向雪狼和群里的各位老师学习。对于《Rust 程序设计（第二版）》书中的内容，颇有相见很晚的感觉，这本书的思维导图如下：
跟着书中讲解的思路走，一步步来，就一定能掌握 Rust 的核心特性和在工作场景中的用法。书中的代码是开源的，而且基于 Rust 2021。如果我能够早学习这本书，可以避免自己走很多的弯路。
鉴于自己的认知局限，如果你是操作系统的相关开发工程师， 或者是嵌入式系统的工程师，亦或是后端服务的工程师，Rust 都会带来安全而可靠的开发效果， 《Rust 程序设计（第二版）》将会成为你的案头手册！
【参考资料与关联阅读】
学 Rust 最好的图书之一，原版豆瓣 9.7分“封神之作”，https://mp.weixin.qq.com/s/oTgyQ1d7hSTlVDEVrAahKQ
Rust 生态发展之路， https://mp.weixin.qq.com/s/0wfKzkT6PhdxIRDMmwYezw
Rust 官方网站 https://www.rust-lang.org/
Rust (programming language) - wikipedia https://en.wikipedia.org/wiki/Rust(programminglanguage)
Computer Scientist proves safety claims of the programming language Rust - Eurekalert https://www.eurekalert.org/news-releases/610682
R. Jung, Understanding and Evolving the Rust Programming Language https://people.mpi-sws.org/~jung/phd/thesis-screen.pdf