如何在 Scala 中显式指定存在类型的参数化类型？

Question

在Scala 编程中，给出了以下示例来展示如何使用通配符引用 Java 类。 javaSet2ScalaSet 方法采用类型 T。通常，您始终可以显式提供参数化类型。但在这种情况下，(new Wild).contents 是存在的，普通类型参数是不可接受的。

当在没有类型参数的情况下调用 javaSet2ScalaSet 时，编译器能够执行一些魔法并推断出适当的参数。查看编译器使用 scalac –Xprint:typer 提供的内容显示，它为 T 分配了值 ?0。这不能手动提供。

这是一种仅适用于推断类型的特殊情况，还是有某种方法可以显式提供该类型？

  // This is a Java class with wildcards
  public class Wild {
    Collection<?> contents() {
      Collection<String> stuff = new Vector<String>();
      stuff.add("a");
      stuff.add("b");
      stuff.add("see");
      return stuff;
    }
  }

  import scala.collection.mutable.Set
  import java.util.Collection

  abstract class SetAndType {
    type Elem
    val set: Set[Elem]
  }

  def javaSet2ScalaSet[T](jset: Collection[T]): SetAndType = {
    val sset = Set.empty[T]  // now T can be named!

    val iter = jset.iterator
    while (iter.hasNext)
      sset += iter.next()

    return new SetAndType {
      type Elem = T
      val set = sset
    }
  }

val setAndType = javaSet2ScalaSet((new Wild).contents)

Answer 1

这只是一种语法限制，而不是固有的。您可以通过以下方式声明它：

def javaSet2ScalaSet[C <: Collection[T] forSome { type T }](jset: C): SetAndType = {
  val sset = Set.empty[T forSome { type T }]

  val iter = jset.iterator
  while (iter.hasNext)
    sset += iter.next()

  return new SetAndType {
    type Elem = T forSome { type T }
    val set = sset
  }
}

Answer 2

(Q1)>>这是仅适用于推断类型的特殊情况吗？ <<

编译器不会将 Java 集合的类型推断为 Collection 类型。它只知道它是一个包含 some 类型元素的集合。

(Q2)>>或者有什么方法可以明确提供类型？ <<

不。不提供存在类型。它不是要绑定的自由变量（因为它已经被绑定）。

这样看：假设您能够提供类型。然后，您希望编译器检查提供的类型是否与 Java 集合中的元素类型匹配。但编译器无法确定这一点。因此，如果它们不匹配，您无论如何只能在运行时找到。

如果你想告诉 Scala 编译器你知道 java 集合中的元素是 String 类型（例如你想调用 x.length），那么你可以使用 asInstanceOf[String] 来转换元素。但这不会引入类型安全。您只会在运行时再次发现它是否不正确。