Rust也出2077？ 最受歡迎的編程語言再度更新！
來源：新智元
Rust語言是一種高效、可靠的通用高級語言，同時兼顧了開發(fā)效率和執(zhí)行效率。Rust除了能夠勝任性能敏感的任務(wù)以外，也在內(nèi)存和線程安全方面有著極高的可靠性。
在更新了1.52.1后，Rust又宣布了2021版本新的計(jì)劃：在10月份發(fā)布1.56。
目前的1.52.1版本主要是針對增量編譯產(chǎn)生的錯誤提供了臨時的解決方案：
禁用 Rust 編譯器中的增量編譯（如需開啟，則設(shè)置環(huán)境變量RUSTC_FORCE_INCREMENTAL = 1）。
對于啟用了增量編譯的場景，改進(jìn)了用于新驗(yàn)證的診斷輸出，指示了如何通過清除增量狀態(tài)或禁用增量來解決錯誤。
用過的都說：真香！
你或許不知道，Rust在stackoverflow的調(diào)查中連續(xù)五年被選為最受開發(fā)者喜愛的編程語言。更是有不少知名巨頭將Rust語言加入到他們的項(xiàng)目中。
在用戶喜愛榜中Rust一騎絕塵，根本看不到第二名在哪兒
Microsoft正在將Rust集成到大型的項(xiàng)目中。有大約70%漏洞都與內(nèi)存安全有關(guān)，于是便尋求更具安全性的Rust幫助其解決這一困擾許久的問題。
Facebook則把Rust用在了源碼控制后端的代碼重寫上。由于Rust可以在編譯時檢查出代碼的錯誤，從而有效地減少了bug所帶來的經(jīng)濟(jì)損失。
Dropbox使用Rust對文件同步引擎的代碼進(jìn)行了重寫。高并發(fā)的文件同步引擎，在編寫、測試和調(diào)試方面都十分困難，而Rust在靜態(tài)類型和編譯檢查方面要比正在使用的Python性能更強(qiáng)。
甚至Linux內(nèi)核也即將在5.14中加入對Rust的支持，畢竟C++太爛了（不是我說的，是Linus說的）。
「C++ solves _none_ of the C issues, and only makes things worse.」
網(wǎng)友對即將來臨的更新很興奮！
?「我已經(jīng)等不及了。作為使用Python的人，我真的很想念對混合了變量的字符串的簡單直觀的處理。」
「所有edition都會被永久支持。這讓Rust 2015的代碼和Rust 2077的代碼的融合變?yōu)榭赡堋！?/font>
「感謝所有Rust志愿者，你們是最棒的！」
2021更新計(jì)劃中都有什么？
1. Edition 是什么？
Rust提出了一種Edition更新形式，這種方式不會割裂生態(tài)系統(tǒng)。
一個向后不兼容的功能將會被作為新的Rust Edition的一部分。Edition是選擇性加入的，因此，除非現(xiàn)有的crate明確遷移到新版本中，否則就不會看到這些變化。
一個Edition中的crate可以與其他Edition中編譯的crate無縫地互操作。不管Edition如何，所有 Rust代碼最終都會在編譯器中編譯為相同的內(nèi)部 IR。
Edition的遷移也幾乎是全自動的。在發(fā)布新Edition的同時，會附帶一個自動遷移工具。除此以外，還有一本《版本遷移指南》，該指南既是版本的概述，也是在遇到問題的故障排除參考。
在對舊的版本進(jìn)行遷移時，需要對代碼進(jìn)行一些小的更改。例如，當(dāng)遷移到Rust 2018時，所有的「async」都會變?yōu)椋骸竢＃async」。
2.?prelude中新的內(nèi)容
Rust編譯器會優(yōu)先處理手動導(dǎo)入的項(xiàng)，使得在prelude添加的內(nèi)容不會破壞任何現(xiàn)有代碼。
例如，一個名為「example」的crate或module，其中包含「pub struct Option ;」，那么可以通過使用「example::*;」，使得「Option」明確引用「example;」而不是標(biāo)準(zhǔn)庫中的。
但是，在prelude中添加特征便可能會破壞現(xiàn)有代碼。例如，在使用「MyTryInto」特征調(diào)用「x.try_into()」時，如果還導(dǎo)入了「std」的「TryInto」，則會出現(xiàn)無法編譯的情況，因?yàn)樗峁┝司哂邢嗤Q的方法。
作為解決方案，Rust 2021將使用新的prelude，其中增加了三個新的功能：
std::convert::TryInto
std::convert::TryFrom
std::iter::FromIterator
3.?默認(rèn)使用Cargo功能解析器
自1.51.0起，Cargo在選擇加入中有了對新的功能解析器的支持，該功能可以在「Cargo.toml」中使用「resolver = "2"」激活。
從Rust 2021開始，這將是默認(rèn)設(shè)置。也就是說，在「Cargo.toml」中寫入「edition = "2021"」就意味著「resolver = "2"」。
4.?數(shù)組迭代器IntoIterator
在Rust 1.53.0之前，「IntoIterator」只能用于數(shù)組的引用。也就是說可以遍歷「＆[1, 2, 3]」和「＆mut [1, 2, 3]」，但不能直接遍歷「[1, 2, 3]」。
for?&e?in?&[1,?2,?3]?{}?//?Ok :)
for?e?in?[1,?2, 3] {} // Error :(
團(tuán)隊(duì)在1.53.0之后所有版本中添加特征實(shí)現(xiàn)。在Rust 2015和2018代碼中，編譯器仍會將「 array.into_iter()」解析為「(＆array).into_iter()」。
這僅適用于「.into_iter()」調(diào)用語法， 而不會影響任何其他語法，例如「for e in [1, 2, 3]」，「iter.zip([1, 2, 3])」或「IntoIterator::into_iter([1, 2, 3])」。
5.?閉包（closures）的捕獲
閉包會自動從代碼塊中捕獲所有的引用。例如，「|| a. + 1」會自動從周圍的上下文中捕獲對「a」的引用，不僅僅是「a.x」。這會在某些情形下造成問題。
let?a?=?SomeStruct::new();
drop(a.x); //Move out of one field of the struct
println!("{}"m?a.y);?//?OK:?Still?use?another?field?of?the?struct
let?c?=?||?println!("{}", a.y); // Error: Tries to capture all of 'a'
c();
當(dāng)結(jié)構(gòu)的某個字段被借用或移出時，其他字段將無法再用于閉包中，因?yàn)檎麄€結(jié)構(gòu)都會因?yàn)楸徊东@而變得不再可用。
從Rust 2021開始，閉包將僅捕獲其使用的字段。
由于這個變化會對字段的刪除順序造成影響，目前僅在新版本中被激活。如果像以前一樣捕獲整個結(jié)構(gòu)，則可通過在閉包中插入「let _ = ＆a; 」得到。對于其他版本，可以使用自動遷移，從而更新相關(guān)的閉包。?
6.?Panic宏的一致性
「panic!()」宏僅在使用多個參數(shù)調(diào)用時才使用字符串格式。當(dāng)使用單個參數(shù)調(diào)用時，它甚至不會查看該參數(shù)。
let a = "{";
println!(a); // Error: First argument must be a format string literal
panic!(a);?//?Ok: The panic macro doesn't care
一旦隱式格式參數(shù)被確定，就會出現(xiàn)問題了。此時「println!("hello {name}")」會變成「println!("hello {}", name)」的簡寫形式。但是「panic!("hello {name}")」無法執(zhí)行，因?yàn)椤竝anic!()」不會將單個參數(shù)作為格式化字符串處理。
為了避免這種情況，Rust 2021提供了更具一致性的「panic!()」宏。新的「panic!()」宏將不再接受任意表達(dá)式作為唯一參數(shù)。而是像「println!()」一樣，始終將第一個參數(shù)作為格式化字符串處理。
由此「panic_any()」便成為了對格式化字符串以外的其他內(nèi)容進(jìn)行「panic」的唯一方法。
另外，Rust 2021中的「core::panic!()」和「std::panic!()」將會是等效的。目前，這兩者之間存在一些差異，尤其是在開啟或關(guān)閉「#![no_std]」時 。
7.保留的語法
為了將來為某些新語法騰出空間，我們決定為前綴的標(biāo)識符和文字保留語法：「prefix＃identifier」，「prefix"string"」，「prefix'c'」和「prefix＃123」，其中「prefix」可以是任何標(biāo)識符（除了那些已經(jīng)具有含義的，例如「b'…'」和「r"…"」）。
這是一個重大變化，因?yàn)楹陼邮堋竓ello"world"」，并視其為兩個單獨(dú)的標(biāo)記：「hello」和「"world"」。解決方法很簡單，只需插入一個空格：「hello "world"」
這些是可能會看到的一些新前綴：
「f""」是格式字符串的簡寫形式。例如，「f"hello {name}"」是等效的「format_args!()」調(diào)用的簡寫形式。
「c""」或「z""」用于空終止的C字符串。
「k＃keyword」允許編寫當(dāng)前版本中尚不存在的關(guān)鍵字。例如，雖然「async」在2015版中不是關(guān)鍵字，但是該前綴將允許在2015版中以「k＃async」作為替代。
8. 新的硬錯誤
在Rust 2021中，現(xiàn)有的兩個lint會被視為硬錯誤，在舊版本中，這些lint將仍然是警告。
「bare-trait-objects」：在Rust 2021中，必須使用「dyn」關(guān)鍵字標(biāo)識特征對象。
「ellipsis-inclusive-range-patterns」：Rust 2021不再接受過時的「...」語法，取而代之的是「.. =」，不過表達(dá)式的使用是一樣的。
9.?「micro_rules」中的or
從1.53.0開始，便加入了對「|」的支持，使其可以嵌套在任何地方。例如，現(xiàn)在可以寫「Some(1 | 2)」，而不需要使用「Some(1) | Some(2)」這種方式。
這個改動會對「macro_rules」宏產(chǎn)生影響，于是在1.53.0中「:pat」并不與「|」相匹配。因?yàn)橹埃⒎窃谒星短准墑e都可以包含「|」。
不過，在Rust 2021中，「:pat」片段說明符將匹配「A | B」。
由于有時仍然希望匹配不帶「|」的單個模式變量，因此添加了指定的片段「:pat_param」以保留舊的行為。?
參考資料：
https://blog.rust-lang.org/2021/05/11/edition-2021.html
https://kaisery.github.io/trpl-zh-cn/ch00-00-introduction.html
https://www.oschina.net/news/141129/rust-1-52-1-released
https://www.oschina.net/news/141124/rust-2021-edition-plan
https://www.infoq.cn/article/19saqvrct5ym3jjbbsc8
https://www.reddit.com/r/rust/comments/n9z7lm/the_plan_for_the_rust_2021_edition/
（聲明：本文僅代表作者觀點(diǎn)，不代表新浪網(wǎng)立場。）
作者簡介
作者文章
推薦閱讀
- 互聯(lián)網(wǎng)人生娃，就是職場大冒險(xiǎn)
-
- 對于普通人來說，壓力已經(jīng)如此。而高速、高壓的互聯(lián)網(wǎng)人壓力更甚。詳細(xì)>>
- 這屆年輕人的“Fire生活”：沒有財(cái)務(wù)自由也提前退休
-
- 卷的另一面，是躺平。詳細(xì)>>
- 下沉市場、公益、科技、保險(xiǎn)，哪一面才是真的水滴？
-
- 一個連年虧損、又燒錢的保險(xiǎn)中介機(jī)構(gòu)，為什么能做到47億美元的估值？水滴給資本市場說了一個什么樣的故事？詳細(xì)>>
- 社區(qū)小店盯著平臺的利息，平臺瞅著團(tuán)購站點(diǎn)的本金
-
- 隨著互聯(lián)網(wǎng)巨頭、零售商超的入局，各大社區(qū)團(tuán)購品牌紛紛利用社區(qū)里的便利店、洗衣店、快遞站甚至美容店、煙酒攤?cè)屨际袌龇蓊~。詳細(xì)>>