类型翻译问题

Question

我在 Java 中的类层次结构下面有这个

Class Container 
{
    private List<? extends Element> element;
    public List<? extends Element> getElements()
    {
        return elements;
    }

    public void setElements(List<? extends Element> elements)
    {
        this.elements = elements;
    }
}

MyElement extends Element 
{
 int a;
}

在我的 scala 服务中，我使用以下这些类 -

var elements: java.util.List[_ <: Element] = container getElements

elements match {
  case null => elements = new ArrayList[MyElement]();
  case _    => ;
}
//additional service code here, 
//and then try to create an object and add it to the existing list of elements as below. 

val element = new MyElement
//..... other prog logic..
elements.add(element)

将元素添加到列表时出现编译错误

我看到错误信息被列为 -

type mismatch; found : element.type (with underlying type    com.vo.MyElement) required: _$7 where type _$7 <: com.vo.Element

有没有办法解决这个问题？为什么 Scala 编译器无法破译 MyElement 确实是 Element 的子类并且可以添加到主列表中。

真的希望有人帮助我。我已经尝试了几种替代方案，但我无法让它发挥作用。我错过了什么还是我真的很愚蠢？

谢谢， 阿达什

Answer 1

如果你在 Java 中尝试过这个，你会遇到同样的问题（可能只有更有用的错误消息......）。

看看下面的代码，想想如果编译它会发生什么。

trait Element 
class MyElement extends Element
class MyOtherElement extends Element

import java.{ util => ju }
val myElements = new ju.ArrayList[MyElement]()
val elements: ju.List[_ <: Element] = myElements
elements.add(new MyOtherElement)
val myElement: MyElement = myElements.get(0)

顺便说一句，这与 Java vs Scala 无关：

import scala.collection.mutable.ListBuffer
val myElements = new ListBuffer[MyElement]()
val elements: ListBuffer[_ <: Element] = myElements
elements += new MyOtherElement
val myElement: MyElement = myElements(0)

原因是你在这里使用use-site variance，因为可变集合被定义为不变量。而且所有 Java 集合都是自动不变的，因为 Java 没有像 Scala 那样的声明站点变化的概念，而且它的集合无论如何都是可变的。

Answer 2

虽然，我不确定您的 Java 代码部分，但据我了解，您正在尝试执行以下操作，

1. 您有一些Constainer 的实例为container。
2. 您想要获取该容器的元素并向其中添加新元素。

如果这是您想要做的，那么您可以执行以下操作，

val elements = {
  if (container.getElements() != null) {
    container.getElements()
  }
  else {
    val list: java.util.List[_ <: Element] = new java.util.ArrayList[MyElement]()
    list
  }
}


val element = new MyElement

elements.add(element)