协议

协议定义了一个方法的蓝图,属性和其他适合特定任务或功能的要求。协议实际上并不提供一个这些要求的实现,它只是描述了一个实现会是什么样子。协议可以通过一个类,结构或枚举提供这些要求的具体实现。满足要求的任何类型的协议都是符合协议。

协议可以要求符合类型有特定的实例属性,实例方法,类型丰富,操作符和下标。

协议的语法

定义协议与定义类,结构,枚举非常相似

  1. protocol SomeProtocol {
  2. // protocol definition goes here
  3. }

定制类型状态,他们采用一种特定的协议,通过将协议名方在类型名之后,用冒号分割,当作定义的一部分。可以列出多个协议,由逗号分隔:

  1. struct SomeStructure: FirstProtocol, AnotherProtocol {
  2. // protocol definition goes here
  3. }

如果一个类有父类,在任何协议之前列出父类名,后跟一个逗号:

  1. class SomeClass: SomeSuperclass, FirstProtocol, AnotherProtocol {
  2. // protocol definition goes here
  3. }

属性要求

一个协议可以要求任何符合类型提供一个实例属性或类型属性与一个特定的名称和类型。协议不指定是否该属性应该是一个存储属性或者计算属性—它只指定所需的属性名称和类型。协议还制定是否每个属性必须可获取或可获取和可设置。

如果一个协议需要一个属性是可获取和可设置的,那么一个常量存储属性或一个只读的计算属性是无法满足此属性要求的。如果协议之需要一个属性是可获取的,那么任何类型的属性都能满足此要求,并且如果这对你代码有用,它同样是有效的,也是可设置的。

属性要求总是声明为变量属性,用var关键字做前缀。可获取和可设置属性是通过在他们类型声明后编写{ get set }方法,并且可获取属性是通过编写{ get }方法。

  1. protocol SomeProtocol {
  2. var mustBeSettable: Int { get set }
  3. var doesNotNeedToBeSettable: Int { get }
  4. }

当你在协议中定义他们时,总是要在类型属性要求前加class关键字作为前缀。即使它被结构或枚举实现时,类型属性要求使用static关键词做前缀也是一样。

  1. protocol FullyNamed {
  2. var fullName: String { get }
  3. }

FullyNamed协议定义了任何类型的事情都有一个完整限定名称。它不指定它必须是什么样的事情—它只指定此事必须给自己提供一个完整的名称。它指定这一要求,规定任何FullyNamed类型必须有一个可获得实例属性fullName,而且是String类型

这里有一个结构简单的例子,采用符合FullyNamed协议的

  1. struct Person: FullyNamed {
  2. var fullName: String
  3. }
  4. let john = Person(fullName: "John Appleseed")
  5. // john.fullName is "John Appleseed"

此例定义了一个叫Person的结构,其代表一个特定名字的人。它规定 采用FullyNamed协议当作其定义部分的第一行。

每个Person实例都有一个单独的存储属性fullName,且类型为String。这符合FullyNamed协议的要求,这意味着Person协议有正确符合协议。(如果在编译时不满足协议要求,Swift会报出一个错误)

这里有一个更复杂的类,它也采用并符合FullyNamed协议:

  1. class Starship: FullyNamed {
  2. var prefix: String?
  3. var name: String
  4. init(name: String, prefix: String? = nil) {
  5. self.name = name
  6. self.prefix = prefix
  7. }
  8. var fullName: String {
  9. return (prefix ? prefix! + " " : "") + name
  10. }
  11. }
  12. var ncc1701 = Starship(name: "Enterprise", prefix: "USS")
  13. // ncc1701.fullName is "USS Enterprise"

此类实现了fullName属性要求作为Starship的只读计算属性。每个Starship类实例存储一个强制性的name和一个可选的prefix。如果fullName存在就是用prefix,并且提前准备以name开头去创建Starship的全名。

方法要求

协议可以要求指定实例方法和类型方法被一致的类型实现。这些方法被写为协议定义的一部分,跟普通实例和类型方法完全一样,但是没有大括号或方法体。可变参数是允许的,普通方法也遵循同样的规则。

