Scala：可遍历的foreach定义

我假设

Traversable

trait中的

foreach

方法定义如下：

def foreach[U](f: Elem => U)

---

它应该被定义为

foreach[U，Elem]（f:Elem=>U）

，因为有两种类型，

Elem

和

U

？

Elem

类型来自

可遍历的
的泛型。函数的输入必须与
可遍历
的元素类型相同，因此在方法调用站点重新定义它是没有意义的。
元素
类型来自
可遍历
的泛型。函数的输入必须与可遍历的
元素的类型相同，因此在方法调用站点重新定义它没有意义。
foreach[U]（A=>U）
是trait
可遍历[+A]
中的方法

trait Traversable[+A] extends TraversableLike[A, ...] {
  ...
}

trait TraversableLike[+A, ...] extends ... {
  ...

  def foreach[U](f: A => U): Unit

  ...
}

foreach[U]（A=>U）
是trait
中可遍历[+A]
的方法

trait Traversable[+A] extends TraversableLike[A, ...] {
  ...
}

trait TraversableLike[+A, ...] extends ... {
  ...

  def foreach[U](f: A => U): Unit

  ...
}