Question

今天，我看到了一些示例Swift 2.0（Xcode 7.2）代码，可以概括为：

let colours = ["red", "green", "blue"]
let r1 = colours.contains("The red one.".containsString)  // true
let y1 = colours.contains("The yellow one.".containsString)  // false

由于containsString()函数缺少括号，我原本期望编译错误。事实上，我甚至不确定递归是如何工作的。字符串是否递归colours数组中的每个项目，反之亦然？

任何解释都表示赞赏。

Answer 1

你实际在做的是调用方法.contains(predicate: String -> Bool)（实际的方法可以抛出，但这里没有关系）

这意味着您要求数组colours是否包含符合该谓词的元素"The red one.".containsString。因此，数组将逐个检查其元素并根据该谓词进行检查。如果找到一个，它将返回true，否则返回false。

上面的代码执行此操作：

"The red one.".containsString("red")
"The red one.".containsString("green")
"The red one.".containsString("blue")

"The yellow one.".containsString("red")
"The yellow one.".containsString("green")
"The yellow one.".containsString("blue")

它检查某处是否true。

Answer 2

在Swift中，函数可以被视为命名闭包。在关闭时从Apple documentation引用：

函数中引入的全局函数和嵌套函数实际上是闭包的特殊情况

然而containsString()是一种实例方法（感谢Martin R的观察）。代码有效，因为instance methods in Swift are actually curried functions属于命名闭包类别。

将"The red one.".containsString转换为如下全局函数：

String.containsString("The red one.")

返回一个函数(String) -> Bool，最终由contains调用，如下所示：

String.containsString("The red one.")("red")
String.containsString("The red one.")("green")
String.containsString("The red one.")("blue")

现在，考虑contains的签名：

public func contains(@noescape predicate: (Self.Generator.Element) throws -> Bool) rethrows -> Bool

和containsString的签名：

public func containsString(other: String) -> Bool

我们可以看到，在一个字符串数组中，predicate参数和String.containsString("The red one.")的结果是兼容的：两者都期望String作为参数并返回Bool。因此编译器可以愉快地调用curried函数。

为什么这个Swift代码片段会编译？它是如何工作的？

2 个答案: