4

我正在使用一些旧的 Java 库，这些库使用未在 Scala 中指定类型参数的集合（例如 Eclipse draw2d）。

假设你有一个这样的 java 类（你不能修改）：

// A.java
package com.example.test;
import java.util.ArrayList;

public class A extends ArrayList {}  // not ArrayList<Object>, just ArrayList

如果你想在 Java 中使用 A 类，你可以这样做：

// B.java
import com.example.test.A;

public class B {
  public static void main(String[] args) {
    A a = new A();
    a.add(1);
  }
}

javac B.java成功并出现一些警告：

Note: C.java uses unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.

然而，与 Scala 相同的事情是不可能的：

// C.scala
import com.example.test.A

object C {
  def main(args: Array[String]): Unit = {
    val a = new A()
    a.add(1)
  }
}

scalac C.scala发出错误：

C.scala:6: error: type mismatch;
 found   : Int(1)
 required: E
    a.add(1)
          ^

如何在 Scala 中使用这个类？

4

2 回答 2

1

我找到了一个解决方案：

// C.scala
import com.example.test.A
import java.util.ArrayList

object C {
  def main(args: Array[String]): Unit = {
    val a = new A()
    a.asInstanceOf[ArrayList[Any]].add(1)    // a.add(1)
    println(a.size())
  }
}

这段代码解决了问题！

但我仍然想知道如何ArrayList[Nothing] -> ArrayList[Any]在 Scala 中进行转换，而转换Array是不变的。此外，ScalaArrayList[Any] -> ArrayList[Nothing]也接受转换！

于 2013-09-28T08:09:21.237 回答
1

那么你可以做的是：

val a = new A
val ls = a.asInstanceOf[java.util.List[Any]]
ls.add(1)

但同样，您将无法使用A. 我仍然不确定您将如何访问A方法。参考资料（在更改日志中说）：

Java 中的原始类型（例如 ArrayList）被转换为 ArrayList[_]，它是 ArrayList[T] forSome { type T } 的简写

因此，scala 编译器总是将其视为A extends ArrayList[E] forSome {type E}并且不确定如何转义该类型（在编译时）。

于 2013-09-28T08:10:17.287 回答