8

我有一些使用存在类型的 Scala 代码，我正在升级到 2.10，我注意到一个关于添加“import language.existentials”的警告，这让我认为应该有更好的方法来编写它。我的代码归结为：

class A {
  private var values = Set.empty[(Class[_], String)]
  def add(klass: Class[_], id: String) {
    val key = (klass, id)
    if (!values(key)) {
      values += key
      // More logic below..
    }
  }

我收到这个警告：

[warn] test.scala:4 inferred existential type (Class[_$2], String) forSome { type _$2 }, which cannot be expressed by wildcards, should be enabled
[warn] by making the implicit value language.existentials visible.
[warn] This can be achieved by adding the import clause 'import language.existentials'
[warn] or by setting the compiler option -language:existentials.
[warn] See the Scala docs for value scala.language.existentials for a discussion
[warn] why the feature should be explicitly enabled.
[warn]       val key = (klass, id)

有没有一种方法可以重写我的代码而不生成此警告（或需要导入），或者这是表达它的最惯用的方式？我从不在代码中的任何地方询问 Class 的类型参数。

4

2 回答 2

9

警告是关于存在类型的推断，这通常是不可取的。添加 import 语句，或使其显式：

val key: (Class[_], String) = (klass, id)
于 2012-06-13T22:19:15.390 回答
4

如果您为 add 方法提供类型参数，警告就会消失。这不会影响可以存储在 var 值中的内容。至于为什么，我没有一个很好的答案，但这是一种解决方法。希望有能力的人也能做出解释。

  class A {
    private var values = Set.empty[(Class[_], String)]

    def add[T](klass: Class[T], id: String) {
      val key = (klass, id)
      if (!values(key)) {
        values += key
        // More logic below..
      }
    }
  }
于 2012-06-13T21:10:11.757 回答