Cargo

Rust是由Mozilla主导开发的通用、编译型编程语言。设计准则为“安全、并发、实用”，支持函数式、并行式、过程式以及面向对象的程式设计风格。
Rust语言原本是Mozilla员工Graydon Hoare的个人专案，而Mozilla于2009年开始赞助这个专案 ，并且在2010年首次公开。也在同一年，其编译器原始码开始由原本的OCaml语言转移到用Rust语言，进行自我编译工作，称做「rustc」，并于2011年实际完成。这个可自我编译的编译器在架构上采用了LLVM作为它的后端。
第一个有版本号的Rust编译器于2012年1月释出。Rust 1.0是第一个稳定版本，于2015年5月15日释出。
Rust在完全公开的情况下开发，并且相当欢迎社区的回馈。在1.0稳定版之前，语言设计也因为透过撰写Servo网页浏览器排版引擎和rustc编译器本身，而有进一步的改善。它虽然由Mozilla资助，但其实是一个共有专案，有很大部分的程式码是来自于社区的贡献者。

== 设计 ==
Rust的设计目标之一，是要使设计大型的网际网路客户端和伺服器的任务变得更容易。因此更加强调安全性、记忆体配置、以及并行处理等方面的特性。

=== 性能 ===
在效能上，具有额外安全保证的代码会比C++慢一些，例如Rust对数组进行操作时会进行边界检查（尽管可以通过一些方式绕过），而C++则不会，但是如果等价的C++代码作手工检查，则两者效能上是相似的。

=== 编译报错 ===
比起C/C++，Rust编译器对于代码中错误的提示更清晰明瞭，开发者可根据提示轻松地修复代码中的错误。

=== 编译速度 ===
由于其编译器会做出额外的安全检查，Rust的编译速度有时低于C/C++。

=== 语法 ===
Rust的语法设计，与C语言和C++相当相似，区块（block）使用大括号隔开，控制流程的关键字如if、else、while等等。在保持相似性的同时，Rust也加进了新的关键字，如用于模式匹配的match（与switch相似）则是使用C/C++系统程式语言的人会相对陌生的概念。尽管在语法上相似，Rust的语义（semantic）和C/C++非常不同。

=== 内存安全 ===
为了提供内存安全，它的设计不允许空指标和悬空指标。指标只能透过固定的初始化形态来建构，而所有这些形态都要求它们的输入已经分析过了。Rust有一个检查指标生命期间和指标冻结的系统，可以用来预防在C++中许多的型别错误，甚至是用了智能指针功能之后会发生的型别错误。

=== 所有权 ===
Rust设计了一个所有权系统，其中所有值都有一个唯一的所有者，并且值的作用域与所有者的作用域相同。值可以通过不可变引用（&T）、可变引用（&mut T）或者通过值本身（T）传递。任何时候，一个变量都可以有多个不可变引用或一个可变引用，这实际上是一个显式的读写锁。Rust编译器在编译时强制执行这些规则…