斯卡拉：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的元素具有相同的類型，因此在方法調用站點重新定義它是沒有意義的。