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

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文档:

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

然而,这containsString()是一个实例方法(感谢Martin R的观察).代码有效,因为Swift中的实例方法实际上是curried函数,它们属于命名闭包类别.

会发生什么"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.")是兼容的:都期望一个Stringas参数并返回一个Bool.因此编译器可以愉快地调用curried函数.