Rust也出2077?受欢迎的编程语言再度更新!

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,其中增加了三个新的功能:

 
 
 
 
  1. std::convert::TryInto
  2. std::convert::TryFrom
  3. 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]」。

 
 
 
 
  1. for &e in &[1, 2, 3] {} // Ok :)
  2. 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」。这会在某些情形下造成问题。

 
 
 
 
  1. let a = SomeStruct::new();
  2. drop(a.x); //Move out of one field of the struct
  3. println!("{}"m a.y); // OK: Still use another field of the struct
  4. let c = || println!("{}", a.y); // Error: Tries to capture all of 'a'
  5. c();

当结构的某个字段被借用或移出时,其他字段将无法再用于闭包中,因为整个结构都会因为被捕获而变得不再可用。

从Rust 2021开始,闭包将仅捕获其使用的字段。

由于这个变化会对字段的删除顺序造成影响,目前仅在新版本中被激活。如果像以前一样捕获整个结构,则可通过在闭包中插入「let _ = &a; 」得到。对于其他版本,可以使用自动迁移,从而更新相关的闭包。

6. Panic宏的一致性

「panic!()」宏仅在使用多个参数调用时才使用字符串格式。当使用单个参数调用时,它甚至不会查看该参数。

 
 
 
 
  1. let a = "{";
  2. println!(a); // Error: First argument must be a format string literal
  3. 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。内容未经允许不得转载,或转载时需注明来源: 创新互联