Rust大风肆虐，年仅6岁凭什么吸引谷歌、华为、Facebook为他下海

近日，Facebook宣布以最高级别 (Platinum Member) 的会员身份加入Rust基金会，成为继 AWS、谷歌、华为、微软和Mozilla后又一家宣布加大使用Rust语言的大型互联网企业，Facebook将与其他基金会成员一起负责Rust开源生态以及社区的运作和发展。

许多常年奋斗在编程一线的同学可能对Rust不陌生，Rust已经连续五年(2016-2020)在Stack Overflow开发者调查的"最受喜爱编程语言"评选项目中折取桂冠。许多开发者甚至并不熟悉该语言，但是却坚定地把票投给了它！这个Rust语言到底是何方神圣？能让广大程序员即使只是道听途说就把票投给了它？

Rust的正式版本在2015年5月才发布，为何在短短一年半的时间里就斩获年度“最受喜爱编程语言”？一句话总结就是：Rust解决了许多其他编程语言中存在的痛点！

作为一种系统级编程语言，Rust注重高性能、安全性和生产力，支持结构化编程、函数式编程、面向对象编程等多种编程范式。

相比C++，它将性能的低级（low-level）控制与现代语言功能结合在一起，语法上类似于C++，但是可以保证内存安全，并支持函数式和命令式以及泛型等编程范式的多范式语言。

Rust遵循了三条设计哲学：内存安全、零成本抽象、实用性。

内存安全：

Rust借鉴了OCaml和Haskell的类型系统来保证类型安全，尤其是Haskell，在Rust语言中能看到很多Haskell类型系统的影子，如：

• 没有空指针
• 默认不可变
• 表达式
• 高阶函数
• 代数数据类型
• 模式匹配
• 泛型
• trait 和关联类型
• 本地类型推导

为了实现内存安全，Rust 还具备以下独有的特性：

• 仿射类型（Affine Type），该类型用来表达Rust所有权中的Move语义；
• 借用、生命周期。

借助类型系统的强大，Rust 编译器可以在编译期对类型进行检查，看其是否满足安全内存模型，在编译期就能发现内存不安全问题，有效地阻止未定义行为的发生。

内存安全的Bug和并发安全的Bug产生的内在原因是相同的，都是因为内存的不正当访问而造成的。同样，利用装载了所有权的强大类型系统，Rust还解决了并发安全的问题。Rust编译器会通过静态检查分析，在编译期就检查出多线程并发代码中所有的数据竞争问题。

零成本抽象：

编程语言如果想做到高效开发，就必须拥有一定的抽象表达能力。

Rust的抽象是零成本的，它并不会存在运行时性能开销，这一切都是在编译期完成。Rust的抽象代码在编译期会被展开成和手写汇编代码相近的底层代码，所以不存在运行时因为解释这一层抽象而产生的性能开销。对于一门系统级编程语言而言，运行时零成本是非常重要的。这一点，Rust做到了，Rust中零成本抽象的基石就是泛型和trait。

实用性：

看这两年大厂纷纷选择Rust做底层开发或者项目重构就知道Rust的实用性非常可靠。

• Facebook从2016年开始在项目中使用Rust，一开始仅在源代码管理工具上使用，后来其他项目也逐渐采用，到2019年，Facebook的Rust开发人员数量呈指数增长，超过了100个；
• AWS在众多产品中应用Rust的同时，不惜花重金聘用Rust编译器联合创始人 Felix Klock来加码Rust的应用；
• Google将其应用到了Android系统中以及基于此重新实现一些重要的安全组件；
• 微软在寻求替代C、C++语言之际，不仅Rust整合到了Azure服务中，也正在用Rust来实现一种新的编程语言；
• 就连Linux内核开发者也开始在Linux内核中添加Rust支持的RFC.

凭借安全、高性能、可靠性和高生产率等特性，年仅6岁的Rust收获了各大互联网公司的扶持投资，2021年2月8日，AWS、华为、Google、微软以及Mozilla宣布成立Rust基金会，并承诺在两年的时间里，投入100万美元的预算，用于Rust项目的开发、维护和推广。

编程语言没有最强，但总有最流行的。目前国内还是C、Java两大巨头统治，但Rust也有着极大的潜能，对于这个后起之秀同学们怎么看呢？欢迎在评论区和大家讨论哦~