符合Swift协议的泛型类型

Question

是否有可能要求泛型类型的特定实例符合Swift中的协议？

例如，假设我有一个名为Thing<T>的泛型类型。 我希望Thing<Int>符合某个协议，但不符合Thing<T> 。

Answer 1

好吧，它可能不会太繁琐，而且你可能已经忽略了它，但你可以做一个“泛型类型的特定实例化” - 如下：

class ThingOfInt : Thing<Int>, SpecialIntProtocol {
 // implement SpecialIntProtocol (if it isn't already 
 // implemented in an extension)
}

或者更具普遍性：

class IntThing<T:IntegerType> : MyThing<T>, SpecialIntProtocol {
}

Answer 2

在Swift 2.0中，您可以扩展协议和类型

扩展它时，可以where约束条件下添加泛型。 只有符合该规则的类型才能使用该功能

示例 ：

public struct Thing<T> {
  let x: T
}

extension Thing where T : IntegerType {
  func giveMeInt () -> T {
    return x
  }
}

let a = Thing<Int>(x: 10)
a.giveMeInt()

let b = Thing(x: 10.1)
//b.giveMeInt() // Error

这样，您可以为Thing<Int>类型添加额外的功能

我不知道在扩展中遵循协议的方法，但它没有多大意义。

限制：通用where T :可以与协议和类一起使用，这就是为什么我们不能在那里指定Int

Answer 3

你可以做一些事情，比如使用where关键字并传递一个条件。 在Where子句部分下看到这一点https://developer.apple.com/library/mac/documentation/Swift/Conceptual/Swift_Programming_Language/Generics.html#//apple_ref/doc/uid/TP40014097-CH26-XID_275

class Thing<T : SomeProtocol where reflect(T).summary != "Int"> {
    ...
}