Scala理解如果过滤太多？

Question

我有以下程序：（Scala 2.9.2，Java6）

object Forcomp {
  def main(args: Array[String]): Unit = {
    val xs = List(-1, 0, 1)
    val xss = for (a <- xs; b <- xs if a != 0 && b != 0) yield (a,b)
    println(xss)
  }
}

它产生以下输出： List((-1,-1), (-1,1), (1,-1), (1,1))我希望它仅过滤掉a和b为既 0 -不是所有的值，其中任 a或b是0。

通过将if子句更改为以下内容，可以得到我想要的行为： if (a,b) != (0,0) –但是，我真的必须这样做吗？ 这是一个错误还是这是故意的行为？ 我对此感到惊讶。

Answer 1

筛选器的真值表是这样的：

 a==0  |  b==0 | (a!=0 && b!=0)
--------------------------------
  0    |   0   |      0
  0    |   1   |      0
  1    |   0   |      0
  1    |   1   |      1

而您想要的行为是：

 a==0  |  b==0 | !(a==0 && b==0)
--------------------------------
  0    |   0   |      0
  0    |   1   |      1
  1    |   0   |      1
  1    |   1   |      1