什么是“一些”关键字在Swift(UI)?

新的SwiftUI教程有以下代码:

struct ContentView: View {
    var body: some View {
        Text("Hello World")
    }
}

第二行是单词some，在他们的网站上突出显示，就好像它是一个关键字一样。

Swift 5.1似乎没有把some作为关键字，而且我不知道some这个词还能在那里做什么，因为它在类型通常的位置。有没有一个新的、未公布的Swift版本?它是一个我不知道的被用在类型上的函数吗?

关键字有的作用是什么?

当前回答

另一个答案很好地解释了新some关键字的技术方面，但这个答案将试图简单地解释为什么。

假设我有一个协议动物，我想比较两个动物是否是兄弟姐妹:

protocol Animal {
    func isSibling(_ animal: Self) -> Bool
}

这样，如果两个动物是同一类型的动物，那么比较它们是否是兄弟姐妹才有意义。

现在我举一个动物的例子供大家参考

class Dog: Animal {
    func isSibling(_ animal: Dog) -> Bool {
        return true // doesn't really matter implementation of this
    }
}

没有T的方式

现在，假设我有一个函数，从一个“家族”中返回一个动物。

func animalFromAnimalFamily() -> Animal {
    return myDog // myDog is just some random variable of type `Dog`
}

注意:这个函数实际上不会编译。这是因为在添加'some'特性之前，如果协议使用'Self'或泛型，则不能返回协议类型。但是假设你可以…假设这将myDog向上转换为抽象类型Animal，让我们看看会发生什么

现在问题来了，如果我试着这么做:

let animal1: Animal = animalFromAnimalFamily()
let animal2: Animal = animalFromAnimalFamily()

animal1.isSibling(animal2) // error

这将抛出一个错误。

为什么?原因是，当你调用animal1.isSibling(animal2)时，Swift不知道这些动物是狗、猫还是什么。据斯威夫特所知，animal1和animal2可能是不相关的动物物种。因为我们不能比较不同类型的动物(见上文)。这会出错

某个T如何解决这个问题

让我们重写之前的函数:

func animalFromAnimalFamily() -> some Animal {
    return myDog
}

let animal1 = animalFromAnimalFamily()
let animal2 = animalFromAnimalFamily()

animal1.isSibling(animal2)

animal1和animal2不是Animal，但它们是实现Animal的类。

这让你现在做的是，当你调用animal1. issibling (animal2)时，Swift知道animal1和animal2是同一类型。

所以我喜欢这样思考:

一些T让Swift知道T的什么实现正在被使用，但类的用户不知道。

(自我推销免责声明)我已经写了一篇博客文章，更深入地讨论了这个新功能(例子和这里一样)

2019-06-05 06:34:12

其他回答

Swift 5.1 (Swift -evolution提议)中的some关键字与协议一起作为返回类型使用。

Xcode 11发布说明是这样的:

函数现在可以通过声明它遵循什么协议来隐藏具体的返回类型，而不是指定确切的返回类型: func makeecollection () -> some Collection { 返回[1,2,3] ｝调用该函数的代码可以使用协议的接口，但不能看到底层类型。(se - 0244, 40538331)

在上面的例子中，你不需要告诉你将返回一个Array。这甚至允许您返回一个只符合Collection的泛型类型。

还要注意你可能会遇到的这个错误:

'some'返回类型仅在iOS 13.0.0或更新版本中可用

这意味着你应该使用可用性来避免一些在iOS 12和之前的版本:

@available(iOS 13.0, *)
func makeACollection() -> some Collection {
    ...
}

2019-06-06 03:50:27

为了简化，如果你知道两者的区别

var x = 5

int x =5

然后你就会知道一些。编译器知道它，您也知道它。在不指定具体细节(它使用的泛型类型)的情况下，尽可能地说明您遵守了某些内容

2020-08-20 02:07:08

你可以假设swift是通用的。

2021-03-04 08:19:32