foreach中的泛型類型有什麼意義？

Question

我很好奇 - 在Traversable的foreach申報方法中，通用類型U的要點是什麼？

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

由於Function1返回類型是協變的，爲什麼不能說只是：

def foreach(f: A => Any): Unit 

？

Answer 1

由於不是馬丁·奧德斯基，我只能猜測:-)看看foreach的斯卡拉多克，我看到這個：

/** Applies a function `f` to all elements of this $coll. 
    * 
    * @param f the function that is applied for its side-effect to every element. 
    *    The result of function `f` is discarded. 
    *    
    * @tparam U the type parameter describing the result of function `f`. 
    *    This result will always be ignored. Typically `U` is `Unit`, 
    *    but this is not necessary. 
    * 
    * @usecase def foreach(f: A => Unit): Unit 
    */ 

所以返回類型f並不重要，其結果總是被丟棄。對我而言，這表明在這裏使用泛型類型參數來標記返回類型僅僅是一個文檔細微之處，他說「返回類型可以是任何東西，任何東西，你都喜歡」。而返回類型Any可能暗示（某些）讀者對此處適用的函數類型有一些限制。

另一方面是斯卡拉非常有意識地設計爲從頭開始具有通用性。因此 - 對我來說 - 在這裏使用泛型類型參數與語言的一般原理是一致的，儘管使用Any - 儘管在技術上可用 - 將是一種絕對非泛型方法，與其他語言不一致。

Answer 2

也許讓你從Traversable繼承，並從f: A => U使一些使用返回值U的？

trait TraversableWithHandler[+A, E <: Option[Throwable]] extends Traversable[A] { 
    override def foreach[U](f: A => U): Unit 
    def handleError(t: E) 
} 

例如在jQuery，從內foreach的false返回相當於break，任何不同的值是一個continue。

使用案例

breakable { 
    List(1,2,3).foreach(_ match { 
    case 1 => println("ok") 
    case 2 => 
     println("Sort of, soft interrupt?") 
     return false 
    case 3 => break 
    }) 
} 

因爲下一個代碼（平行），從來沒有斷（無堆疊拋出的解決方案似乎是在這種情況下，非理想？）：

import scala.util.control.Breaks._ 

breakable { 
    (0 to 100).toList.par.foreach(_ match { 
    case n if (n <= 50) => 
     println("#" * 100) 
     try { break } catch { 
     case t: Throwable => println("" + t); break 
     } 
    case n if (n > 50) => 
     println("" + n) 
    case _ => "ok" 
    }) 
}