修正编辑错误 (#857)

* 19_Nested_Types 去除多余空格

* 清除行末多余空格

* 20_Extensions 标题后添加空行

* 20_Extensions 修正注释翻译

* 20_Extensions 修正行内代码块引用方式

* 21_Protocols 修正编辑中的错误
This commit is contained in:
BqLin
2019-01-18 22:47:32 +08:00
committed by Jie Liang
parent 85b457b8ca
commit 1493185ba4
4 changed files with 89 additions and 85 deletions

View File

@ -62,7 +62,7 @@ struct BlackjackCard {
`Rank` 还定义了一个计算型属性 `values`,它将会返回一个 `Values` 结构体的实例。这个计算型属性会根据牌的面值,用适当的数值去初始化 `Values` 实例。对于 `J``Q``K``Ace` 这四种牌,会使用特殊数值。对于数字面值的牌,使用枚举实例的 `Int` 类型的原始值。 `Rank` 还定义了一个计算型属性 `values`,它将会返回一个 `Values` 结构体的实例。这个计算型属性会根据牌的面值,用适当的数值去初始化 `Values` 实例。对于 `J``Q``K``Ace` 这四种牌,会使用特殊数值。对于数字面值的牌,使用枚举实例的 `Int` 类型的原始值。
`BlackjackCard` 结构体拥有两个属性—— `rank``suit`。它也同样定义了一个计算型属性 `description``description` 属性用 `rank``suit` 中的内容来构建对扑克牌名字和数值的描述。该属性使用可选绑定来检查可选类型 `second` 是否有值,若有值,则在原有的描述中增加对 `second` 的描述。 `BlackjackCard` 结构体拥有两个属性——`rank``suit`。它也同样定义了一个计算型属性 `description``description` 属性用 `rank``suit` 中的内容来构建对扑克牌名字和数值的描述。该属性使用可选绑定来检查可选类型 `second` 是否有值,若有值,则在原有的描述中增加对 `second` 的描述。
因为 `BlackjackCard` 是一个没有自定义构造器的结构体,在[结构体的逐一成员构造器](./14_Initialization.html#memberwise_initializers_for_structure_types)中可知,结构体有默认的成员构造器,所以你可以用默认的构造器去初始化新常量 `theAceOfSpades` 因为 `BlackjackCard` 是一个没有自定义构造器的结构体,在[结构体的逐一成员构造器](./14_Initialization.html#memberwise_initializers_for_structure_types)中可知,结构体有默认的成员构造器,所以你可以用默认的构造器去初始化新常量 `theAceOfSpades`
@ -81,7 +81,7 @@ print("theAceOfSpades: \(theAceOfSpades.description)")
```swift ```swift
let heartsSymbol = BlackjackCard.Suit.hearts.rawValue let heartsSymbol = BlackjackCard.Suit.hearts.rawValue
// 红心符号为 “♡” // 红心符号为“♡”
``` ```
对于上面这个例子,这样可以使 `Suit``Rank``Values` 的名字尽可能的短,因为它们的名字可以由定义它们的上下文来限定。 对于上面这个例子,这样可以使 `Suit``Rank``Values` 的名字尽可能的短,因为它们的名字可以由定义它们的上下文来限定。

View File

@ -1,49 +1,51 @@
# 扩展 # 扩展
*扩展*可以给一个现有的类,结构体,枚举,还有协议添加新的功能。它还拥有不需要访问被扩展类型源代码就能完成扩展的能力(即*逆向建模*)。扩展和 Objective-C 的分类很相似。(与 Objective-C 分类不同的是Swift 扩展是没有名字的。) *扩展*可以给一个现有的类,结构体,枚举,还有协议添加新的功能。它还拥有不需要访问被扩展类型源代码就能完成扩展的能力(即*逆向建模*)。扩展和 Objective-C 的分类很相似。(与 Objective-C 分类不同的是Swift 扩展是没有名字的。)
Swift 中的扩展可以: Swift 中的扩展可以:
- 添加计算型实例属性和计算型类属性 - 添加计算型实例属性和计算型类属性
- 定义实例方法和类方法 - 定义实例方法和类方法
- 提供新的构造器 - 提供新的构造器
- 定义下标 - 定义下标
- 定义和使用新的嵌套类型 - 定义和使用新的嵌套类型
- 使已经存在的类型遵循conform一个协议 - 使已经存在的类型遵循conform一个协议
在 Swift 中,你甚至可以扩展协议以提供其需要的实现,或者添加额外功能给遵循的类型所使用。你可以从 [协议扩展](https://docs.swift.org/swift-book/LanguageGuide/Protocols.html#ID521) 获取更多细节。 在 Swift 中,你甚至可以扩展协议以提供其需要的实现,或者添加额外功能给遵循的类型所使用。你可以从 [协议扩展](https://docs.swift.org/swift-book/LanguageGuide/Protocols.html#ID521) 获取更多细节。
> 注意 > 注意
> >
> 扩展可以给一个类型添加新的功能,但是不能重写已经存在的功能。 > 扩展可以给一个类型添加新的功能,但是不能重写已经存在的功能。
## 扩展的语法 ## 扩展的语法
使用 **extension** 关键字声明扩展:
使用 `extension` 关键字声明扩展:
```swift ```swift
extension SomeType { extension SomeType {
// 在这里给 SomeType 添加新的功能 // 在这里给 SomeType 添加新的功能
} }
``` ```
扩展可以扩充一个现有的类型,给它添加一个或多个协议。协议名称的写法和类或者结构体一样: 扩展可以扩充一个现有的类型,给它添加一个或多个协议。协议名称的写法和类或者结构体一样:
```swift ```swift
extension SomeType: SomeProtocol, AnotherProtocol { extension SomeType: SomeProtocol, AnotherProtocol {
// 协议所需要的实现写在这里 // 协议所需要的实现写在这里
} }
``` ```
这种遵循协议的方式在 [使用扩展遵循协议](https://docs.swift.org/swift-book/LanguageGuide/Protocols.html#ID277) 中有描述。 这种遵循协议的方式在 [使用扩展遵循协议](https://docs.swift.org/swift-book/LanguageGuide/Protocols.html#ID277) 中有描述。
扩展可以使用在现有范型类型上,就像 [扩展范型类型](https://docs.swift.org/swift-book/LanguageGuide/Generics.html#ID185) 中描述的一样。你还可以使用扩展给泛型类型有条件的添加功能,就像 [扩展一个带有 Where 字句的范型](https://docs.swift.org/swift-book/LanguageGuide/Generics.html#ID553) 中描述的一样。 扩展可以使用在现有范型类型上,就像 [扩展范型类型](https://docs.swift.org/swift-book/LanguageGuide/Generics.html#ID185) 中描述的一样。你还可以使用扩展给泛型类型有条件的添加功能,就像 [扩展一个带有 Where 字句的范型](https://docs.swift.org/swift-book/LanguageGuide/Generics.html#ID553) 中描述的一样。
> 注意 > 注意
> >
> 对一个现有的类型,如果你定义了一个扩展来添加新的功能,那么这个类型的所有实例都可以使用这个新功能,包括那些在扩展定义之前就存在的实例。 > 对一个现有的类型,如果你定义了一个扩展来添加新的功能,那么这个类型的所有实例都可以使用这个新功能,包括那些在扩展定义之前就存在的实例。
## 计算型属性 ## 计算型属性
扩展可以给现有类型添加计算型实例属性和计算型类属性。这个例子给 Swift 内建的 **Double** 类型添加了五个计算型实例属性,从而提供与距离单位相关工作的基本支持:
扩展可以给现有类型添加计算型实例属性和计算型类属性。这个例子给 Swift 内建的 `Double` 类型添加了五个计算型实例属性,从而提供与距离单位相关工作的基本支持:
```swift ```swift
extension Double { extension Double {
@ -55,40 +57,41 @@ extension Double {
} }
let oneInch = 25.4.mm let oneInch = 25.4.mm
print("One inch is \(oneInch) meters") print("One inch is \(oneInch) meters")
// 打印“一英寸是 0.0254 米” // 打印“One inch is 0.0254 meters”
let threeFeet = 3.ft let threeFeet = 3.ft
print("Three feet is \(threeFeet) meters") print("Three feet is \(threeFeet) meters")
// 打印“三英尺是 0.914399970739201 // 打印“Three feet is 0.914399970739201 meters
``` ```
这些计算型属性表示的含义是把一个 **Double** 值看作是某单位下的长度值。即使它们被实现为计算型属性,但这些属性的名字仍可紧接一个浮点型字面值,从而通过点语法来使用,并以此实现距离转换。 这些计算型属性表示的含义是把一个 `Double` 值看作是某单位下的长度值。即使它们被实现为计算型属性,但这些属性的名字仍可紧接一个浮点型字面值,从而通过点语法来使用,并以此实现距离转换。
在上述例子中,**Double** 类型的 **1.0** 代表的是“一米”。这就是为什么计算型属性 **m** 返回的是 **self** - 表达式 **1.m** 被认为是计算一个 **Double** 类型的 **1.0** 在上述例子中,`Double` 类型的 `1.0` 代表的是“一米”。这就是为什么计算型属性 `m` 返回的是 `self`——表达式 `1.m` 被认为是计算一个 `Double` 类型的 `1.0`
其它单位则需要一些单位换算。一千米等于 1,000 米,所以计算型属性 **km** 要把值乘以 **1_000.00** 来实现千米到米的单位换算。类似地,一米有 3.28084 英尺,所以计算型属性 **ft** 要把对应的 **Double** 值除以 **3.28084**,来实现英尺到米的单位换算。 其它单位则需要一些单位换算。一千米等于 1,000 米,所以计算型属性 `km` 要把值乘以 `1_000.00` 来实现千米到米的单位换算。类似地,一米有 3.28084 英尺,所以计算型属性 `ft` 要把对应的 `Double` 值除以 `3.28084`,来实现英尺到米的单位换算。
这些属性都是只读的计算型属性,所以为了简便,它们的表达式里面都不包含 **get** 关键字。它们使用 **Double** 作为返回值类型,并可用于所有接受 **Double** 类型的数学计算中: 这些属性都是只读的计算型属性,所以为了简便,它们的表达式里面都不包含 `get` 关键字。它们使用 `Double` 作为返回值类型,并可用于所有接受 `Double` 类型的数学计算中:
```swift ```swift
let aMarathon = 42.km + 195.m let aMarathon = 42.km + 195.m
print("A marathon is \(aMarathon) meters long") print("A marathon is \(aMarathon) meters long")
// 打印“马拉松赛跑全长 42195.0 米。 // 打印“A marathon is 42195.0 meters long
``` ```
> 注意 > 注意
> >
> 扩展可以添加新的计算属性,但是它们不能添加存储属性,或向现有的属性添加属性观察者。 > 扩展可以添加新的计算属性,但是它们不能添加存储属性,或向现有的属性添加属性观察者。
## 构造器 ## 构造器
扩展可以给现有的类型添加新的构造器。它使你可以把自定义类型作为参数来供其他类型的构造器使用,或者在类型的原始实现上添加额外的构造选项。
扩展可以给一个类添加新的便利构造器,但是它们不能给类添加新的指定构造器或者析构器。指定构造器和析构器必须始终由类的原始实现提供。 扩展可以给现有的类型添加新的构造器。它使你可以把自定义类型作为参数来供其他类型的构造器使用,或者在类型的原始实现上添加额外的构造选项。
如果你使用扩展给一个值类型添加构造器只是用于给所有的存储属性提供默认值,并且没有定义任何自定义构造器,那么你可以在该值类型扩展的构造器中使用默认构造器和成员构造器。如果你把构造器写到了值类型的原始实现中,就像 [值类型的构造器委托](https://docs.swift.org/swift-book/LanguageGuide/Initialization.html#ID215) 中所描述的,那么就不属于在扩展中添加构造器。 扩展可以给一个类添加新的便利构造器,但是它们不能给类添加新的指定构造器或者析构器。指定构造器和析构器必须始终由类的原始实现提供。
如果你使用扩展给一个模块中定义的结构体添加构造器,那么新的构造器直到定义模块中使用一个构造器之前,不能访问 **self** 如果你使用扩展给一个值类型添加构造器只是用于给所有的存储属性提供默认值,并且没有定义任何自定义构造器,那么你可以在该值类型扩展的构造器中使用默认构造器和成员构造器。如果你把构造器写到了值类型的原始实现中,就像 [值类型的构造器委托](https://docs.swift.org/swift-book/LanguageGuide/Initialization.html#ID215) 中所描述的,那么就不属于在扩展中添加构造器。
在下面的例子中,自定义了一个的 **Rect** 结构体用来表示一个几何矩形。这个例子中还定义了两个给予支持的结构体 **Size** **Point**,它们都把属性的默认值设置为 **0.0** 如果你使用扩展给另一个模块中定义的结构体添加构造器,那么新的构造器直到定义模块中使用一个构造器之前,不能访问 `self`
在下面的例子中,自定义了一个的 `Rect` 结构体用来表示一个几何矩形。这个例子中还定义了两个给予支持的结构体 `Size``Point`,它们都把属性的默认值设置为 `0.0`
```swift ```swift
struct Size { struct Size {
@ -101,17 +104,17 @@ struct Rect {
var origin = Point() var origin = Point()
var size = Size() var size = Size()
} }
``` ```
因为 **Rect** 结构体给所有的属性都提供了默认值,所以它自动获得了一个默认构造器和一个成员构造器,就像 [默认构造器](https://docs.swift.org/swift-book/LanguageGuide/Initialization.html#ID213) 中描述的一样。这些构造器可以用来创建新的 **Rect** 实例: 因为 `Rect` 结构体给所有的属性都提供了默认值,所以它自动获得了一个默认构造器和一个成员构造器,就像 [默认构造器](https://docs.swift.org/swift-book/LanguageGuide/Initialization.html#ID213) 中描述的一样。这些构造器可以用来创建新的 `Rect` 实例:
```swift ```swift
let defaultRect = Rect() let defaultRect = Rect()
let memberwiseRect = Rect(origin: Point(x: 2.0, y: 2.0), let memberwiseRect = Rect(origin: Point(x: 2.0, y: 2.0),
size: Size(width: 5.0, height: 5.0)) size: Size(width: 5.0, height: 5.0))
``` ```
你可以通过扩展 **Rect** 结构体来提供一个允许指定 point size 的构造器: 你可以通过扩展 `Rect` 结构体来提供一个允许指定 pointsize 的构造器:
```swift ```swift
extension Rect { extension Rect {
@ -123,20 +126,21 @@ extension Rect {
} }
``` ```
这个新的构造器首先根据提供的 **center****size** 计算一个适当的原点。然后这个构造器调用结构体自带的成员构造器 **init(origin:size:)**,它会将新的 origin 和 size 值储存在适当的属性中: 这个新的构造器首先根据提供的 `center``size` 计算一个适当的原点。然后这个构造器调用结构体自带的成员构造器 `init(origin:size:)`,它会将新的 origin 和 size 值储存在适当的属性中:
```swift ```swift
let centerRect = Rect(center: Point(x: 4.0, y: 4.0), let centerRect = Rect(center: Point(x: 4.0, y: 4.0),
size: Size(width: 3.0, height: 3.0)) size: Size(width: 3.0, height: 3.0))
// centerRect 的 origin 是 (2.5, 2.5) 并且它的 size 是 (3.0, 3.0) // centerRect 的 origin 是 (2.5, 2.5) 并且它的 size 是 (3.0, 3.0)
``` ```
> 注意 > 注意
> >
> 如果你通过扩展提供一个新的构造器,你有责任确保每个通过该构造器创建的实例都是初始化完整的。 > 如果你通过扩展提供一个新的构造器,你有责任确保每个通过该构造器创建的实例都是初始化完整的。
## 方法 ## 方法
扩展可以给现有类型添加新的实例方法和类方法。在下面的例子中,给 **Int** 类型添加了一个新的实例方法叫做 **repetitions**
扩展可以给现有类型添加新的实例方法和类方法。在下面的例子中,给 `Int` 类型添加了一个新的实例方法叫做 `repetitions`
```swift ```swift
extension Int { extension Int {
@ -148,9 +152,9 @@ extension Int {
} }
``` ```
**repetitions(task:)** 方法仅接收一个 **() -> Void** 类型的参数,它表示一个没有参数没有返回值的方法。 `repetitions(task:)` 方法仅接收一个 `() -> Void` 类型的参数,它表示一个没有参数没有返回值的方法。
定义了这个扩展之后,你可以对任意整形数值调用 **repetitions(task:)** 方法,来执行对应次数的任务: 定义了这个扩展之后,你可以对任意整形数值调用 `repetitions(task:)` 方法,来执行对应次数的任务:
```swift ```swift
3.repetitions { 3.repetitions {
@ -159,12 +163,13 @@ extension Int {
// Hello! // Hello!
// Hello! // Hello!
// Hello! // Hello!
``` ```
### 可变实例方法 ### 可变实例方法
通过扩展添加的实例方法同样也可以修改(或 *mutating(改变)*)实例本身。结构体和枚举的方法,若是可以修改 **self** 或者它自己的属性,则必须将这个实例方法标记为 **mutating**,就像是改变了方法的原始实现。
在下面的例子中,对 Swift **Int** 类型添加了一个新的 mutating 方法,叫做 **square**,它将原始值求平方: 通过扩展添加的实例方法同样也可以修改(或 *mutating改变*)实例本身。结构体和枚举的方法,若是可以修改 `self` 或者它自己的属性,则必须将这个实例方法标记为 `mutating`,就像是改变了方法的原始实现。
在下面的例子中,对 Swift 的 `Int` 类型添加了一个新的 mutating 方法,叫做 `square`,它将原始值求平方:
```swift ```swift
extension Int { extension Int {
@ -175,15 +180,16 @@ extension Int {
var someInt = 3 var someInt = 3
someInt.square() someInt.square()
// someInt 现在是 9 // someInt 现在是 9
``` ```
## 下标 ## 下标
扩展可以给现有的类型添加新的下标。下面的例子中,对 Swift **Int** 类型添加了一个整数类型的下标。下标 **[n]** 从数字右侧开始,返回小数点后的第 **n** 位:
- **123456789[0]** returns **9** 扩展可以给现有的类型添加新的下标。下面的例子中,对 Swift 的 `Int` 类型添加了一个整数类型的下标。下标 `[n]` 从数字右侧开始,返回小数点后的第 `n` 位:
- **123456789[1]** returns **8**
……以此类推: - `123456789[0]` 返回 `9`
- `123456789[1]` 返回 `8`
……以此类推:
```swift ```swift
extension Int { extension Int {
subscript(digitIndex: Int) -> Int { subscript(digitIndex: Int) -> Int {
@ -195,25 +201,26 @@ extension Int {
} }
} }
746381295[0] 746381295[0]
// returns 5 // 返回 5
746381295[1] 746381295[1]
// returns 9 // 返回 9
746381295[2] 746381295[2]
// returns 2 // 返回 2
746381295[8] 746381295[8]
// returns 7 // 返回 7
``` ```
如果操作的 **Int** 值没有足够的位数满足所请求的下标,那么下标的现实将返回 **0**,将好像在数字的左边补上了 0 如果操作的 `Int` 值没有足够的位数满足所请求的下标,那么下标的现实将返回 `0`,将好像在数字的左边补上了 0
```swift ```swift
746381295[9] 746381295[9]
// 返回 0就好像你进行了这个请求 // 返回 0就好像你进行了这个请求
0746381295[9] 0746381295[9]
``` ```
## 嵌套类型 ## 嵌套类型
扩展可以给现有的类,结构体,还有枚举添加新的嵌套类型:
扩展可以给现有的类,结构体,还有枚举添加新的嵌套类型:
```swift ```swift
extension Int { extension Int {
@ -231,13 +238,13 @@ extension Int {
} }
} }
} }
``` ```
这个例子给 **Int** 添加了一个新的嵌套枚举。这个枚举叫做 **Kind**,表示特定整数所代表的数字类型。具体来说,它表示数字是负的、零的还是正的。 这个例子给 `Int` 添加了一个新的嵌套枚举。这个枚举叫做 `Kind`,表示特定整数所代表的数字类型。具体来说,它表示数字是负的、零的还是正的。
这个例子同样给 **Int** 添加了一个新的计算型实例属性,叫做 **kind**,它返回被操作整数所对应的 **Kind** 枚举 case 分支。 这个例子同样给 `Int` 添加了一个新的计算型实例属性,叫做 `kind`,它返回被操作整数所对应的 `Kind` 枚举 case 分支。
现在,任意 **Int** 的值都可以使用这个嵌套类型: 现在,任意 `Int` 的值都可以使用这个嵌套类型:
```swift ```swift
func printIntegerKinds(_ numbers: [Int]) { func printIntegerKinds(_ numbers: [Int]) {
@ -257,10 +264,8 @@ printIntegerKinds([3, 19, -27, 0, -6, 0, 7])
// 打印“+ + - 0 - 0 + ” // 打印“+ + - 0 - 0 + ”
``` ```
方法 **printIntegerKinds(_:)**,使用一个 **Int** 类型的数组作为输入,然后依次迭代这些值。对于数组中的每一个整数,方法会检查它的 **kind** 计算型属性,然后打印适当的描述。 方法 `printIntegerKinds(_:)`,使用一个 `Int` 类型的数组作为输入,然后依次迭代这些值。对于数组中的每一个整数,方法会检查它的 `kind` 计算型属性,然后打印适当的描述。
> 注意 > 注意
> >
> **number.kind** 已经被认为是 **Int.Kind** 类型。所以,在 **switch** 语句中所有的 **Int.Kind** case 分支可以被缩写,就像使用 **.negative** 替代 **Int.Kind.negative.** > `number.kind` 已经被认为是 `Int.Kind` 类型。所以,在 `switch` 语句中所有的 `Int.Kind` case 分支可以被缩写,就像使用 `.negative` 替代 `Int.Kind.negative.`

View File

@ -72,7 +72,7 @@ struct Person: FullyNamed {
var fullName: String var fullName: String
} }
let john = Person(fullName: "John Appleseed") let john = Person(fullName: "John Appleseed")
// john.fullName 为 "John Appleseed" // john.fullName 为John Appleseed
``` ```
这个例子中定义了一个叫做 `Person` 的结构体,用来表示一个具有名字的人。从第一行代码可以看出,它遵循了 `FullyNamed` 协议。 这个例子中定义了一个叫做 `Person` 的结构体,用来表示一个具有名字的人。从第一行代码可以看出,它遵循了 `FullyNamed` 协议。
@ -94,7 +94,7 @@ class Starship: FullyNamed {
} }
} }
var ncc1701 = Starship(name: "Enterprise", prefix: "USS") var ncc1701 = Starship(name: "Enterprise", prefix: "USS")
// ncc1701.fullName 是 "USS Enterprise" // ncc1701.fullName 是USS Enterprise
``` ```
`Starship` 类把 `fullName` 属性实现为只读的计算型属性。每一个 `Starship` 类的实例都有一个名为 `name` 的非可选属性和一个名为 `prefix` 的可选属性。 当 `prefix` 存在时,计算型属性 `fullName` 会将 `prefix` 插入到 `name` 之前,从而为星际飞船构建一个全名。 `Starship` 类把 `fullName` 属性实现为只读的计算型属性。每一个 `Starship` 类的实例都有一个名为 `name` 的非可选属性和一个名为 `prefix` 的可选属性。 当 `prefix` 存在时,计算型属性 `fullName` 会将 `prefix` 插入到 `name` 之前,从而为星际飞船构建一个全名。
@ -659,7 +659,7 @@ func beginConcert(in location: Location & Named) {
let seattle = City(name: "Seattle", latitude: 47.6, longitude: -122.3) let seattle = City(name: "Seattle", latitude: 47.6, longitude: -122.3)
beginConcert(in: seattle) beginConcert(in: seattle)
// Prints "Hello, Seattle!" // 打印“Hello, Seattle!
``` ```
`beginConcert(in:)` 方法接受一个类型为 `Location & Named` 的参数,这意味着“任何 Location 的子类,并且遵循 Named 协议”。例如City 就满足这样的条件。 `beginConcert(in:)` 方法接受一个类型为 `Location & Named` 的参数,这意味着“任何 Location 的子类,并且遵循 Named 协议”。例如City 就满足这样的条件。
@ -753,7 +753,7 @@ for object in objects {
```swift ```swift
@objc protocol CounterDataSource { @objc protocol CounterDataSource {
@objc optional func incrementForCount(count: Int) -> Int @objc optional func increment(forCount count: Int) -> Int
@objc optional var fixedIncrement: Int { get } @objc optional var fixedIncrement: Int { get }
} }
``` ```
@ -771,7 +771,7 @@ class Counter {
var count = 0 var count = 0
var dataSource: CounterDataSource? var dataSource: CounterDataSource?
func increment() { func increment() {
if let amount = dataSource?.incrementForCount?(count) { if let amount = dataSource?.increment?(forCount: count) {
count += amount count += amount
} else if let amount = dataSource?.fixedIncrement { } else if let amount = dataSource?.fixedIncrement {
count += amount count += amount
@ -917,7 +917,6 @@ extension Collection where Element: Equatable {
如果集合中的所有元素都一致,`allEqual()` 方法才返回 `true` 如果集合中的所有元素都一致,`allEqual()` 方法才返回 `true`
看看两个整数数组,一个数组的所有元素都是一样的,另一个不一样: 看看两个整数数组,一个数组的所有元素都是一样的,另一个不一样:
```swift ```swift

View File

@ -70,7 +70,7 @@ let combinedbits = someBits | moreBits // 等于 11111110
![Art/bitwiseXOR_2x.png](https://docs.swift.org/swift-book/_images/bitwiseXOR_2x.png) ![Art/bitwiseXOR_2x.png](https://docs.swift.org/swift-book/_images/bitwiseXOR_2x.png)
在下面的示例当中,`firstBits``otherBits` 都有一个自己为 `1`,而对方为 `0` 的位。按位异或运算符将新数的这两个位都设置为 `1`。在其余的位上 `firstBits``otherBits` 是相同的,所以设置为 `0` 在下面的示例当中,`firstBits``otherBits` 都有一个自己为 `1`,而对方为 `0` 的位。按位异或运算符将新数的这两个位都设置为 `1`。在其余的位上 `firstBits``otherBits` 是相同的,所以设置为 `0`
```swift ```swift
let firstBits: UInt8 = 0b00010100 let firstBits: UInt8 = 0b00010100
@ -207,7 +207,7 @@ unsignedOverflow = unsignedOverflow &+ 1
![Art/overflowAddition_2x.png](https://docs.swift.org/swift-book/_images/overflowAddition_2x.png) ![Art/overflowAddition_2x.png](https://docs.swift.org/swift-book/_images/overflowAddition_2x.png)
当允许对一个无符号整数进行下溢运算时也会产生类似的情况。这里有一个使用溢出减法运算符(`&-`)的例子: 当允许对一个无符号整数进行下溢运算时也会产生类似的情况。这里有一个使用溢出减法运算符(`&-`)的例子:
```swift ```swift
var unsignedOverflow = UInt8.min var unsignedOverflow = UInt8.min
@ -257,7 +257,7 @@ signedOverflow = signedOverflow &- 1
但是正确答案是 `17` 而不是 `5`。优先级高的运算符要先于优先级低的运算符进行计算。与 C 语言类似,在 Swift 中,乘法运算符(`*`)与取余运算符(`%`)的优先级高于加法运算符(`+`)。因此,它们的计算顺序要先于加法运算。 但是正确答案是 `17` 而不是 `5`。优先级高的运算符要先于优先级低的运算符进行计算。与 C 语言类似,在 Swift 中,乘法运算符(`*`)与取余运算符(`%`)的优先级高于加法运算符(`+`)。因此,它们的计算顺序要先于加法运算。
而乘法运算与取余运算的优先级*相同*。这时为了得到正确的运算顺序,还需要考虑结合性。乘法运算与取余运算都是左结合的。可以将这考虑成,从它们的左边开始为这两部分表达式都隐式地加上括号: 而乘法运算与取余运算的优先级*相同*。这时为了得到正确的运算顺序,还需要考虑结合性。乘法运算与取余运算都是左结合的。可以将这考虑成,从它们的左边开始为这两部分表达式都隐式地加上括号:
```swift ```swift
2 + ((3 % 4) * 5) 2 + ((3 % 4) * 5)
@ -275,9 +275,9 @@ signedOverflow = signedOverflow &- 1
2 + 15 2 + 15
``` ```
因此计算结果为 `17` 因此计算结果为 `17`
有关 Swift 标准库提供的操作符信息,包括操作符优先级组和结核性设置的完整列表,请参见[操作符声明](https://developer.apple.com/documentation/swift/swift_standard_library/operator_declarations)。 有关 Swift 标准库提供的操作符信息,包括操作符优先级组和结核性设置的完整列表,请参见[操作符声明](https://developer.apple.com/documentation/swift/swift_standard_library/operator_declarations)。
> 注意 > 注意
> >
@ -351,9 +351,9 @@ let alsoPositive = -negative
<a name="compound_assignment_operators"></a> <a name="compound_assignment_operators"></a>
### 复合赋值运算符 ### 复合赋值运算符
*复合赋值运算符*将赋值运算符(`=`)与其它运算符进行结合。例如,将加法与赋值结合成加法赋值运算符(`+=`)。在实现的时候,需要把运算符的左参数设置成 `inout` 类型,因为这个参数的值会在运算符函数内直接被修改。 *复合赋值运算符*将赋值运算符(`=`)与其它运算符进行结合。例如,将加法与赋值结合成加法赋值运算符(`+=`)。在实现的时候,需要把运算符的左参数设置成 `inout` 类型,因为这个参数的值会在运算符函数内直接被修改。
在下面的例子中,对 `Vector2D` 实例实现了一个加法赋值运算符函数: 在下面的例子中,对 `Vector2D` 实例实现了一个加法赋值运算符函数:
```swift ```swift
extension Vector2D { extension Vector2D {
@ -391,7 +391,7 @@ extension Vector2D: Equatable {
} }
``` ```
上述代码实现了“相等”运算符(`==`)来判断两个 `Vector2D` 实例是否相等。对于 `Vector2D` 来说,“相等”意味着“两个实例的 `x``y` 都相等”,这也是代码中用来进行判等的逻辑。如果你已经实现了“相等”运算符,通常情况下你并不需要自己再去实现“不等”运算符(`!=`)。标准库对于“不等”运算符提供了默认的实现,它简单地将“相等”运算符的结果进行取反后返回。 上述代码实现了“相等”运算符(`==`)来判断两个 `Vector2D` 实例是否相等。对于 `Vector2D` 来说,“相等”意味着“两个实例的 `x``y` 都相等”,这也是代码中用来进行判等的逻辑。如果你已经实现了“相等”运算符,通常情况下你并不需要自己再去实现“不等”运算符(`!=`)。标准库对于“不等”运算符提供了默认的实现,它简单地将“相等”运算符的结果进行取反后返回。
现在我们可以使用这两个运算符来判断两个 `Vector2D` 实例是否相等: 现在我们可以使用这两个运算符来判断两个 `Vector2D` 实例是否相等: