在Swift Generics中强制超类

发布时间：2020-12-14 04:59:24 所属栏目：百科来源：网络整理

导读：我试图实现一个新方法来连接两个Array,返回一个包含公共数据类型的Array到另外两个. 为了清楚起见,我希望有一种方法可以做一些事情(知道语法不正确……)： @infix func + T,U,X where X super T,X super U(left : ArrayT,right : ArrayU) - ArrayX{ //join b

我试图实现一个新方法来连接两个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
}

始终认为编译器能够检测两个类的共同祖先类型.如果这实际上是不可能的,那么正确的方法是什么？使“超级”类型明确吗？

解决方法

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不支持泛型类型参数的协方差.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!