注意
协议为普通方法使用相同的语法,但不允许给方法参数指定默认值。

同类型属性需求,当他们被定义到协议中时,总是需要在方法需求前加class关键字前缀。即使它被结构或枚举实现时,类型属性要求使用static关键词做前缀也是一样。

  1. protocol SomeProtocol {
  2. class func someTypeMethod()
  3. }

下面的例子定义了一个单个实例方法要求的协议:

  1. protocol RandomNumberGenerator {
  2. func random() -> Double
  3. }

RandomNumberGenerator协议要求任何符合类型都有一个叫做random的实例方法,在任何被调用时候都返回一个Double值。(尽管它没有指定其作为协议的一部分,认为此值是在0.0到1.0之间的数字。)

RandomNumberGenerator协议不做关于每个随机数是如何生成的假设—它仅要求生成器提供一个标准的方式去生成一个随机数。

这里有一个符合RandomNumberGenerator协议的实现类。此类实现了一种伪随机数生成器算法称为线性同余生成器。

  1. class LinearCongruentialGenerator: RandomNumberGenerator {
  2. var lastRandom = 42.0
  3. let m = 139968.0
  4. let a = 3877.0
  5. let c = 29573.0
  6. func random() -> Double {
  7. lastRandom = ((lastRandom * a + c) % m)
  8. return lastRandom / m
  9. }
  10. }
  11. let generator = LinearCongruentialGenerator()
  12. println("Here's a random number: \(generator.random())")
  13. // prints "Here's a random number: 0.37464991998171"
  14. println("And another one: \(generator.random())")
  15. // prints "And another one: 0.729023776863283"
  16. Mutating Method Requirements

Mutating方法要求

有时需要一个方法来修改它属于(或mutate)的实例。对值类型实例方法(即结构和枚举),你将mutating关键字放在方法func关键字之前表明该方法允许修改所属实例和/或实例的任何属性。这个过程描述在实例方法内修改值类型

如果你定义一个协议实例方法要求旨在改变采用此协议的任何类型实例,标记有mutating关键字的方法为协议定义的一部分。这使得结构和枚举采用协议并满足此方法要求。

注意
如果你标记一个协议实例方法需求作为mutating, 当为一个类写此方法的实现时,你不需要写mutating关键字。mutating关键字只用于结构和枚举。

下例定义了一个叫做Togglable的协议,它定义了一个简单的实例方法要求叫做toggle。正如其名,toggle方法旨在切换或转换任何符合类型的状态,通常通过修改类型的属性。

toggle方法使用mutating关键字标记作为Togglable协议定义的一部分,当它被调用时表明该方法有望改变符合实例的状态。

  1. protocol Togglable {
  2. mutating func toggle()
  3. }

当你实现Togglable协议结构或枚举,实现的结构或枚举可以通过提供同样标记为mutating,名为toggle的方法实现来符合协议。

下例定义一个叫做OnOffSwitch的枚举。此枚举在两个状态间切换,用枚举cases OnOff表示.枚举的toggle实现也标记为mutating,以匹配Togglable协议的要求。

  1. enum OnOffSwitch: Togglable {
  2. case Off, On
  3. mutating func toggle() {
  4. switch self {
  5. case Off:
  6. self = On
  7. case On:
  8. self = Off
  9. }
  10. }
  11. }
  12. var lightSwitch = OnOffSwitch.Off
  13. lightSwitch.toggle()
  14. // lightSwitch is now equal to .On
  15. Protocols as Types

协议类型

协议本身实际上没有实现任何功能。尽管如此,你创建的任何协议将成为一个成熟的类型在你的代码中使用。

因为它是一个类型,你可以在许多其他类型被允许的地方使用一个协议。包括:

  • 作为函数,方法或初始化中的一个参数类型或返回类型。
  • 作为常量,变量或属性的类型
  • 作为一个数组项,字典或其他容器的类型

