在Swift Generics中强制超类

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

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(实际上是一个协议).在某些情况下,您需要向编译器提供类型证据,在某些情况下,您不需要.如果类型共享不是协议的共同祖先,则看起来不需要证据.你可能会这么想？正在由编译器进行特殊处理,但事实并非如此.你可以很容易地自己动手.

为了你的尝试,你正在过度思考它. (就像我遇到类似问题时那样.)你只需要一种类型.

如果我们要实现你的函数,它将如下所示：

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>,因为它是泛型类型参数的最近共同祖先.

我已经使用这种“类型促销”来创建各种复杂的合并/一元运算符,例如Haskell.唯一的问题是Swift不支持泛型类型参数的协方差.