2

对 Scala 2.8 的收集行为感到非常沮丧。这就是问题所在：我正在创建一个数独板。我正在标记从 A1 到 I9 的单元格（字母是行，数字是列）。我想获取板上的单元列表，即 9 行、夜间列和夜间象限。

这是我的 scala 类：

class Square(val row:Char, val column:Int) extends Pair[Char, Int](row, column) {
    override def toString() = "" + row + column 
}

object Board {
    private val rows = "ABCDEFGHI"
    private val cols = 1 to 9
    private lazy val units = unitList(rows, cols)
    private def cross(rows:Iterable[Char], columns:Iterable[Int]):Iterable[Square] = {
        for (row <- rows; col <- columns)
            yield new Square(row, col)
    }

    private def unitList(rows:Iterable[Char], cols:Iterable[Int]) = {
        val u1 = (for (col <- cols) yield cross(rows, List(col)))
        val u2 = (for (row <- rows) yield cross(List(row), cols))
        val u3 = (for (cols <- List("ABC", "DEF", "GHI"); rows <- List(1 to 3, 4 to 6, 7 to 9)) yield cross(cols, rows))

        u1 :+ u2 :+ u3  // won't compile, reason: :+ is not a member of Iterable[Iterable[sudoku.Square]]
    }

    def run() {
        val u1 = (for (col <- cols) yield cross(rows, List(col)))
        val u2 = (for (row <- rows) yield cross(List(row), cols))
        val u3 = (for (cols <- List("ABC", "DEF", "GHI"); rows <- List(1 to 3, 4 to 6, 7 to 9)) yield cross(cols, rows))
        println(u1)
        println(u2)
        println(u3)
        val u4 = u1 :+ u2 :+ u3  // compiles
        println(u1 :+ u2 :+ u3)  // compiles and output correctly
    }
}

请参阅代码中的注释。具体来说，为什么相同的代码不会在 unitList 中编译，但在 run() 中编译并运行良好？

另外，当我观察 run 方法的输出时，yield 关键字返回的集合似乎在 Vector 和 List 之间随机切换：

Vector(Vector(A1, B1, C1, D1, E1, F1, G1, H1, I1), Vector(A2, B2, C2, D2, E2, F2, G2, H2, I2), Vector(A3, B3, C3, D3, E3, F3, G3, H3, I3), Vector(A4, B4, C4, D4, E4, F4, G4, H4, I4), Vector(A5, B5, C5, D5, E5, F5, G5, H5, I5), Vector(A6, B6, C6, D6, E6, F6, G6, H6, I6), Vector(A7, B7, C7, D7, E7, F7, G7, H7, I7), Vector(A8, B8, C8, D8, E8, F8, G8, H8, I8), Vector(A9, B9, C9, D9, E9, F9, G9, H9, I9))

Vector(List(A1, A2, A3, A4, A5, A6, A7, A8, A9), List(B1, B2, B3, B4, B5, B6, B7, B8, B9), List(C1, C2, C3, C4, C5, C6, C7, C8, C9), List(D1, D2, D3, D4, D5, D6, D7, D8, D9), List(E1, E2, E3, E4, E5, E6, E7, E8, E9), List(F1, F2, F3, F4, F5, F6, F7, F8, F9), List(G1, G2, G3, G4, G5, G6, G7, G8, G9), List(H1, H2, H3, H4, H5, H6, H7, H8, H9), List(I1, I2, I3, I4, I5, I6, I7, I8, I9))

List(Vector(A1, A2, A3, B1, B2, B3, C1, C2, C3), Vector(A4, A5, A6, B4, B5, B6, C4, C5, C6), Vector(A7, A8, A9, B7, B8, B9, C7, C8, C9), Vector(D1, D2, D3, E1, E2, E3, F1, F2, F3), Vector(D4, D5, D6, E4, E5, E6, F4, F5, F6), Vector(D7, D8, D9, E7, E8, E9, F7, F8, F9), Vector(G1, G2, G3, H1, H2, H3, I1, I2, I3), Vector(G4, G5, G6, H4, H5, H6, I4, I5, I6), Vector(G7, G8, G9, H7, H8, H9, I7, I8, I9))

