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志愿者,你们是最棒的!」
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」以保留旧的行为。
网站栏目:Rust也出2077?受欢迎的编程语言再度更新!
文章起源:http://www.shufengxianlan.com/qtweb/news4/187154.html
网站建设、网络推广公司-创新互联,是专注品牌与效果的网站制作,网络营销seo公司;服务项目有等
声明:本网站发布的内容(图片、视频和文字)以用户投稿、用户转载内容为主,如果涉及侵权请尽快告知,我们将会在第一时间删除。文章观点不代表本网站立场,如需处理请联系客服。电话:028-86922220;邮箱:631063699@qq.com。内容未经允许不得转载,或转载时需注明来源: 创新互联