7

为什么此代码不起作用：

scala> List('a', 'b', 'c').toSet.subsets.foreach(e => println(e))

<console>:8: error: missing parameter type
              List('a', 'b', 'c').toSet.subsets.foreach(e => println(e))
                                                        ^

但是当我拆分它时，它工作正常：

scala> val itr=List('a', 'b', 'c').toSet.subsets
itr: Iterator[scala.collection.immutable.Set[Char]] = non-empty iterator

scala> itr.foreach(e => println(e))
Set()
Set(a)
Set(b)
Set(c)
Set(a, b)
Set(a, c)
Set(b, c)
Set(a, b, c)

这段代码也可以：

Set('a', 'b', 'c').subsets.foreach(e => println(e))
4

1 回答 1

7

首先，有一个更简单的代码版本具有相同的问题：

List('a', 'b', 'c').toSet.foreach(e => println(e))

这也不起作用

List('a', 'b', 'c').toBuffer.foreach(e => println(e))

但是，这些工作正常：

List('a', 'b', 'c').toList.foreach(e => println(e))
List('a', 'b', 'c').toSeq.foreach(e => println(e))
List('a', 'b', 'c').toArray.foreach(e => println(e))

如果您查看List类文档，您会发现有效的方法会返回一些参数化的类型A，而无效的方法会返回参数化的类型B >: A。问题是 Scala 编译器无法确定B使用哪个！这意味着如果你告诉它类型它将起作用：

List('a', 'b', 'c').toSet[Char].foreach(e => println(e))

现在至于为什么 toSet并toBuffer有那个签名，我不知道......

最后，不确定这是否有帮助，但这也有效：

// I think this works because println can take type Any
List('a', 'b', 'c').toSet.foreach(println)

更新：在浏览文档多一点之后，我注意到该方法适用于所有具有协变类型参数的类型，但具有不变类型参数的B >: A类型在返回类型中具有 。有趣的是，虽然Array在 Scala 中是不变的，但它们提供了两个版本的方法（一个 withA和一个 with B >: A），这就是它没有那个错误的原因。

我也从未真正回答过为什么将表达式分成两行有效。当您简单地toSet自己调用时，编译器将自动推断A结果B的类型Set[B]，除非您确实给它一个特定的类型来选择。这就是类型推断算法的工作原理。但是，当您将另一种未知类型（即e您的 lambda 中的类型）添加到混合中时，推理算法就会窒息而死——它也无法处理B >: A未知类型和未知类型e。

于 2012-10-27T05:53:17.313 回答