Rust編程語(yǔ)言是一種系統(tǒng)化的編程語(yǔ)言，支持函數(shù)式和命令式編程范式泛型等多范式語(yǔ)言。Rust在語(yǔ)法上類(lèi)似于C，但是設(shè)計(jì)者希望在保證性能的同時(shí)提供更好的內(nèi)存安全性。 Rust最初是由Mozilla研究院的Graydon Hoare設(shè)計(jì)和創(chuàng)建的，后來(lái)在Dave   HermanBrendan   Eich等人的貢獻(xiàn)下逐漸完善。Rust的設(shè)計(jì)師們通過(guò)他們?cè)陂_(kāi)發(fā)伺服網(wǎng)站瀏覽器的布局引擎中積累的經(jīng)驗(yàn)，對(duì)Rust語(yǔ)言和Rust編譯器進(jìn)行了優(yōu)化。

Rust compiler is in MIT   license   and  Apache License 2 license  2.0雙重協(xié)議聲明下的自由開(kāi)源軟件。 Rust已經(jīng)連續(xù)七年了（2016，2017，2018，2019，2020, 2021, 2022）在stack  溢出開(kāi)發(fā)者調(diào)查中“最喜歡的編程語(yǔ)言”在評(píng)選項(xiàng)目中贏得桂冠。??

Rust language在2006年作為Mozilla員工Graydon Hoare的私人項(xiàng)目出現(xiàn)，Mozilla在2009年開(kāi)始贊助這個(gè)項(xiàng)目。第一個(gè)版本號(hào)為的Rust編譯器發(fā)布于2012年1月。Rust 1.0是第一個(gè)穩(wěn)定版本，2015年5月15日發(fā)布。

Mozilla在2014年10月宣布發(fā)布Rust編譯器和工具的0.12版。

版本12有超過(guò)1900個(gè)更改和錯(cuò)誤修復(fù)，包括：重寫(xiě)了入門(mén)文檔(Now its called Rust Guide guide)繼續(xù)改進(jìn)包管理器貨物等。

2015年1月，Rust發(fā)布-1.alpha版本。

2015年5月15日，Rust編程語(yǔ)言核心團(tuán)隊(duì)正式宣布發(fā)布Rust 1.0版本。

2015年6月25日，Rust發(fā)布了1.1版本。同時(shí)發(fā)布1.2測(cè)試版本

2016年11月14日，Rust發(fā)布了1.版本13，同時(shí)發(fā)布1.14測(cè)試版本。

2018年1月4日，Rust發(fā)布1.23版本

2018年9月25日，Rust發(fā)布了1.29.1版本

2020年6月18日，Rust發(fā)布了1.44.1版本

Rust 1.1 穩(wěn)定版

編譯速度相對(duì)于1.版本0已升級(jí)了32%

編譯器提示信息更加完善，參數(shù)-Explain可以對(duì)編譯錯(cuò)誤的類(lèi)型提供更詳細(xì)的解釋

Rust編程語(yǔ)言

std::fs模塊中添加了許多穩(wěn)定的API

初步支持靜態(tài)link C運(yùn)行時(shí)MUSL，在Linux環(huán)境下編譯的程序可以實(shí)現(xiàn)零依賴(lài)（你不能再依賴(lài)glibc了）

Cargo增加了一個(gè)新命令cargo rustc，支持向rustc傳遞任意參數(shù)

Rust 1.2 測(cè)試版

編譯速度在1.1版本，然后升級(jí)30%

可以再次使用并行編譯，默認(rèn)不開(kāi)啟如果開(kāi)啟，可以提升33%的編譯速度（數(shù)據(jù)來(lái)自4核編譯器rustc C）

貨物性能改進(jìn)（編譯伺服時(shí)啟動(dòng)速度提高10倍），它可以在多個(gè)包之間共享依賴(lài)包緩存

對(duì)MSVC的初步支持(Microsoft Visual C)未來(lái)的Windows環(huán)境不需要MinGW/MySYS/GCC了

Rust 1.2 穩(wěn)定版 將在六周后發(fā)布，屆時(shí)將發(fā)布 1.3 測(cè)試版

Rust 1.13

一個(gè)新的操作符，Rust獲得了一個(gè)新的操作符，它可以通過(guò)減少所涉及的視覺(jué)污染來(lái)更好地處理錯(cuò)誤。

穩(wěn)定語(yǔ)句的性質(zhì)、修復(fù)空元組 結(jié)構(gòu)/Variable  #derive]、Fix 'if' 條件生存期規(guī)則、避免加載和解析未配置的非內(nèi)聯(lián)模塊

Rust致力于成為一種優(yōu)雅的編程語(yǔ)言，解決高并發(fā)和高安全性系統(tǒng)的問(wèn)題，適用于大規(guī)模場(chǎng)景，即創(chuàng)建和維護(hù)能夠保持大規(guī)模系統(tǒng)完好無(wú)損的邊界。這導(dǎo)致它強(qiáng)調(diào)安全性內(nèi)存布局控制和并發(fā)性。

標(biāo)準(zhǔn)防銹性能與標(biāo)準(zhǔn)c性能相當(dāng)。

