generics - 在 Swift 泛型中强制父类(super class)

Question

我试图实现一种新方法来连接两个 Array，返回一个包含通用数据类型的 Array 给其他两个。

为了清楚起见，我希望有一种方法可以做类似的事情(知道语法不正确......):

@infix func + <T,U,X where X super T, X super U>(left : Array<T>, right : Array<U>) 
-> Array<X>{
    //join both arrays
}

总是认为编译器能够检测两个类的共同祖先类型。如果这实际上是不可能的，那么正确的方法是什么？使“ super ”类型显式化？

Answer 1

Swift 的类型推断比您想象的要聪明。秘诀是查看 nil-coalescing 运算符的签名 ?? :

func ??<T>(optional: T?, defaultValue: @autoclosure () -> T) -> T
func ??<T>(optional: T?, defaultValue: @autoclosure () -> T?) -> T?

很明显，使用此运算符时，它会提升 T成为传递给它的任何类型的最近共同祖先，一直到 Any ，例如:

let i: Int? = 3
let s: String? = "3"
let a: Any? = i ?? s

这可以编译并工作，但是 a 的类型是Any (这实际上是一个协议(protocol))。在某些情况下，您需要向编译器提供类型证据，而在某些情况下则不需要。如果这些类型共享一个不是协议(protocol)的共同祖先，那么似乎不需要证据。你可能认为 ??正在得到编译器的特殊对待，但事实并非如此。您可以非常轻松地自己滚动。

来到你的尝试，你因此想多了。 (就像我遇到类似问题时一样。)您只需要一个类型。

如果我们要实现您的 +作为一个函数，它看起来像这样:

func joinArrays<T>(array1: [T], array2: [T]) -> [T] {
    return array1 + array2
}

class Base {}
class Derived1 : Base {}
class Derived2 : Base {}

let a1 = [Derived1(), Derived1()]
let a2 = [Derived2(), Derived2()]
let a = joinArrays(a1, a2)

a 的类型是Array<Base> ，因为这是泛型类型参数的最近共同祖先。

我已经使用这种“类型提升”来创建各种复杂的合并/单子(monad)运算符，就像 Haskell 一样。唯一的小问题是 Swift 不支持泛型类型参数的协变。