泛型的泛型？A<T<U>>类？

Question

我能以某种方式强制泛型类型具有泛型类型吗？我想要有一些函数，它们的参数类型是U，那么我该怎么做呢？

代码：

class TableViewViewModel<T<U>> {
    typealias SectionDataType = T
    typealias RowDataType = U

    var sections = [SectionDataType<RowDataType>]()
}

Answer 1

尝试声明需要关联类型的协议SectionDataType。这意味着任何符合条件的类型(如下面的Section )都必须实现一个类型别名。然后，在TableViewViewModel中，您可以通过该类型别名访问您调用的U类型。

protocol SectionDataType {
    associatedtype RowDataType
}

struct Section<U>: SectionDataType {
    typealias RowDataType = U
}

class TableViewViewModel<T: SectionDataType> {
    typealias RowDataType = T.RowDataType

    var sections = [T]()
}

Answer 2

对于泛型，你所要做的就是声明类型(你对尖括号做了什么)。在此之后，语法照常进行。我不确定您到底想要做什么，所以我将只发布一个示例。下面的函数声明了三个泛型类型( T，U，Z)，接受一个类型U和一个函数作为参数，函数本身接受一个类型为U的值，并返回一个类型为T的值。所有这些都返回一个类型为Z的值。(这是一个非常无用的函数，但它是一个如何以复杂方式使用泛型的示例)：

func myFunc<U,T,Z>(curry : (U) -> T, value : U) -> Z {
    return curry(value) as! Z
}