protocols - 如何扩展满足多重约束的协议(protocol) - Swift 2.0

Question

我试图提供协议(protocol)的默认实现，以便它可以满足其他协议(protocol)的多个约束。

给定以下协议(protocol):

public protocol Creature {
    var name: String { get }
    var canMove: Bool { get }
}

public protocol Animal: Creature {}

public protocol Moveable {
    var movingSpeed: Double { get set }
}

public protocol Agend {
    var aged: Int { get }
}

我可以使用 Self 上的单个条件进行扩展:

// all animals can move
extension Moveable where Self: Animal {
    public var canMove: Bool { return true }
}

但是如何设置约束来为同时符合 Animal 和 Aged 协议(protocol)的类型提供默认的 Moveable 实现呢？像下面这样的东西？或者 where 子句是否有一些“添加”“或”选项？

// Pseudocode which doesn't work
extension Moveable where Self: Animal && Self: Aged {
    public var canMove: Bool { return true }
}

Answer 1

您可以使用protocol composition :

extension Moveable where Self: protocol<Animal, Aged> {
    // ... 
}

或者只是逐个添加一致性:

extension Moveable where Self: Animal, Self: Aged {
    // ... 
}