Question

我定义了以下元组列表：

var temps = Seq(("Spain", Seq(68,70,73,75)),       
                ("Trinidad",Seq(87,83,88,84,88)), 
                ("England",Seq(52,55,58,57.5)),
                ("Eritrea",Seq(90,91.3,88,91)))

，结果类型如下：

temps: Seq[(String, Seq[AnyVal])] = List((Spain,List(68, 70, 73, 75)), (Trinidad,List(87, 83, 88, 84, 88)), (England,List(52.0, 55.0, 58.0, 57.5)), (Eritrea,List(90.0, 91.3, 88.0, 91.0)))

我的问题是为什么temps的类型被推断为Seq[(String, Seq[AnyVal])]而不是Seq[(String, Seq[Int])] or Seq[(String, Seq[Double])]，这是人们所期望的？

如果有一个简单的解释，我是斯卡拉新手，请原谅我。

Answer 1

这就是类型推断的工作原理。 Scala可以在上下文/声明范围中推断类型，但不能在此处的上下文中推断类型。例如，这有效：

scala> val ss = Seq(Seq(1, 1.2))
ss: Seq[Seq[Double]] = List(List(1.0, 1.2))

虽然我们同时拥有Int和Double，但Int会得到提升。但是，这不起作用：

scala> val ss = Seq(Seq(1, 1.2), Seq(2, 2))
ss: Seq[Seq[AnyVal]] = List(List(1.0, 1.2), List(2, 2))

因为第一个列表变为Seq[Double]而第二个列表变为Seq[Int]。要查找常见的超类型scala还原为Seq[AnyVal]。

您可以显式注释声明以帮助编译器解决歧义：

scala> val ss: Seq[Seq[Double]] = Seq(Seq(1, 1.2), Seq(2, 2))
ss: Seq[Seq[Double]] = List(List(1.0, 1.2), List(2.0, 2.0))

Seq [AnyVal]以类型而不是Seq [Int]

1 个答案: