Kotlin 和具有协方差的上类型边界

Question

Kotlin 是否支持协方差设置中的类型上限/下限。比如，我想说

class Foo<out T> {
  fun or<U of T or greater>(other: U): <U> = ...
}

在 Scala 中是这样的

class Foo[+T] {
  def or[U >: T](other: U): U = ...
}

但编译器似乎不喜欢这样，它提示类型参数 T 的协方差性。

Answer 1

Kotlin 目前不支持下限。有时你可以不用定义一个扩展函数而不是一个成员:

fun <T> Foo<T>.or(other: T): T = ...