我试图实现一种新方法来连接两个 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 ”类型显式化?
最佳答案
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 不支持泛型类型参数的协变。
关于generics - 在 Swift 泛型中强制父类(super class),我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/24328747/