Rust语言是一种高效、可靠的通用高级语言，同时兼顾了开发效率和执行效率。Rust除了能够胜任性能敏感的任务以外，也在内存和线程安全方面有着极高的可靠性。
在更新了1.52.1后，Rust又宣布了2021版本新的计划：在10月份发布1.56。
目前的1.52.1版本主要是针对增量编译产生的错误提供了临时的解决方案：
禁用 Rust 编译器中的增量编译（如需开启，则设置环境变量RUSTC_FORCE_INCREMENTAL = 1）。
对于启用了增量编译的场景，改进了用于新验证的诊断输出，指示了如何通过清除增量状态或禁用增量来解决错误。
用过的都说：真香！
你或许不知道，Rust在stackoverflow的调查中连续五年被选为最受开发者喜爱的编程语言。更是有不少知名巨头将Rust语言加入到他们的项目中。
在用户喜爱榜中Rust一骑绝尘，根本看不到第二名在哪儿
Microsoft正在将Rust集成到大型的项目中。有大约70%漏洞都与内存安全有关，于是便寻求更具安全性的Rust帮助其解决这一困扰许久的问题。
Facebook则把Rust用在了源码控制后端的代码重写上。由于Rust可以在编译时检查出代码的错误，从而有效地减少了bug所带来的经济损失。
Dropbox使用Rust对文件同步引擎的代码进行了重写。高并发的文件同步引擎，在编写、测试和调试方面都十分困难，而Rust在静态类型和编译检查方面要比正在使用的Python性能更强。
甚至Linux内核也即将在5.14中加入对Rust的支持，毕竟C++太烂了（不是我说的，是Linus说的）。
「C++ solves _none_ of the C issues, and only makes things worse.」
网友对即将来临的更新很兴奋！
「我已经等不及了。作为使用Python的人，我真的很想念对混合了变量的字符串的简单直观的处理。」
「所有edition都会被永久支持。这让Rust 2015的代码和Rust 2077的代码的融合变为可能。」
「感谢所有Rust志愿者，你们是最棒的！」
2021更新计划中都有什么？
1. Edition 是什么？
Rust提出了一种Edition更新形式，这种方式不会割裂生态系统。
一个向后不兼容的功能将会被作为新的Rust Edition的一部分。Edition是选择性加入的，因此，除非现有的crate明确迁移到新版本中，否则就不会看到这些变化。
一个Edition中的crate可以与其他Edition中编译的crate无缝地互操作。不管Edition如何，所有 Rust代码最终都会在编译器中编译为相同的内部 IR。
Edition的迁移也几乎是全自动的。在发布新Edition的同时，会附带一个自动迁移工具。除此以外，还有一本《版本迁移指南》，该指南既是版本的概述，也是在遇到问题的故障排除参考。
在对旧的版本进行迁移时，需要对代码进行一些小的更改。例如，当迁移到Rust 2018时，所有的「async」都会变为：「r＃async」。
2. prelude中新的内容
Rust编译器会优先处理手动导入的项，使得在prelude添加的内容不会破坏任何现有代码。
例如，一个名为「example」的crate或module，其中包含「pub struct Option ;」，那么可以通过使用「example::*;」，使得「Option」明确引用「example;」而不是标准库中的。
但是，在prelude中添加特征便可能会破坏现有代码。例如，在使用「MyTryInto」特征调用「x.try_into()」时，如果还导入了「std」的「TryInto」，则会出现无法编译的情况，因为它提供了具有相同名称的方法。
作为解决方案，Rust 2021将使用新的prelude，其中增加了三个新的功能：
- std::convert::TryInto
- std::convert::TryFrom
- std::iter::FromIterator
3. 默认使用Cargo功能解析器
自1.51.0起，Cargo在选择加入中有了对新的功能解析器的支持，该功能可以在「Cargo.toml」中使用「resolver = "2"」激活。
从Rust 2021开始，这将是默认设置。也就是说，在「Cargo.toml」中写入「edition = "2021"」就意味着「resolver = "2"」。
4. 数组迭代器IntoIterator
在Rust 1.53.0之前，「IntoIterator」只能用于数组的引用。也就是说可以遍历「＆[1, 2, 3]」和「＆mut [1, 2, 3]」，但不能直接遍历「[1, 2, 3]」。
- for &e in &[1, 2, 3] {} // Ok :)
- for e in [1, 2, 3] {} // Error :(
团队在1.53.0之后所有版本中添加特征实现。在Rust 2015和2018代码中，编译器仍会将「 array.into_iter()」解析为「(＆array).into_iter()」。
这仅适用于「.into_iter()」调用语法， 而不会影响任何其他语法，例如「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();
当结构的某个字段被借用或移出时，其他字段将无法再用于闭包中，因为整个结构都会因为被捕获而变得不再可用。
从Rust 2021开始，闭包将仅捕获其使用的字段。
由于这个变化会对字段的删除顺序造成影响，目前仅在新版本中被激活。如果像以前一样捕获整个结构，则可通过在闭包中插入「let _ = ＆a; 」得到。对于其他版本，可以使用自动迁移，从而更新相关的闭包。
6. Panic宏的一致性
「panic!()」宏仅在使用多个参数调用时才使用字符串格式。当使用单个参数调用时，它甚至不会查看该参数。
- let a = "{";
- println!(a); // Error: First argument must be a format string literal
- panic!(a); // Ok: The panic macro doesn't care
一旦隐式格式参数被确定，就会出现问题了。此时「println!("hello {name}")」会变成「println!("hello {}", name)」的简写形式。但是「panic!("hello {name}")」无法执行，因为「panic!()」不会将单个参数作为格式化字符串处理。
为了避免这种情况，Rust 2021提供了更具一致性的「panic!()」宏。新的「panic!()」宏将不再接受任意表达式作为唯一参数。而是像「println!()」一样，始终将第一个参数作为格式化字符串处理。
由此「panic_any()」便成为了对格式化字符串以外的其他内容进行「panic」的唯一方法。
另外，Rust 2021中的「core::panic!()」和「std::panic!()」将会是等效的。目前，这两者之间存在一些差异，尤其是在开启或关闭「#![no_std]」时 。
7.保留的语法
为了将来为某些新语法腾出空间，我们决定为前缀的标识符和文字保留语法：「prefix＃identifier」，「prefix"string"」，「prefix'c'」和「prefix＃123」，其中「prefix」可以是任何标识符（除了那些已经具有含义的，例如「b'…'」和「r"…"」）。
这是一个重大变化，因为宏会接受「hello"world"」，并视其为两个单独的标记：「hello」和「"world"」。解决方法很简单，只需插入一个空格：「hello "world"」
这些是可能会看到的一些新前缀：
「f""」是格式字符串的简写形式。例如，「f"hello {name}"」是等效的「format_args!()」调用的简写形式。
「c""」或「z""」用于空终止的C字符串。
「k＃keyword」允许编写当前版本中尚不存在的关键字。例如，虽然「async」在2015版中不是关键字，但是该前缀将允许在2015版中以「k＃async」作为替代。
8. 新的硬错误
在Rust 2021中，现有的两个lint会被视为硬错误，在旧版本中，这些lint将仍然是警告。
「bare-trait-objects」：在Rust 2021中，必须使用「dyn」关键字标识特征对象。
「ellipsis-inclusive-range-patterns」：Rust 2021不再接受过时的「...」语法，取而代之的是「.. =」，不过表达式的使用是一样的。
9. 「micro_rules」中的or
从1.53.0开始，便加入了对「|」的支持，使其可以嵌套在任何地方。例如，现在可以写「Some(1 | 2)」，而不需要使用「Some(1) | Some(2)」这种方式。
这个改动会对「macro_rules」宏产生影响，于是在1.53.0中「:pat」并不与「|」相匹配。因为之前，并非在所有嵌套级别都可以包含「|」。
不过，在Rust 2021中，「:pat」片段说明符将匹配「A | B」。
由于有时仍然希望匹配不带「|」的单个模式变量，因此添加了指定的片段「:pat_param」以保留旧的行为。
