2

我是 Scala 的新手...

无论如何，我想做类似的事情：

val bar = new Foo("a" -> List[Int](1), "b" -> List[String]("2"), ...)
bar("a") // gives List[Int] containing 1
bar("b") // gives List[String] containing "2"

我这样做时的问题：

class Foo(pairs: (String, List[_])*) {
  def apply(name: String): List[_] = pairs.toMap(name)
}

pairs将是 Array[(String, List[Any]) （或类似的东西）并且apply()无论如何都是错误的，因为List[_]它是一种类型而不是“不同类型”。即使 varargs * 返回了一个元组，我仍然不确定我将如何bar("a")返回一个List[OriginalTypePassedIn]. 那么实际上有没有办法做到这一点？Scala 看起来非常灵活，所以感觉应该有一些先进的方法来做到这一点。

4

2 回答 2

2

不。

这正是静态类型系统的本质：方法具有固定的返回类型。它不能依赖于方法参数的值，因为参数在编译时是未知的。假设您有bar，它是 的一个实例Foo，并且您对它是如何实例化的一无所知。你打电话bar("a")。您将返回正确类型的实例，但由于该类型直到运行时才确定，因此编译器无法知道它。

然而，Scala 确实为您提供了一种方便的子类型语法Foo：

object bar extends Foo {
  val a = List[Int](1)
  val b = List[String]("2")
}
于 2013-07-21T17:38:11.323 回答
1

这是做不到的。考虑一下：

val key = readStringFromUser();
val value = bar(key);

是什么类型的value？这取决于用户输入的内容。但是类型是静态的，它们是在编译时确定和使用的。

因此，您要么必须使用在编译时知道其类型的固定数量的参数，要么在运行时使用泛型可变参数并进行类型转换。

于 2013-07-21T17:35:38.483 回答