如何编写枚举类型的 Swift 泛型函数？

Question

使用 Swift，我想编写一个协议，指定实现类必须有一个函数，该函数接受一个枚举（它遵守给定的协议），其中枚举类型是一般指定的。我试过这个：

protocol Message {}

protocol Subscriber {
  func receive<T where T:Message>(message:T)
}

enum Greeting : Message {
  case Hello, Goodbye
}

class SomeObject : Subscriber {
  func receive<Greeting>(message: Greeting) {
    switch message {
    case .Hello:
      println("Hello")
    case .Goodbye:
      println("Goodbye")
    }
  }
}

编译失败，并在每个案例行显示消息“Enum case pattern cannot match values of the non-enum type 'Greeting'”。这似乎是因为订阅者协议期望的东西不比 Message 更专业，但我根据 Greeting 进行设置，虽然它实现了 Message，但更专业。 （我说的对吗？）

那么，请问我该怎么做？

Answer 1

泛型类型参数T 在Subscriber 的实现中应该仍然是泛型的。 您可以使用protocol Subscriber 中的typealias 执行您要求的操作，并对其强制执行Message 超类约束：

protocol Message {}

protocol Subscriber {
    typealias MessageType: Message
    func receive (message: MessageType)
}

enum Greeting : Message {
    case Hello, Goodbye
}

class SomeObject : Subscriber {
    typealias MessageType = Greeting

    func receive (message: MessageType) {
        switch message {
        case .Hello:
            println("Hello")
        case .Goodbye:
            println("Goodbye")
        }
    }
}

拥有一个通用的receive 会阻止您打开enum 字段：

protocol Message {}

protocol Subscriber {
    func receive <T: Message> (message: T)
}

enum Greeting : Message {
    case Hello, Goodbye
}

class SomeObject : Subscriber {
    func receive <T: Message> (message: T) {

    }
}

let obj = SomeObject()
obj.receive(Greeting.Hello)