Vector(Vector(A1, B1, C1, D1, E1, F1, G1, H1, I1), Vector(A2, B2, C2, D2, E2, F2, G2, H2, I2), Vector(A3, B3, C3, D3, E3, F3, G3, H3, I3), Vector(A4, B4, C4, D4, E4, F4, G4, H4, I4), Vector(A5, B5, C5, D5, E5, F5, G5, H5, I5), Vector(A6, B6, C6, D6, E6, F6, G6, H6, I6), Vector(A7, B7, C7, D7, E7, F7, G7, H7, I7), Vector(A8, B8, C8, D8, E8, F8, G8, H8, I8), Vector(A9, B9, C9, D9, E9, F9, G9, H9, I9), Vector(List(A1, A2, A3, A4, A5, A6, A7, A8, A9), List(B1, B2, B3, B4, B5, B6, B7, B8, B9), List(C1, C2, C3, C4, C5, C6, C7, C8, C9), List(D1, D2, D3, D4, D5, D6, D7, D8, D9), List(E1, E2, E3, E4, E5, E6, E7, E8, E9), List(F1, F2, F3, F4, F5, F6, F7, F8, F9), List(G1, G2, G3, G4, G5, G6, G7, G8, G9), List(H1, H2, H3, H4, H5, H6, H7, H8, H9), List(I1, I2, I3, I4, I5, I6, I7, I8, I9)), List(Vector(A1, A2, A3, B1, B2, B3, C1, C2, C3), Vector(A4, A5, A6, B4, B5, B6, C4, C5, C6), Vector(A7, A8, A9, B7, B8, B9, C7, C8, C9), Vector(D1, D2, D3, E1, E2, E3, F1, F2, F3), Vector(D4, D5, D6, E4, E5, E6, F4, F5, F6), Vector(D7, D8, D9, E7, E8, E9, F7, F8, F9), Vector(G1, G2, G3, H1, H2, H3, I1, I2, I3), Vector(G4, G5, G6, H4, H5, H6, I4, I5, I6), Vector(G7, G8, G9, H7, H8, H9, I7, I8, I9)))

我完全迷失在这里。

4

3 回答 3

8

for 理解中的 yield 的结果来自第一个生成器的类型，在你的方法中，你限制了参数的类型，到目前为止你失去了 :+ 方法。

//The type of 1 to 9 is show below
scala> 1 to 9
res0: scala.collection.immutable.Range.Inclusive with scala.collection.immutable.Range.ByOne = Range(1, 2, 3, 4, 5, 6, 7, 8, 9)


//If you cast it to Iterable[Int] it doens't have the :+ method
scala> (res0:Iterable[Int]) :+ 1
<console>:7: error: value :+ is not a member of Iterable[Int]
       (res0:Iterable[Int]) :+ 1
       ^

//But if you don't, you have it
scala> res0 :+ 1                
res6: scala.collection.immutable.IndexedSeq[Int] = Vector(1, 2, 3, 4, 5, 6, 7, 8, 9, 1)

//And to prove that for comprehensions yield derives the type of the first generator:

scala> for(a <- res0) yield a
res7: scala.collection.immutable.IndexedSeq[Int] = Vector(1, 2, 3, 4, 5, 6, 7, 8, 9)

scala> for(a <- (res0:Iterable[Int])) yield a
res8: Iterable[Int] = Vector(1, 2, 3, 4, 5, 6, 7, 8, 9)
于 2010-07-20T17:26:52.217 回答
3

尽管行为非常奇怪，:+但不可能是您想要的操作员。由于您没有注释 的返回类型unitList，所以我不知道您的期望。我假设您想返回Iterable[Square]or Iterable[Iterable[Square]]。因此，让我们看看如何获​​得它们，以及为什么:+不正确。

首先u1，u2和u3都是Iterable[Iterable[Square]]，尽管确切的子类型有所不同。这应该很容易理解：crossreturns Iterable[Square]，因此在 a for-comprehension 中让步cross会导致Iterable[Iterable[Square]].

接下来，让我们考虑:+. 该方法将一个元素添加到一个集合中，所以，如果u1是Iterable(a, b, c)，其中a，b和c是Iterable[Square]，那么u1 :+ u2是Iterable(a, b, c, u2)，并且它的类型变成了Iterable[X]，其中X是Iterable[Square]（a，b和c的类型）和Iterable[Iterable[Square]]（的类型u2）。最终结果是一个Iterable[Iterable[AnyRef]].

由于 和 的类型本质上是相同的u1，所有可能的正确操作是这样的：u2u3

u1 ++ u2 ++ u3

哪个会返回Iterable[Iterable[Square]]。现在，如果要删除嵌套并返回Iterable[Square]，可以将其展平：

(u1 ++ u2 ++ u3).flatten

这两件事之一可能就是你想要的。

现在，至于“随机”切换，没有什么是随机的。在每种情况下，都有两个 for-comprehensions，结果集合的实际实现取决于原始集合的实现。所以，让我们考虑一下：

  • u1：外部类型派生自Range，内部类型来自String（要交叉的第一个参数）
  • u2：外部类型派生自String，内部类型来自List（要交叉的第一个参数）
  • u3：外部类型派生自List，内部类型派生自String（要交叉的第一个参数）

因此可以很容易地推断出 for-comprehensions over String( WrappedString, 实际上) 并Range导致Vector，而 for-comprehensions overList导致List.

于 2010-07-20T22:32:47.963 回答
2

发生编译器错误是因为:+是IndexedSeq（因此List）的成员，但不是Iterable. 如果更改unitListfrom的返回值

u1 :+ u2 :+ u3

到

List(u1) :+ u2 :+ u3

它编译得很好。

于 2010-07-20T17:34:22.313 回答