kotlin - 此方法如何返回与声明不同的类型？

Question

我在项目中找到以下代码，并将其用于将throwables转换为自定义异常。

我很困惑它是如何工作的。

预期的返回类型为:Single<out Response<T>>
但是方法主体返回的内容有所不同:例如Single<Exception>
有解释吗？它正在编译并且工作正常!

class ThrowableObservableFunc1<T> : Function1<Throwable, Single<out Response<T>>> {

    override fun invoke(throwable: Throwable): Single<out Response<T>> {
        val clientConnectionException = Exception(throwable.message)

        return when (throwable) {
            is ConnectException, is UnknownHostException, is SSLException ->
                Single.error(clientConnectionException)
            is SocketTimeoutException ->
                Single.error(TimeoutConnectionException(throwable.message))
            else -> Single.error(UnexpectedException(throwable.message))
        }
    }
}

Answer 1

Single.error不返回Single<Exception>，而是根据其签名返回Single<T>:

public static <T> Single<T> error(final Throwable exception)

由于 T类型参数未在返回类型以外的签名中使用(例如，它不使用 T作为参数)，因此可以将其推断为您需要返回的任何类型从此函数包装到 Single中。

有关更多示例:

val stringError: Single<String> = Single.error(Exception()) // T inferred to be String
val intError: Single<Int> = Single.error(Exception())       // T inferred to be Int

或者，如果您想在直接调用函数时指定参数(在这种情况下，您可以在左侧省略变量的类型):

val stringError: Single<String> = Single.error<String>(Exception()) // T specified as String
val intError: Single<Int> = Single.error<Int>(Exception())       // T specified as Int

所有这些都是有道理的，因为任何类型的 Single都可能以完全相同的方式出错，而不管它生成的非错误值的类型是什么。