Swift 泛型 T.Type 变为 T.Protocol

Question

斯威夫特 5.1

我正在编写一个具有泛型参数T 的类，它的一个方法接受一个类型作为参数，其中类型从T.Type 扩展。请参阅下面的foo1：

public protocol P {
}

public class C: P {
}

public class X<T> {
    public func foo1(_ t: T.Type) { // The function in question
    }

    public func foo2(_ t: P.Type) {  // Note that this works as expected, but is not generic
    }
}

public func test() {
    let x = X<P>()
    x.foo1(C.self) // ERROR Cannot convert value of type 'C.Type' to expected argument type 'P.Protocol'
    x.foo2(C.self) // Works as expected, but is not generic
}

现在，当 T 是一个类时，foo1 可以正常工作。但是，当T 是协议时（例如P），Swift 似乎将我的函数签名从T.Type 重写为T.Protocol。

1. 为什么要这样做？
2. 如何让foo1 接受从P 继承的类型？

类 X 用于许多其他地方 - 对其的任何更改都不得限制或删除类参数 T 或减少 X 的功能，也不得明确引用 C 或 @987654337 @。 （约束T 以排除不扩展AnyObject 的协议是可以接受的；不过，我不知道该怎么做。例如，创建X 的子类添加能够处理T 中的协议，但我也不知道该怎么做。）

为了清楚起见，出于更复杂的项目原因，此类用于注册符合某些指定父级 (T) 的类 (t)。 （请注意，正在注册类，而不是其实例。）父级在创建X 时通过 type 参数给出。它适用于任何类的T，但我也希望它适用于任何协议的T - 或至少适用于任何协议P: AnyObject 的T，在这种情况下@987654349 @ 应该接受 P 的任何子类...与 T 是类时的工作方式相同。

Answer 1

虽然C是一个P，但是C.Type != P.Type，所以报错。

但泛型的工作方式有点不同，如下例所示：

public class X {
    public func foo1<T>(_ t: T.Type) { // this way
    }

    public func foo3<T:P>(_ t: T.Type) { // or this way
    }

    public func foo2(_ t: P.Type) {  // Note that this works as expected, but is not generic
    }
}

public func test() {
    let x = X()
    x.foo1(C.self) // << works
    x.foo3(C.self) // << works
    x.foo2(C.self) // Works as expected, but is not generic
}