Merge pull request #388 from 100mango/patch-4

修订闭包剩余部分
This commit is contained in:
梁杰
2015-06-28 22:09:13 +08:00

View File

@ -122,26 +122,28 @@ reversed = names.sort( { (s1: String, s2: String) -> Bool in return s1 > s2 } )
<a name="inferring_type_from_context"></a> <a name="inferring_type_from_context"></a>
### 根据上下文推断类型Inferring Type From Context ### 根据上下文推断类型Inferring Type From Context
因为排序闭包函数是作为`sorted`函数的参数进行传入的Swift可以推断其参数和返回值的类型。 因为排序闭包函数是作为`sort(_:)`方法的参数进行传入的Swift可以推断其参数和返回值的类型。
`sorted`期望第二个参数是类型为`(String, String) -> Bool`的函数,因此实际上`String`,`String``Bool`类型并不需要作为闭包表达式定义中的一部分。 `sorted`期望第二个参数是类型为`(String, String) -> Bool`的函数,因此实际上`String`,`String``Bool`类型并不需要作为闭包表达式定义中的一部分。
因为所有的类型都可以被正确推断,返回箭头 (`->`) 和围绕在参数周围的括号也可以被省略: 因为所有的类型都可以被正确推断,返回箭头 (`->`) 和围绕在参数周围的括号也可以被省略:
```swift ```swift
reversed = sorted(names, { s1, s2 in return s1 > s2 } ) reversed = names.sort( { s1, s2 in return s1 > s2 } )
``` ```
实际上任何情况下,通过内联闭包表达式构造的闭包作为参数传递给函数时,都可以推断出闭包的参数和返回值类型,这意味着您几乎不需要利用完整格式构造任何内联闭包。 实际上任何情况下,通过内联闭包表达式构造的闭包作为参数传递给函数时,都可以推断出闭包的参数和返回值类型,这意味着您几乎不需要利用完整格式构造任何内联闭包。
然而您仍然可以明确写出有着完整格式的闭包。如果完整格式的闭包能够提高代码的可读性,则可以采用完整格式的闭包。而在`sort(_:)`方法这个例子里,闭包的目的就是排序,读者能够推测除这个闭包是用于字符串处理的,因为这个闭包是为了处理字符串数组的排序。
<a name="implicit_returns_from_single_expression_closures"></a> <a name="implicit_returns_from_single_expression_closures"></a>
### 单表达式闭包隐式返回Implicit Return From Single-Expression Clossures ### 单表达式闭包隐式返回Implicit Return From Single-Expression Clossures
单行表达式闭包可以通过隐藏`return`关键字来隐式返回单行表达式的结果,如上版本的例子可以改写为: 单行表达式闭包可以通过隐藏`return`关键字来隐式返回单行表达式的结果,如上版本的例子可以改写为:
```swift ```swift
reversed = sorted(names, { s1, s2 in s1 > s2 } ) reversed = names.sort( { s1, s2 in s1 > s2 } )
``` ```
在这个例子中,`sorted`函数的第二个参数函数类型明确了闭包必须返回一个`Bool`类型值。 在这个例子中,`sort(_:)`方法的第二个参数函数类型明确了闭包必须返回一个`Bool`类型值。
因为闭包函数体只包含了一个单一表达式 (`s1 > s2`),该表达式返回`Bool`类型值,因此这里没有歧义,`return`关键字可以省略。 因为闭包函数体只包含了一个单一表达式 (`s1 > s2`),该表达式返回`Bool`类型值,因此这里没有歧义,`return`关键字可以省略。
<a name="shorthand_argument_names"></a> <a name="shorthand_argument_names"></a>
@ -153,7 +155,7 @@ Swift 自动为内联函数提供了参数名称缩写功能,您可以直接
`in`关键字也同样可以被省略,因为此时闭包表达式完全由闭包函数体构成: `in`关键字也同样可以被省略,因为此时闭包表达式完全由闭包函数体构成:
```swift ```swift
reversed = sorted(names, { $0 > $1 } ) reversed = names.sort( { $0 > $1 } )
``` ```
在这个例子中,`$0``$1`表示闭包中第一个和第二个`String`类型的参数。 在这个例子中,`$0``$1`表示闭包中第一个和第二个`String`类型的参数。
@ -163,11 +165,11 @@ reversed = sorted(names, { $0 > $1 } )
实际上还有一种更简短的方式来撰写上面例子中的闭包表达式。 实际上还有一种更简短的方式来撰写上面例子中的闭包表达式。
Swift 的`String`类型定义了关于大于号 (`>`) 的字符串实现,其作为一个函数接受两个`String`类型的参数并返回`Bool`类型的值。 Swift 的`String`类型定义了关于大于号 (`>`) 的字符串实现,其作为一个函数接受两个`String`类型的参数并返回`Bool`类型的值。
而这正好与`sorted`函数的第二个参数需要的函数类型相符合。 而这正好与`sort(_:)`方法的第二个参数需要的函数类型相符合。
因此您可以简单地传递一个大于号Swift可以自动推断出您想使用大于号的字符串函数实现 因此您可以简单地传递一个大于号Swift可以自动推断出您想使用大于号的字符串函数实现
```swift ```swift
reversed = sorted(names, >) reversed = names.sort(>)
``` ```
更多关于运算符表达式的内容请查看 [运算符函数](../chapter2/24_Advanced_Operators.html#operator_functions)。 更多关于运算符表达式的内容请查看 [运算符函数](../chapter2/24_Advanced_Operators.html#operator_functions)。
@ -180,7 +182,7 @@ reversed = sorted(names, >)
尾随闭包是一个书写在函数括号之后的闭包表达式,函数支持将其作为最后一个参数调用。 尾随闭包是一个书写在函数括号之后的闭包表达式,函数支持将其作为最后一个参数调用。
```swift ```swift
func someFunctionThatTakesAClosure(closure: () -> ()) { func someFunctionThatTakesAClosure(closure: () -> Void) {
// 函数体部分 // 函数体部分
} }
@ -201,7 +203,7 @@ someFunctionThatTakesAClosure() {
在上例中作为`sorted`函数参数的字符串排序闭包可以改写为: 在上例中作为`sorted`函数参数的字符串排序闭包可以改写为:
```swift ```swift
reversed = sorted(names) { $0 > $1 } reversed = names.sort() { $0 > $1 }
``` ```
当闭包非常长以至于不能在一行中进行书写时,尾随闭包变得非常有用。 当闭包非常长以至于不能在一行中进行书写时,尾随闭包变得非常有用。
@ -281,7 +283,7 @@ Swift最简单的闭包形式是嵌套函数也就是定义在其他函数的
每次调用`incrementor`时,其会以`amount`作为增量增加`runningTotal`的值。 每次调用`incrementor`时,其会以`amount`作为增量增加`runningTotal`的值。
```swift ```swift
func makeIncrementor(forIncrement amount: Int) -> () -> Int { func makeIncrementor(forIncrement amount: Int) -> Void -> Int {
var runningTotal = 0 var runningTotal = 0
func incrementor() -> Int { func incrementor() -> Int {
runningTotal += amount runningTotal += amount
@ -291,7 +293,7 @@ func makeIncrementor(forIncrement amount: Int) -> () -> Int {
} }
``` ```
`makeIncrementor`返回类型为`() -> Int` `makeIncrementor`返回类型为`Void -> Int`
这意味着其返回的是一个函数,而不是一个简单类型值。 这意味着其返回的是一个函数,而不是一个简单类型值。
该函数在每次调用时不接受参数只返回一个`Int`类型的值。 该函数在每次调用时不接受参数只返回一个`Int`类型的值。
关于函数返回其他函数的内容,请查看[函数类型作为返回类型](../chapter2/06_Functions.html#function_types_as_return_types)。 关于函数返回其他函数的内容,请查看[函数类型作为返回类型](../chapter2/06_Functions.html#function_types_as_return_types)。