斯卡拉：Traversable的定义的foreach

Question

我想在Traversable性状foreach方法被定义如下：

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

应该有两种类型，Elem和U它被定义为foreach[U,Elem](f:Elem =>U)？

Answer 1

foreach[U](A => U)是特征Traversable[+A]中的方法。

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

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

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

    ... 
} 

https://github.com/scala/scala/blob/2.12.x/src/library/scala/collection/TraversableLike.scala#L124

Answer 2

Elem类型来自Traversable的通用类型。该函数的输入必须与Traversable的元素具有相同的类型，因此在方法调用站点重新定义它是没有意义的。