Swift协议扩展覆盖

Question

我正在尝试使用Swift协议扩展，却发现这种行为令人困惑。您能帮我得到我想要的结果吗？请参阅代码最后4行的注释。（如果需要，可以将其复制粘贴到Xcode7游乐场）。谢谢！！//: Playground - noun: a place where people can playimport UIKitprotocol Color { }extension Color {  var color : String { return "Default color" } }protocol RedColor: Color { }extension RedColor { var color : String { return "Red color" } }protocol PrintColor {     func getColor() -> String}extension PrintColor where Self: Color {    func getColor() -> String {        return color    }}class A: Color, PrintColor { }class B: A, RedColor { }let colorA = A().color // is "Default color" - OKlet colorB = B().color // is "Red color" - OKlet a = A().getColor() // is "Default color" - OKlet b = B().getColor() // is "Default color" BUT I want it to be "Red color"

Answer 1

简短的答案是协议扩展不执行类多态性。这是有一定道理的，因为协议可以被结构体或枚举所采用，并且因为我们不希望仅在没有必要的地方采用协议来引入动态调度。

因此，在中getColor()，color实例变量（可能更准确地写为self.color）并不意味着您认为它会做什么，因为您正在以类多态的方式思考，而协议不是。所以这工作：

let colorB = B().color // is "Red color" - OK

...因为您要让一类学生解决问题color，但这并不能满足您的期望：

let b = B().getColor() // is "Default color" BUT I want it to be "Red color"

...因为该getColor方法完全在协议扩展中定义。您可以通过getColor在B中重新定义来解决此问题：

class B: A, RedColor {

    func getColor() -> String {

        return self.color

    }

}

现在，该类的getColor被调用了，它对什么self是一个多态的想法。

Answer 2

我设法得到它的工作通过定义color上Color和切换执行列表B.没有太多的好，如果B必须是一个A虽然。

protocol Color {

    var color : String { get }

}

protocol RedColor: Color {

}

extension Color {

    var color : String {

        get {return "Default color"}

    }

}

extension RedColor {

    var color : String {

        get {return "Red color"}

    }

}

protocol PrintColor {

    func getColor() -> String

}

extension PrintColor where Self: Color {

    func getColor() -> String {

        return color

    }

}

class A : Color, PrintColor {

}

class B : RedColor, PrintColor {

}

let a = A().getColor() // "Default color"

let b = B().getColor() // "Red color"