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，其中增加了三个新的功能：
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]」。
团队在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」。这会在某些情形下造成问题。
当结构的某个字段被借用或移出时，其他字段将无法再用于闭包中，因为整个结构都会因为被捕获而变得不再可用。 从Rust 2021开始，闭包将仅捕获其使用的字段。 由于这个变化会对字段的删除顺序造成影响，目前仅在新版本中被激活。如果像以前一样捕获整个结构，则可通过在闭包中插入「let _ = ＆a; 」得到。对于其他版本，可以使用自动迁移，从而更新相关的闭包。 6. Panic宏的一致性 「panic!()」宏仅在使用多个参数调用时才使用字符串格式。当使用单个参数调用时，它甚至不会查看该参数。
一旦隐式格式参数被确定，就会出现问题了。此时「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」以保留旧的行为。
