Scala中变量声明中的通用通配符

Question

在Java中，我可以这样做：

class MyClass {
    private List<? extends MyInterface> list;

    public void setList(List<MyImpl> l) { list = l; }
}

… MyImpl implements MyInterface当然假设（）。

使用 Scala 时， Scala 的模拟与此类似Buffer吗？

import java.lang.reflect._
import scala.collection.mutable._

class ScalaClass {
   val list:Buffer[MyInterface]  = null

   def setList(l: Buffer[MyImpl]) = {
     list = l
   }
}

（当然）不会编译-但是如何list以这样的方式声明变量？

编辑 ; 我要补充一点。这种差异显然与以下事实有关：在Java中，泛型 在T 中 从不协变
，而在Scala中，它们可以是协变的，也可以不是。例如，Scala类List在T中是协变的（并且必然是不变的）。因此， 将编译 以下内容：

class ScalaClass {
   val list:List[MyInterface]  = null

   def setList(l: List[MyImpl]) = {
     list = l
   }
}

我还在为编译器错误苦苦挣扎：

Covariant type T occurs in contravariant position in ...

例如; 在类声明中会发生此编译器错误：

class Wibble[+T] {
  var some: T = _ //COMPILER ERROR HERE!
 }

我要问一个单独的问题…

Answer 1

直接模拟

import java.util.List;
List<? extends MyInterface> list;

是

import java.util.List
var list : List[_ <: MyInterface]  = _;

与缓冲区相同

为了回答您提出的评论，在Java类型参数中，参数始终是不变的，而不是协变的。