1

有一个密封类 Result，它被参数化为两种类型 - 成功结果（T）和错误类型（R）。

它由两个类继承：

一个。Success - 数据类，在构造函数中接受对象 T

湾。错误 - 数据类，在构造函数中接受对象 R

我需要创建一个返回 Result 对象的函数。该函数必须以某种方式创建：

  • 该函数的结果可以分配给以下类型的变量：
    Result<Number, String>
    Result<Any, String>
  • 该函数的结果不能分配给以下类型的变量：
    Result<Int, CharSequence>
    Result<Int, Any>

即类 Result 必须在 T 参数上是协变的，在 R 参数上是不变的。

4

1 回答 1

1

您可以在 Result 类的声明中使用 Kotlin 提供的声明站点差异。

  • T -> 默认情况下 T 是不变的
  • out T-> 使 T 协变
  • in T -> 使 T 成为协变的

例子：

sealed class Result<out T, R>(val left: T? = null, val right: R? = null) {
    class Success<T, R>(data: T) : Result<T, R>(left = data)
    class Error<T, R>(data: R) : Result<T, R>(right = data)
}

fun main() {
    val res1 = Result.Success<String, Int>("Test")
    val res2: Result<Any, Int> = res1     // compiles successfully, T is covariant
    val res3: Result<String, Any> = res1  // doesn't compile, R is invariant (Type Mismatch)
}

函数可以将 Result 返回为：

fun returnResult(): Result<String, Int> {
    val random = Random.nextBoolean() // random, for demonstration

    retrun if(random) {
        Result.Success("Success Example")
    } else {
        Result.Error(404)
    }
}
于 2020-06-06T05:45:30.837 回答