Rust的具體語(yǔ)法和CC類(lèi)似，大括號(hào)定義代碼塊，同樣的控制流關(guān)鍵字，比如ifelsewhilefor。但是，并不是所有的C或C關(guān)鍵字都實(shí)現(xiàn)了。一些Rust函數(shù)（例如，關(guān)鍵字match用于模式匹配）對(duì)于精通這些語(yǔ)言的人來(lái)說(shuō)，就沒(méi)那么熟悉了。盡管與C/c很像，Rust在深層語(yǔ)法上更接近Haskell等元語(yǔ)言家族語(yǔ)言。基本上，函數(shù)體的每一部分都是一個(gè)表達(dá)式，甚至是一個(gè)控制流操作符。比如普通的if表達(dá)式也代替了c的三進(jìn)制表達(dá)式。函數(shù)不需要以返回表達(dá)式結(jié)束，在這種情況下，函數(shù)的最后一個(gè)表達(dá)式就是返回值。

Rust語(yǔ)言系統(tǒng)是為了保證內(nèi)存安全而設(shè)計(jì)的，在安全代碼中不允許空指針懸空指針和數(shù)據(jù)競(jìng)爭(zhēng)。值只能以一系列固定的形式初始化，要求所有輸入都已初始化。在其他語(yǔ)言中，復(fù)制函數(shù)指針要么有效，要么為空比如在鏈表二叉樹(shù)等數(shù)據(jù)結(jié)構(gòu)中，Rust core庫(kù)提供了選項(xiàng)類(lèi)型來(lái)測(cè)試指針是否有值。Rust還引入了加法語(yǔ)法來(lái)管理生命周期，編譯器通過(guò)租用檢查器來(lái)解釋原因。

Rust不像Go，Java和.net  框架，使用自動(dòng)垃圾收集系統(tǒng)。不同的是Rust通過(guò)RAII管理內(nèi)存和資源，還可以選擇引用計(jì)數(shù)。Rust以較低的開(kāi)銷(xiāo)提供了資源的確定性管理。Rust還支持值的堆棧分配，不代表黑盒。

Rust里還有指稱(chēng)的概念（用＆符號(hào)）不包含運(yùn)行時(shí)引用計(jì)數(shù)的。因此，租約檢查器在編譯時(shí)已經(jīng)驗(yàn)證了這種指針的安全性，防止了懸空指針和其他形式的未定義行為。

Rust有一個(gè)所有權(quán)體系，所有的值都有一個(gè)唯一的所有者，值的有效范圍和所有者是一樣的。值可以通過(guò)不可變引用t可變引用mut T和t傳遞。在任何時(shí)候，要么有多個(gè)不可變的引用，要么只有一個(gè)可變的引用。Rust編譯器在編譯時(shí)執(zhí)行這些規(guī)則，并檢查所有引用的有效性。

生銹與腐蝕的類(lèi)型系統(tǒng)支持一種類(lèi)似于類(lèi)型類(lèi)的機(jī)制，稱(chēng)為“traits”受到了哈斯克爾的啟發(fā)。這是一個(gè)針對(duì)特定同質(zhì)方法的工具，通過(guò)向類(lèi)型變量聲明添加約束來(lái)實(shí)現(xiàn)。Haskell的其他特性，比如更高類(lèi)型的多態(tài)性，還不被支持。

Rust為用let關(guān)鍵字聲明的變量生成類(lèi)型導(dǎo)數(shù)。這樣的變量不需要初始值來(lái)判斷類(lèi)型。如果一個(gè)分支代碼沒(méi)有給一個(gè)變量賦值，就會(huì)產(chǎn)生一個(gè)編譯時(shí)錯(cuò)誤。當(dāng)變量被多次賦值時(shí)，使用mut關(guān)鍵字來(lái)標(biāo)記變量。

函數(shù)可以接收泛型參數(shù)，但泛型通常需要實(shí)現(xiàn)某些特征或幾個(gè)特征。在該函數(shù)中，該通用值只能通過(guò)這些功能使用。這意味著泛型函數(shù)在定義時(shí)可以完成類(lèi)型檢查。這是基準(zhǔn)C模板，本質(zhì)上像鴨子，只能在特定類(lèi)型中實(shí)例化后檢查。概念C解決了同樣的問(wèn)題，并有希望成為C 20標(biāo)準(zhǔn)的一部分。

然而，Rust泛型的實(shí)現(xiàn)類(lèi)似于C模板的典型實(shí)現(xiàn)：每個(gè)實(shí)例化都會(huì)生成一個(gè)單獨(dú)的代碼，稱(chēng)為singleton，類(lèi)似于Java和Haskell中常用的類(lèi)型擦除方案。singleton的優(yōu)點(diǎn)是為每個(gè)具體用例提供優(yōu)化代碼，缺點(diǎn)是增加了運(yùn)行時(shí)間和很多結(jié)果文件。

Rust中的對(duì)象系統(tǒng)基于實(shí)現(xiàn)特征和結(jié)構(gòu)化類(lèi)型。實(shí)現(xiàn)扮演的角色類(lèi)似于其他語(yǔ)言中的類(lèi)，由關(guān)鍵字impl定義。特性提供了繼承和多態(tài)；它們?cè)试S在實(shí)現(xiàn)中定義或混合方法。結(jié)構(gòu)類(lèi)型用于定義字段。實(shí)現(xiàn)和屬性本身不能定義字段，只有屬性才能提供繼承。至于其他好處，這防止了多重繼承中的鉆石繼承問(wèn)題，像c。換句話說(shuō)，Rust支持接口繼承，但是通過(guò)復(fù)合替換實(shí)現(xiàn)繼承；參見(jiàn)繼承復(fù)合。