在 Kotlin 中混合类和函数泛型？

Question

我正在尝试创建一个定义单个方法的接口。该方法的参数类型必须是接口的类型参数，因为接口的实现将对该参数具有唯一的实现。到目前为止很好，但要注意的是参数还有一个与方法相关的类型参数。我可以将一个类型的参数定义为类类型参数，它也有自己的类型参数，该类型参数与方法相关联吗？

换一种说法：

我正在尝试构建一个具有两种实现的 api 客户端接口。每个客户端都基于传递给他们的rxecute 函数的Request<T> 对象进行api 调用（RxJava + 执行，是的，我为这个名字感到过分自豪）。

我的问题是如何在界面中定义rxecute 方法。让我列出一些示例代码（我的实际代码没有使用impl，别担心）。

interface Request<T> // T is return type of the request

class RequestImpl<T>: Request<T> { // impl }

interface ApiClient<R : Request<*>> {
  // R should somehow be of type Request<T>
  fun <T> rxecute(request: R): Single<T>
}

class ApiClientImpl : ApiClient<RequestImpl<????>> {
  override fun <T> rxecute(request: RequestImpl<T>): Single<T> = // impl
}

我希望能够像这样使用它：

val apiClient = ApiClientImpl()
apiClient.rxecute(RequestImpl<SomeClass>()).subscribe(someClassResult -> ...)

是否可以创建这样的接口或者泛型不能那样工作？

Answer 1

不幸的是，Kotlin 泛型不能以这种方式进行操作；类型参数R本身不能作为泛型类型（R<T>），其上限在声明处是固定的，只能使用类型参数R作为单个上界（没办法要添加另一个，where Q : R, Q : Request<T> 不起作用）。

您只能参数化具体类型，我想到的一个选项是recursive generics 模式（它也用于 Java）。您可以将实现类型的另一个类型参数添加到Request，使其变为interface Request<R, T>。这需要您将实现的类型添加到继承的类型声明中：

class RequestImpl<T>: Request<RequestImpl<*>, T> { /* impl */ }

然后修改ApiClient:

interface ApiClient<R : Request<R, *>> {
    fun <T> rxecute(request: Request<R, T>): Single<T>
}

^{这里出现的一个不受欢迎的副作用是您需要强制转换 request 才能将其用作 RequestImpl：request as RequestImpl。}

并将ApiClientImpl 变换如下：

class ApiClientImpl : ApiClient<RequestImpl<*>> {
    override fun <T> rxecute(request: Request<RequestImpl<*>, T>): Single<T> = TODO()
}

此解决方案看起来比您要求的要冗长得多，但递归泛型似乎是此类情况的常见解决方法，这需要比 Java 和 Kotlin 提供的更强大的类型系统。

---

^{(runnable demo of the code in the answer)}