Swift 5.7 中的 any 和 some (译)

原文地址

由于 anysome 都适用于协议,因此我想在这篇博文中将它们放在一起比较以便更好地解释它们解决分别解决了什么问题,以及在什么情况下使用 anysome 或其他的。

了解 any 和 some 解决的问题

为了解释 any 解决的问题,我们可以通过一个列子来了解这两个关键字。下面是一个Pizza模型的协议:

protocol Pizza {
    var size: Int { get }
    var name: String { get }
}

在Swift 5.6,你可能会写下面的这种方法,来接收一个Pizza

func receivePizza(_ pizza: Pizza) {
    print("Omnomnom, that's a nice \(pizza.name)")
}

当这个函数被调用时,receivePizza 函数接收一个所谓的披萨协议类型,我们可以理解为一个披萨盒子。为了知道这个披萨名称,必须打开这个盒子,也就是获取实现Pizza协议的具体对象,然后获取名称。这意味着 Pizza 几乎没有编译时优化,这使得 receivePizza 方法调用的开销比我们想要的更大。

另外下面的函数,看起来好像是一样的

func receivePizza<T: Pizza>(_ pizza: T) {
    print("Omnomnom, that's a nice \(pizza.name)")
}

不过,这里有一个很主要区别。 Pizza 协议在这里没有用作参数类型。它被用作泛型 T 的约束。这就使得编译器将能够在编译时解析 T 的类型,使得 receivePizza 接受到的是一个具体化的类型。

因为上面这两种方法差异并不是很清楚,所以 Swift 团队引入了 any 关键字。此关键字不添加任何新功能。它迫使我们清楚地传达“这是一种存在主义”:(有点拗口,也不是很好理解,我就把他理解成这么类型的一个东西)

// 上面的第一种写法,增加一个any关键字
func receivePizza(_ pizza: any Pizza) {
    print("Omnomnom, that's a nice \(pizza.name)")
}

使用泛型T的示例不需要 any 关键字,因为 Pizza 被用作约束而不是存在类型。

现在我们对 any 有了更清晰的了解,继续让我们研究一下 some

在 Swift 中,许多开发人员都写如下代码:

let someCollection: Collection

我们会遇到编译器错误,告诉我们 Collection 有 Self 或关联的类型要求。在 Swift 5.1 中,我们可以告诉编译器任何访问 someCollection 的人都不应该关心这些。他们应该只需要知道这个东西符合 Collection 协议 ,仅此而已。

这种机制对于使 SwiftUI 的 View 协议至关重要。

但也有缺点,那就是在使用some Colelction的时候,无法知道其中的关联类型是什么。

然而,并非所有协议都有相关的关联类型。再次考虑下面这个receivePizza版本:

func receivePizza<T: Pizza>(_ pizza: T) {
    print("Omnomnom, that's a nice \(pizza.name)")
}

我们定义了一个通用的 T 来允许编译器针对给定的具体类型的 Pizza 进行优化。 some 关键字还允许编译器在编译时知道 some 对象的底层实际类型是什么;它只是对我们隐藏。这正是 <T: Pizza> 所做的。我们通过 T 这个类型访问也只能访问到 Pizza 协议所公开的内容。这意味着我们可以重写 receivePizza<T: Pizza>(_:) 如下:

func receivePizza(_ pizza: some Pizza) {
    print("Omnomnom, that's a nice \(pizza.name)")
}

我们不再需要 T ,也就是我们不需要创建一个类型来代表我们的 Pizza。我们可以说“这个函数需要some Pizza”而不是“这个函数需要一些我们称之为 T 的Pizza”。这两种写法是等价的。

选择 some 还是 any

其实当我们了解了some 和 any, 就会知道这不选其中一个的问题,他们都解决自己的问题的。

一般来说,我们要尽可能的使用 some 或者泛型,就拿我们的 Pizza 来说,如果使用any, 就好比我们在运行时也会是接收到一个Pizza类型的盒子,具体是什么Pizza, 还需要我们再打开盒子,但是some 或者泛型,就会给我们一个实际的Pizza类型了。

实践

让我们再举一个例子来说明这一点,这个例子在很大程度上借鉴了我对主要关联类型的解释。

class MusicPlayer {
    var playlist: any Collection<String> = []

    func play(_ playlist: some Collection<String>) {
        self.playlist = playlist
    }
}

在这段代码中,我使用了 some Collection<String>而不是编写 func play<T: Collection<String>>(_ playlist: T),因为泛型只在这一个地方使用。

我的 var playlistany Collection<String>而不是 some Collection<String>有两个原因:

  1. 无法确保编译器将为play方法推导的具体Colection与为var playlist推导的具体Colection相匹配;这意味着它们可能不一样。

  2. 编译器首先无法推断var playlist:some Collection<String>(尝试一下,你会得到一个编译器错误)

我们可以用下面的写法来避免使用 any :

class MusicPlayer<T: Collection<String>> {
    var playlist: T = []

    func play(_ playlist: T) {
        self.playlist = playlist
    }
}

但是这样就会强制我们的 T 为同一类型,比如说我们在使用时 T 是Array, 那我们在play方法中就不能在传入其他的Collection类型,比如说Set。但是前面的那种写法是可以的。

总结

虽然 some 和 any 听起来很复杂(事实上确实如此),但它们也是 Swift 5.7 中非常强大和重要的部分。理解他们是很有必要的,因为这可以帮助我们更好地理解 Swift 如何处理泛型和协议。

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 212,686评论 6 492
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 90,668评论 3 385
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 158,160评论 0 348
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 56,736评论 1 284
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 65,847评论 6 386
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 50,043评论 1 291
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,129评论 3 410
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,872评论 0 268
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,318评论 1 303
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,645评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,777评论 1 341
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,470评论 4 333
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,126评论 3 317
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,861评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,095评论 1 267
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,589评论 2 362
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,687评论 2 351

推荐阅读更多精彩内容