为什么在这种情况下需要过滤器实现？

Question

以下代码编译失败：

scala> case class T3( x:Int,y:Int,z:Int) { def foreach[U](f:((Int,Int,Int)) => U) = f( (x,y,z) ) }
defined class T3

scala> for ( (x,y,z) <- T3(1,2,3) ) { println (x,y,z) }
<console>:10: error: value filter is not a member of T3
              for ( (x,y,z) <- T3(1,2,3) ) { println (x,y,z) }
                                 ^

我不明白为什么这段代码需要过滤器，因为它总是匹配？

编辑 对于我的问题，像这样添加一个无意义的过滤器实现就足够了：

scala> case class T3( x:Int,y:Int,z:Int) { def foreach[U](f:((Int,Int,Int)) => U) = f( (x,y,z) )
     | def filter(p: ((Int,Int,Int)) => Boolean) = this }
defined class T3

scala> for ( (x,y,z) <- T3(1,2,3) ) { println (x,y,z) }
(1,2,3)

scala> 

Answer 1

这将起作用：

 for ( T3(x,y,z) <- List(T3(1,2,3)) ) { println (x,y,z) }

还有这个：

 for ( T3(x,y,z) <- Some(T3(1,2,3)) ) { println (x,y,z) }

似乎for 理解需要装箱的值。

Answer 2

根据Scala language specification，生成器p <- e 被转换为withFilter 调用，除非该模式是“无可辩驳的”。模式不可辩驳的三个条件：

1. p 是一个可变模式。

显然，情况并非如此。

1. p 是一个类型化的模式x : T' 和'T <: T'，其中e : T。

同样，显然不是这样。

1. p 是构造函数模式c(p1,...,pn)，T 类型是类c 的实例，T 类型的主构造函数（§5.3）具有参数类型T1, ..., Tn，每个pi 是Ti 无可辩驳。

这里的问题是，虽然(x,y,z) 是Tuple3 的构造函数模式，但T 类型（这里是T3）不是Tuple3 的实例——只有foreach 方法是。无可辩驳的模式转换是对for 表达式进行脱糖的第一步，因此在考虑返回类型为foreach 之前。

因此，这种模式不能被证明是无可辩驳的。

编辑：虽然根据规范，上述内容似乎是有道理的，但我看不出它实际上有什么意义！例如，我的解释表明以下模式应该是无可辩驳的：

(a,b) <- (1,2)

尽管这毫无意义！它显然在寻找一些东西来确定结果类型以检查不可辩驳性，并且似乎是withFilter 方法。这表明它需要一个withFilter 方法来确定是否需要withFilter 方法...

似乎有各种各样的错误：例如https://github.com/scala/scala/pull/1893。我猜这也许是另一个破案子。