scala 下界和上界

Question

class Queue[+T](
    private val leading: List[T],
    private val trailing: List[T]
) {
    def append[U >: T](x: U) =
      new Queue[U](leading, x :: trailing) // ...
}

class Fruit

class oranges extends Fruit

class apple extends Fruit

class diffAppale

val q1: Queue[Fruit] = new Queue[apple](List(new apple), List())
//> q1  : Test.Queue[Test.Fruit] = Test$Queue@30c7da1e

q1.append(new Fruit)                            
//> res0: Test.Queue[Test.Fruit] = Test$Queue@506e6d5e

q1.append(new oranges)                          
//> res1: Test.Queue[Test.Fruit] = Test$Queue@96532d6

q1.append(new diffAppale)  // i want to restrict this             
//> res2: Test.Queue[Object] = Test$Queue@3796751b

在这里我可以添加任何对象我可以添加到附加函数，我可以看到结果类型被降级为最低公分母

但我想拥有与 java 相同的行为，比如 def append[? super T](x: U) // 这里的 append 函数将获取所有属于 T 超类型的对象，我如何在 scala 中实现类似的对象（实现 super 并为 java 等泛型扩展）

Answer 1

我不明白您为什么要限制这一点，或者为什么返回更通用的新不可变对象会给您带来问题。

但如果您不想要这种差异，只需删除所有差异注释：

class Queue[A](leading: List[A], trailing: List[A]) {
  def append(x: A) = new Queue[A](leading, x :: trailing) // ...
}

class Fruit
class Orange extends Fruit
class Apple  extends Fruit
class NotFruit

val q1: Queue[Fruit] = new Queue(List(new Apple), Nil)
val q2 = q1.append(new Fruit)  // ok
val q3 = q2.append(new Orange) // ok

q1.append(new NotFruit) // error - found NotFruit, required Fruit

---

关于问题：

append 函数将获取所有属于 T 超类型的对象

这是您的原始代码已经完成的工作。请注意，Any 是所有类型的超类型。由于参数处于协变位置，因此始终可以传递子类型为 Any 的值对于预期类型的​​参数 Any。这就是生活 :) Scala 只是感觉与 Java 不同，因为它是围绕声明站点差异而不使用站点差异构建的（可以说是比 Java 的泛型更好的决定）。

如果您想要进一步的约束，您可以要求提供证据参数，例如

def append[B >: A](x: B)(implicit ev: B <:< Seedless): Queue[B]

或者设置一个上限（这不能与A 相同，因为A 的差异）：

def append[B >: A <: Fruit](x: B): Queue[B]

但是：恕我直言，这真的没有意义。