注意
因为Swift中的类型名(如Int、String和Double)以大写字母开头,所以协议类型的名称也以大写字母开头(如FullyNamedRandomNumberGenerator

这是协议作为类型的一个例子:

  1. class Dice {
  2. let sides: Int
  3. let generator: RandomNumberGenerator
  4. init(sides: Int, generator: RandomNumberGenerator) {
  5. self.sides = sides
  6. self.generator = generator
  7. }
  8. func roll() -> Int {
  9. return Int(generator.random() * Double(sides)) + 1
  10. }
  11. }

此例定义了一个新类Dice,代表了一个在棋盘游戏中使用的多面骰子。Dice实例有一个叫sides的整型属性,其代表了有多少面,一个叫generator的属性,提供了在创建骰子滚动值的一个随机数字生成器。

generator属性是RandomNumberGenerator属性。然后,可以设置为采用RandomNumberGenerator协议的任何类型的一个实例。除了必须采用RandomNumberGenerator协议外,不需要指定别的该实例的属性。

Dice也有初始化去设置它的初识状态。这个初始化参数成为generator,其类型也是RandomNumberGenerator。当初始化一个新的Dice实例,你可以传递一个任何符合输入该参数的值。

Dice提供了一个叫做roll的实例方法,其返回一个整数值,范围在1和Dice的属性sides之间。此方法调用生成器的random方法创建一个在0.0到1.0之间的随机数字,并且使用这个随机数去创建一个在正确范围内的骰子滚动值。因为generator是引用RandomNumberGenerator,其保证有一个random方法调用。

这里有一个Dice类可以用于创建六面骰子且使用LinearCongruentialGenerator实例作为随机数生成器:

  1. var d6 = Dice(sides: 6, generator: LinearCongruentialGenerator())
  2. for _ in 1...5 {
  3. println("Random dice roll is \(d6.roll())")
  4. }
  5. // Random dice roll is 3
  6. // Random dice roll is 5
  7. // Random dice roll is 4
  8. // Random dice roll is 5
  9. // Random dice roll is 4

委托

委托是一种设计模式,它使得一个类或结构可以自身的一些职责交给(或委托)另外类型的实例。该设计模式通过定义一个协议封装委托职责实现的,这样符合类型(称为委托)保证了提供已经授权的功能。委托可以用于相应一个特定的动作,或从外部源检索数据,而不需要了解来源的底层类型。

下面定义了两个协议用于基于骰子的棋盘游戏:

  1. protocol DiceGame {
  2. var dice: Dice { get }
  3. func play()
  4. }
  5. protocol DiceGameDelegate {
  6. func gameDidStart(game: DiceGame)
  7. func game(game: DiceGame, didStartNewTurnWithDiceRoll diceRoll: Int)
  8. func gameDidEnd(game: DiceGame)
  9. }

DiceGame协议是一个可以被任何涉及骰子游戏采用的协议。DiceGameDelegate协议可以被任何跟踪DiceGame进度的类型采用。

这里有一个在最初介绍控制流时的SnakesLadders游戏的版本。这个版本适合使用Dice实例是因为滚动骰子,采用DiceGame协议,并对DiceGameDelegate通知其进展。

  1. class SnakesAndLadders: DiceGame {
  2. let finalSquare = 25
  3. let dice = Dice(sides: 6, generator: LinearCongruentialGenerator())
  4. var square = 0
  5. var board: Int[]
  6. init() {
  7. board = Int[](count: finalSquare + 1, repeatedValue: 0)
  8. board[03] = +08; board[06] = +11; board[09] = +09; board[10] = +02
  9. board[14] = -10; board[19] = -11; board[22] = -02; board[24] = -08
  10. }
  11. var delegate: DiceGameDelegate?
  12. func play() {
  13. square = 0
  14. delegate?.gameDidStart(self)
  15. gameLoop: while square != finalSquare {
  16. let diceRoll = dice.roll()
  17. delegate?.game(self, didStartNewTurnWithDiceRoll: diceRoll)
  18. switch square + diceRoll {
  19. case finalSquare:
  20. break gameLoop
  21. case let newSquare where newSquare > finalSquare:
  22. continue gameLoop
  23. default:
  24. square += diceRoll
  25. square += board[square]
  26. }
  27. }
  28. delegate?.gameDidEnd(self)
  29. }
  30. }

SnakesLadders游戏的描述见控制流章节的跳出部分。

这个游戏版本被封装为一个叫做SnakesAndLadders的类,其采用DiceGame协议。它提供了一个获取dice属性和一个符合协议的play方法。(Dice属性声明为一个常量属性,因为它不需要在初始化后改变,并且协议只需要是能得到的。)

SnakesLadders游戏板设置在类的init()方法内进行初始化。所有游戏逻辑进入到协议的play方法,它使用协议必须的dice属性提供骰子滚动值。

注意,delegate属性被定义为的一个可选DiceGameDelegate,因为玩游戏委托不是必须的。因为它是一个可选的类型,delegate属性自动设置一个初始值nil。此后,游戏实例可以选择设置属性为一个合适的委托。

DiceGameDelegate提供三个方法来跟踪一个游戏的进展。这三种方法已经被纳入上面play方法的游戏逻辑中,并且在游戏开始时被调用,至到一个新游戏开始或游戏结束。

因为delegate属性是一个可选的DiceGameDelegateplay方法是用Optional链每当在委托中调用一个方法。如果delegate属性是nil,这些委托优雅的调用失败并不报错。如果delegate属性是non-nil,委托方法被调用并且通过SnakesAndLadders实例的参数传递。

下一个示例展示了一个称为DiceGameTracker的类,其采用了DiceGameDelegate协议。

  1. class DiceGameTracker: DiceGameDelegate {
  2. var numberOfTurns = 0
  3. func gameDidStart(game: DiceGame) {
  4. numberOfTurns = 0
  5. if game is SnakesAndLadders {
  6. println("Started a new game of Snakes and Ladders")
  7. }
  8. println("The game is using a \(game.dice.sides)-sided dice")
  9. }
  10. func game(game: DiceGame, didStartNewTurnWithDiceRoll diceRoll: Int) {
  11. ++numberOfTurns
  12. println("Rolled a \(diceRoll)")
  13. }
  14. func gameDidEnd(game: DiceGame) {
  15. println("The game lasted for \(numberOfTurns) turns")
  16. }
  17. }

DiceGameTracker实现了DiceGameDelegate所要求的所有三个方法。它使用这些方法来跟踪游戏所走步骤的数字。当游戏开始时它重置numberOfTurns属性为0;每一个新步骤开始就增加;当游戏结束打印出游戏的总圈数。

如上所示的gameDidStart实现使用游戏参数打印一些关于game即将扮演的介绍性信息。game参数有一个DiceGame类型,不是SnakesAndLadders,所以gameDidStart只能访问和使用实现了DiceGame协议一部分的方法和属性。然后,该方法仍然能够使用类型转换去查询底层实例的类型。在此例中,它检查game幕后实例是否是SnakesAndLadders,如果是就打印一个适当的消息。

gameDidStart同样可以访问dice属性和传入的game参数。因为game是符合DiceGame协议的,它确保拥有一个dice属性,所以gameDidStart方法能够访问并打印骰子的sides属性,不管什么样的game正在进行。

下面是DiceGameTracker执行步骤:

  1. let tracker = DiceGameTracker()
  2. let game = SnakesAndLadders()
  3. game.delegate = tracker
  4. game.play()
  5. // Started a new game of Snakes and Ladders
  6. // The game is using a 6-sided dice
  7. // Rolled a 3
  8. // Rolled a 5
  9. // Rolled a 4
  10. // Rolled a 5
  11. // The game lasted for 4 turns

使用扩展补充协议一致性

你可以扩展现有类型去采用和符合新协议,即时你没有访问现有类型的源代码。扩展可以添加新属性,方法和下标到现有类型,因此能够添加任何协议可能需要的要求。更多关于扩展,见扩展

注意
当这种一致性被添加到一个扩展的实例类型时,现有类型的实例自动采用并符合协议

例如,这个称为TextRepresentable的协议,可以实现任何类型,一种是用于文本表示。这可能是本身的描述,或是一个文本当前状态的版本。

  1. protocol TextRepresentable {
  2. func asText() -> String
  3. }

Dice从前面可以被扩展去采用并符合TextRepresentable

  1. extension Dice: TextRepresentable {
  2. func asText() -> String {
  3. return "A \(sides)-sided dice"
  4. }
  5. }

这个扩展采用新的协议以完全相同的方式好像Dice提供了最初的实现。协议名在类型名后,用冒号分割,所有协议需求的实现在花括号内提供。

现在任何Dice实例都可以被视为TextRepresentable:

  1. let d12 = Dice(sides: 12, generator: LinearCongruentialGenerator())
  2. println(d12.asText())
  3. // prints "A 12-sided dice"

同样,SnakesAndLadders游戏类可以被扩展去采用并符合TextRepresentable协议:

  1. extension SnakesAndLadders: TextRepresentable {
  2. func asText() -> String {
  3. return "A game of Snakes and Ladders with \(finalSquare) squares"
  4. }
  5. }
  6. println(game.asText())
  7. // prints "A game of Snakes and Ladders with 25 squares"

采用扩展声明协议

如果一个类型已经符合协议的所有要求,但尚未指定其采用的协议,你就可以使用一个空扩展使它采用协议。

  1. struct Hamster {
  2. var name: String
  3. func asText() -> String {
  4. return "A hamster named \(name)"
  5. }
  6. }
  7. extension Hamster: TextRepresentable {}

Hamster实例现在可以被用到任何需要TextRepresentable类型的地方:

  1. let simonTheHamster = Hamster(name: "Simon")
  2. let somethingTextRepresentable: TextRepresentable = simonTheHamster
  3. println(somethingTextRepresentable.asText())
  4. // prints "A hamster named Simon"

注意
类型不自动采用协议只是通过满足其要求。他们必须显示的声明他们要采用的协议。

协议类型的集合

协议可以被用于类型并存储在集合中,比如数组或字典,就像在 协议类型提到的。下例创建一个TextRepresentable数组:

  1. let things: TextRepresentable[] = [game, d12, simonTheHamster]

现在可以迭代数组中的项,并打印每个条目的文本表示:

  1. for thing in things {
  2. println(thing.asText())
  3. }
  4. // A game of Snakes and Ladders with 25 squares
  5. // A 12-sided dice
  6. // A hamster named Simon

注意TextRepresentable类型的thing常量。它不是DiceDiceGameHamster类型,即时实际实例幕后是其中的一个类型。尽管如此,因为它是TextRepresentable类型,众所周知,TextRepresentable有一个asText方法,循环中每次调用thing.asText是安全的。

协议继承

一个协议可以继承一个或多个其他协议,可以添加进一步的需求在其继承的需求之上。协议继承的语法类似于类继承的语法,但是选项需列出多个继承协议,并用逗号分隔。

  1. protocol InheritingProtocol: SomeProtocol, AnotherProtocol {
  2. // protocol definition goes here
  3. }

下例是一个继承自TextRepresentable协议的例子:

  1. protocol PrettyTextRepresentable: TextRepresentable {
  2. func asPrettyText() -> String
  3. }

这里例子定义了一个新协议PrettyTextRepresentable,它继承自TextRepresentable。任何采用PrettyTextRepresentable必须满足由TextRepresentable强制执行的所有要求,加上额外由PrettyTextRepresentable强制执行的需求。在此例中PrettyTextRepresentable添加一个单一的需求提供一个叫做asPrettyText的实力方法并返回一个String

SnakesAndLadders类可以被扩展去采用并符合PrettyTextRepresentable协议:

  1. extension SnakesAndLadders: PrettyTextRepresentable {
  2. func asPrettyText() -> String {
  3. var output = asText() + ":\n"
  4. for index in 1...finalSquare {
  5. switch board[index] {
  6. case let ladder where ladder > 0:
  7. output += "▲ "
  8. case let snake where snake < 0:
  9. output += "▼ "
  10. default:
  11. output += "○ "
  12. }
  13. }
  14. return output
  15. }
  16. }

这个扩展声明它采用 PrettyTextRepresentable协议并提供了SnakesAndLadders类型协议asPrettyText方法的实现。任何PrettyTextRepresentable类型必须是TextRepresentable类型,所以asPrettyText实现首先调用TextRepresentable协议的asText方法开始输出字符串。字符串后面跟一个冒号和一个换行符,使用这个作为这个漂亮的文本表示的开始,然后遍历这个数组的方块,每个方块跟一个表情符号表示。

  • 如果方块的值大于0,它是ladder的基础,由 ▲ 表示。
  • 如果方块的值小于0,它是snake的头,由 ▼ 表示。
  • 如果方块的值等于0,它是未使用的方块,由 ○ 表示。

此方法实现现在可以被用于打印任何一个SnakesAndLadders实例的漂亮的文本描述:

  1. println(game.asPrettyText())
  2. // A game of Snakes and Ladders with 25 squares:
  3. // ○ ○ ▲ ○ ○ ▲ ○ ○ ▲ ▲ ○ ○ ○ ▼ ○ ○ ○ ○ ▼ ○ ○ ▼ ○ ▼ ○

协议组合

协议组合对于要求一个类型立即符合多种协议是有用的。你可以将多个协议统一到一个协议组合的单一需求中。协议组合的形式为 protocol。你可以在一对尖括号 (<>)内尽量列出多个协议,并用逗号分隔。

下例是一个将两个分别叫做NamedAged协议统一到一个单一的协议组合需求中并被当作一个函数参数的例子:

  1. protocol Named {
  2. var name: String { get }
  3. }
  4. protocol Aged {
  5. var age: Int { get }
  6. }
  7. struct Person: Named, Aged {
  8. var name: String
  9. var age: Int
  10. }
  11. func wishHappyBirthday(celebrator: protocol<Named, Aged>) {
  12. println("Happy birthday \(celebrator.name) - you're \(celebrator.age)!")
  13. }
  14. let birthdayPerson = Person(name: "Malcolm", age: 21)
  15. wishHappyBirthday(birthdayPerson)
  16. // prints "Happy birthday Malcolm - you're 21!"

此例定义了一个叫做Named的协议,只有一个可获得,类型为Stringname属性。同样定义了一个叫做Aged的协议,只有一个可获得,类型为Intage属性。这两个协议都采用一个叫Person的结构。

此例还定义了一个叫做wishHappyBirthday的功能,改功能接受一个叫做celebrator的参数。此参数的类型是protocol,意味着“任何符合NamedAged这两个协议的类型”。对于具体传递的参数类型是什么没关系,只要它符合这两个必须的协议。

然后创建了一个叫做birthdayPersonPerson实例,并传递此新实例到wishHappyBirthday功能。因为Person符合这两个协议,这是一个有效的调用,wishHappyBirthday功能能够打印其生日问候。

注意
协议组合不定义一个新的,永久的协议类型。相反,他们定义了一个临时的本地协议,统一了组合中所有协议的需求。

检查协议一致性

你可以使用类型转换中描述的isas操作去检查协议一致性,并转换为一个指定的协议。检查并转换一个协议和检查并转换一个类型有完全相同的语法:

  • 如果一个实例符合协议并且不返回false,那么is操作返回true
  • as版本的向下转换操作返回此协议类型的*
  • 值,如果此实例不符合协议,那么此值是nil*。
  • 如果as版本向下转换操作强制向下转换为协议类型不成功,则触发运行错误。

下例定义了一个叫做HasArea的协议,只有一个可获得的,类型为Doublearea属性。

  1. @objc protocol HasArea {
  2. var area: Double { get }
  3. }

注意
你可以检查协议一致性,只有当你的协议是由@objc属性标记的,像上面HasArea协议展示的。该属性表明协议应该暴露为在通过Cocoa和Objective-C使用Swift描述的Objective-C代码。即使你不与Objective-C交互,如果你希望能够检查协议一致性,你仍然需要使用@objc标记你的协议。
还要注意使用@objc标记的协议只能通过类调用,不是结构或枚举。如果你使用@objc标记你的协议是为了检查协议一致性,你将只能应用此协议为class类型。

这里有两个类,CircleCountry,两者都符合HasArea协议:

  1. class Circle: HasArea {
  2. let pi = 3.1415927
  3. var radius: Double
  4. var area: Double { return pi * radius * radius }
  5. init(radius: Double) { self.radius = radius }
  6. }
  7. class Country: HasArea {
  8. var area: Double
  9. init(area: Double) { self.area = area }
  10. }

Circle类实现了area属性要求,并基于一个存储属性radius将此属性作为一个计算属性。Country类实现了area需求直接作为一个存储属性。两个类正确的符合了HasArea协议。

这里有一个不符合HasArea协议的Animal类:

  1. class Animal {
  2. var legs: Int
  3. init(legs: Int) { self.legs = legs }
  4. }

CircleCountryAnimal类没有一个共同的基类。尽管如此,他们都是类,所有三种类型的实力都可以用来初始化一个存储AnyObject类型值的数组。

  1. let objects: AnyObject[] = [
  2. Circle(radius: 2.0),
  3. Country(area: 243_610),
  4. Animal(legs: 4)
  5. ]

objects数组初始为一个迭代数组,包含一个半径为2的Circle实例;Country实例初始化为英国面积的平方公里;Animal实例初始化为有四条腿。

objects数组现在可以被迭代,并且数组中每个object都会被检查是否符合HasArea协议:

  1. for object in objects {
  2. if let objectWithArea = object as? HasArea {
  3. println("Area is \(objectWithArea.area)")
  4. } else {
  5. println("Something that doesn't have an area")
  6. }
  7. }
  8. // Area is 12.5663708
  9. // Area is 243610.0
  10. // Something that doesn't have an area

每当数组中的一个对象符合HasArea协议,as操作拆开optional绑定到一个叫objectWithArea的常量,其optional值会返回。objectWithArea常量是HasArea类型,所以area属性可以被以类型安全的方式访问并打印。

注意,底层对象在转换过程中没有改变。他们仍然是CircleCountryAnimal。然而,在存储在objectWithArea常量时,他们只知道是HasArea类型,所以他们的area属性可以被访问。

Optional协议要求

你可以为协议定义optional要求。这些要求不需要被符合协议的类型实现。Optional要求前缀使用@optional关键字作为协议定义的一部分。

一个optional协议要求可以被optional链调用,考虑到要求没有被符合协议的类型所实现这种可能性。关于optional链的信息,请参照Optional链

你通过在调用的要求名字后写一个问号来检查一个optional要求的实现,例如someOptionalMethod?(someArgument)Optional属性要求,以及optional方法要求返回一个值,当他们被访问或调用时,将始终返回适当的的类型的一个optional值,反映了一个optional要求可能没有被实现的事实。

注意
Optional协议要求只有在你的协议被@objc属性标记时指定。即使你不与Objective-C交互,如果你希望指定optional要求,你仍然需要使用@objc标记你的协议。
还要注意使用@objc标记的协议只能通过类调用,不是结构或枚举。如果你使用@objc标记你的协议是optional要求,你将只能应用此协议为class类型。

下例定义了一个integer-counting类,叫做Counter,它使用一个外部数据源来提供增量。这个数据源是CounterDataSource协议定义的,它有两个optional要求:

  1. @objc protocol CounterDataSource {
  2. @optional func incrementForCount(count: Int) -> Int
  3. @optional var fixedIncrement: Int { get }
  4. }

CounterDataSource协议定义了一个叫做incrementForCountoptional方法要求和一个叫做fixedIncrementoptional属性。这些需求定义了两个不同方式让数据源为Counter实例提供一个适当的增量。

注意
严格的说,你可以编写一个自定义类,只要符合CounterDataSource,不用实现协议的要求。毕竟这两者都是optional。尽管技术上是允许的,但这不会成为一个很好的数据源。

下例定义的Counter类,有一个optional的,类型为CounterDataSource?dataSource属性:

  1. @objc class Counter {
  2. var count = 0
  3. var dataSource: CounterDataSource?
  4. func increment() {
  5. if let amount = dataSource?.incrementForCount?(count) {
  6. count += amount
  7. } else if let amount = dataSource?.fixedIncrement? {
  8. count += amount
  9. }
  10. }
  11. }

Counter类将当前值存储在变量count中。Counter同样定义了一个方法increment,当每次此方法被调用时count变量增加。

increment方法首先尝试通过在其数据源中寻找incrementForCount的方法实现来增加一个数。increment方法使用optional链来调用incrementForCount,并将当前count值当作方法的单一参数传递。

注意在这里的两个不同级别的optional链。首先,dataSource有可能为nil,所以dataSource的名字后有一个问号标记表明incrementForCount只有dataSourcenon-nil时调用。其次,即使数据源存在,也不能保证它实现了incrementForCount,因为它是一个optional要求。这就是为什么incrementForCount的名字后面也加了一个问号。

因为incrementForCount调用可能失败的原因有两种,调用返回一个optionalint值。这是真的即使在CounterDataSource数据源中incrementForCount被定义为返回non-optionalint值。

调用incrementForCount后,optionalint返回打开成一个amount常量,使用optional绑定。如果optionalint包含一个值—换言之,如果委托和方法都存在,并且方法返回一个值—拆开的amount被添加到存储属性count,增量就完成了。

如果不可能从incrementForCount方法获取值—要么是因为dataSourcenil,要么是因为数据源没有实现incrementForCount—然后increment方法尝试从数据源fixedIncrement的属性获取一个值来代替。fixedIncrement属性也是一个optional要求,所以它的名字同样通过在其后加上问号来使用optional链,表明试图访问属性的值会失败。和之前一样,返回值是一个optionalint值,即使CounterDataSource协议定义fixedIncrementnon-optionalint属性。

这里有一个简单的CounterDataSource实现数据源每3次查询就返回一个常量值。它通过实现optionalfixedIncrement属性要求来达到。

  1. class ThreeSource: CounterDataSource {
  2. let fixedIncrement = 3
  3. }

你可以使用ThreeSource的实例作为一个新的Counter实例的数据源:

  1. var counter = Counter()
  2. counter.dataSource = ThreeSource()
  3. for _ in 1...4 {
  4. counter.increment()
  5. println(counter.count)
  6. }
  7. // 3
  8. // 6
  9. // 9
  10. // 12

上面的代码创建了一个Counter实例,设置它的数据源为一个新的ThreeSource实例,并调用counterincrement方法四次。正如所料,每次increment被调用Countercount属性就增加3。

这里有一个稍微复杂点的数据源叫TowardsZeroSource,它使得Counter实例的当前count值能从0开始向上或向下:

  1. class TowardsZeroSource: CounterDataSource {
  2. func incrementForCount(count: Int) -> Int {
  3. if count == 0 {
  4. return 0
  5. } else if count < 0 {
  6. return 1
  7. } else {
  8. return -1
  9. }
  10. }
  11. }

TowardsZeroSourceCounterDataSource协议实现了optionalincrementForCout方法并使用count参数值来算出把哪个方向计算在内。如果count已经为0,方法返回0表明没有进一步的计算发生。

你可以将Counter实例和TowardsZeroSource实例一起使用来从-4计算到0。一旦counter达到0,不在发生其他计算:

  1. counter.count = -4
  2. counter.dataSource = TowardsZeroSource()
  3. for _ in 1...5 {
  4. counter.increment()
  5. println(counter.count)
  6. }
  7. // -3
  8. // -2
  9. // -1
  10. // 0
  11. // 0