我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:2019全年资料大全正版 > 泛型类型定义 >

Swift 41 带来条件一致性等语言上的提升

归档日期:06-15       文本归类:泛型类型定义      文章编辑:爱尚语录

  条件一致性即,泛型类型只有在其类型参数满足特定要求的时候才会遵循某个协议。例如,一个Array只有当它的元素也遵循Equatable协议的时候,才能实现 Equatable 协议。这可以用下列声明表示。

  这弥补了 Swift 泛型上的缺陷,使得泛型适配器类型(例如,反映组合类型能力的泛型类型)完全成为可能。例如,在 Swift 3 中存在 4 种不同的处理“懒”项目的泛型类型:LazySequence、LazyCollection、LazyBidirectionalCollection和LazyRandomAccessCollection。其中每一种类型都重新实现或者继承了和组合类型相同的 API。使用条件一致性,某一种类型的 Sequence 可以声明遵循懒协议,而无需定义任何中间泛型类型。

  Swift 4.1 编译器能够为那些声明遵循Equatable和Hahable协议的 structs 和 enums,生成==和hashValue方法的实现。以前,开发者必须自己实现那些方法,而那是一件非常繁琐的任务:在通常情况下,==方法的实现必须比较 structs 或 unions 的每一个相应成员;而hashValue方法必须设法保证返回一个唯一的字符串。在 Swift 4.1,开发者只需声明遵循那些协议,相关的方法就会自动生成,提供所有存储的分别符合Equatable或Hashable的属性或枚举值。

本文链接:http://buggystordera.com/fanxingleixingdingyi/578.html