红帽白皮书新鲜出炉!点击获取,让你的云战略更胜一筹! 了解详情
写点什么

Rust 1.65 引入泛型关联类型,向高级类类型迈进了一步

  • 2022-11-28
    北京
  • 本文字数:1193 字

    阅读完需:约 4 分钟

Rust 1.65引入泛型关联类型,向高级类类型迈进了一步

最新版本的 Rust 引入了一个功能强大的新语言特性,叫作泛型关联类型,允许开发人员为 trait 中的关联类型指定泛型。其他值得注意的新特性还包括 let-else 语句,以及对跳出标记块的支持。


经过6年的开发,泛型关联类型(GAT)可以被认为是trait类型构造函数的一种形式,可以用来定义关联类型的泛型、寿命或常量泛型。


这个特性(关联类型构造函数)解决了高级类类型最常见的用例之一,与其他形式的高级类类型多态相比,它是对类型系统的一个相对简单的扩展,并向前兼容将来可能引入的更复杂的高级类类型多态。


Rust中的关联类型是定义通用 trait 的一种机制。例如,在下面的例子中有一个叫作 Graph 的 trait,它的节点和边使用了两个关联类型。


trait Graph {    type N;    type E;
fn has_edge(&self, _: &Self::N, _: &Self::N) -> bool; fn edges(&self, _: &Self::N) -> Vec<Self::E>}
复制代码


使用关联类型提高了代码的可读性。Graph 的客户端确实可以使用它,而不需要每次都指定其关联的类型是什么,这对于泛型类型来说是必需的。例如:

fn distance<C: Contains>(graph: &G, start: &G::N, end: &G::N) -> i32 { ... }
复制代码


现在,GTA 引入了一种方法来指定本身就是泛型的关联类型。例如:


trait LendingIterator {    type Item<'a> where Self: 'a;
fn next<'a>(&'a mut self) -> Option<Self::Item<'a>>;}
复制代码


将其与标准 Iterator 的定义进行比较:

pub trait Iterator {    type Item;    ...    fn next(&mut self) -> Option<Self::Item>    ...}
复制代码


如你所见,LendingIterator 使用 Item<'a>而不是非泛型的 Item 相关类型,并将 Self 约束为类型'a。这意味着 next 函数将返回一个从 self 借用的项。


虽然乍一看有些神秘,但 GAT 是一个非常强大的抽象概念,许多 crate 已经在不稳定版本中使用了它。此外,由于 GAT 还不稳定,许多 crate 的进一步开发被阻塞。可以使用 GAT 构建的一些特性包括:用于从 DB 加载数据的零拷贝接口、通用构建模式、表示非拥有值等等。值得注意的是,在某些情况下,GAT 被不安全的代码替代,并且 GAT 可以减少对不安全代码的使用,对于这些情况,Rust 不再提供任何安全性保证。


如前所述,GAT 并不是 Rust 1.65 唯一值得注意的新特性。特别值得一提的还有新的 let-else 语句和使用 break 跳出代码块。


let-else 语句是 let 的扩展,它试图匹配模式,并在找不到匹配时提供要执行的 else 块,例如从函数中提前返回或 panic。


由于循环块支持任意时候跳出循环,标记的 break 让已经使用只执行一次的 loop 块来实现的行为变得更完整了。现在,你还可以标记一个块,然后使用 break <块标记>语句跳转到这个标记块的末尾。


如果你对 Rust 1.65 的详细变更感兴趣,请查看官方发布说明


原文链接:

https://www.infoq.com/news/2022/11/rust-generic-associated-types/


相关阅读:

前端又开撕了:用Rust写的Turbopack,比Vite快10倍?

微软首席工程师Nick Cameron:Rust要想取得更大的成功,需要解决这十大挑战

2022-11-28 09:295043

评论

发布
暂无评论
发现更多内容

11.6高可用:架构运维方案

张荣召

11.7高可用故障案例分析

张荣召

架构师训练营第 1 期 - 第 11 周课后练习

Anyou Liu

极客大学架构师训练营

IT做得好的时候,是什么状态?

boshi

职业

使用PicGo存储markdown图片(阿里云或者github)

秦怀杂货店

markdown 图床

java集合【10】——— LinkedList源码解析

秦怀杂货店

Java 集合 linkedlist

Mybatis【5】-- Mybatis多种增删改查那些你会了么?

秦怀杂货店

Java mybatis JDBC

Mybatis【6】-- Mybatis插入数据后自增id怎么获取?

秦怀杂货店

mybatis

11.5高可用:提升系统可用性的架构方案

张荣召

JVM,JRE,JDK之间的区别和联系

入门小站

JVM

架构师训练营第 1 期第 11 周作业

好吃不贵

极客大学架构师训练营

第七周作业

孤星

到手的股权,又没了 | 法庭上的CTO(2)

赵新龙

股权 CTO 28天写作

【Java基础】-- instanceof 用法详解

秦怀杂货店

Java

11.1安全架构:Web攻击与防护

张荣召

11.4高可用:可用性度量

张荣召

学习总结--week11

张荣召

架构师训练营第 1 期第 11 周学习总结

好吃不贵

极客大学架构师训练营

架构词典:缓存

lidaobing

缓存 架构

第七周总结

孤星

架构师训练营第 1 期 -- 第十一周作业

发酵的死神

极客大学架构师训练营

架构师训练营 1 期第 11 周:安全稳定 - 作业

piercebn

极客大学架构师训练营

从华为看VUCA时代如何让组织不断乘风破浪?

Alan

华为 战略思考 组织发展 组织活力

JDBC【4】-- jdbc预编译与拼接sql对比

秦怀杂货店

sql JDBC

【java基础】-- java接口和抽象类的异同分析

秦怀杂货店

Java 接口

11.2安全架构:加密与解密

张荣召

11.3安全架构:反垃圾与风控

张荣召

架构师第十一周作业

_

极客大学架构师训练营 第十一周作业

七、性能

Geek_28b526

系统性能的主要技术指标以及变化

皮蛋

11.8作业

张荣召

Rust 1.65引入泛型关联类型,向高级类类型迈进了一步_语言 & 开发_Sergio De Simone_InfoQ精选文章