Scala：通用方法隱式參數

我碰到了一段代碼，無法理解它。該片段是：Scala：通用方法隱式參數

implicit val dummyVisit = Visit("", 1L, 1, 1, 1, 1L) 
    implicit val dummyOrder = Order("", 1L, 1, 1, 1, 1L) 

    def process[T](events : Array[T])(implicit t: T):Unit = { 
    println(t) 
    if(!events.isEmpty) 
     t match { 
     case r: Order => processOrder(events.asInstanceOf[Array[Order]]) 
     case r: Visit => processVisit(events.asInstanceOf[Array[Visit]]); 
     } 
    } 

    def processOrder(arr: Array[Order]): Unit = { println(arr.size) } 
    def processVisit(arr: Array[Visit]): Unit = { println(arr.size) }

的implicit可變t，需要dummyVisit & dummyOrder存在。

問題：

這是使用implicit parameter的正確方法？
有沒有更好的方式來獲得班級類型的T，而不使用隱式參數？

來源

2016-02-12 Mohitt

Implicits使用隱式解析規則http://stackoverflow.com/questions/5598085/where-does-scala-look-for-implicits 我搜索不明白你的問題？您可以在「訪問」或「訂單」數組上調用進程（xs）。如果相應的隱式不在範圍內，process（xs）將不會編譯 –

看起來像使用多態性的不好方法或缺乏 –

捕獲參數的類型是隱式參數的預期用途之一。

雖然我會寫這樣的事情有點不同：

import scala.reflect.ClassTag 

// `sealed` ensures that no extra evidences can be defined elsewhere 
sealed abstract class Evidence[T](implicit val tag: ClassTag[T]) 
object Evidence { 
    implicit object visitEvidence extends Evidence[Visit] 
    implicit object orderEvidence extends Evidence[Order] 
} 

def process[T](events: Array[T])(implicit ev: Evidence[T]) = { 
    import ev.tag // import ClassTag[T] to allow matching on array element types 
    events match { 
    case Array() => // don't process empty arrays 
    case arr: Array[Order] => processOrder(arr) 
    case arr: Array[Visit] => processVisit(arr) 
    } 
}

此代碼避免創建虛擬意義的情況下，與asInstanceOf類型轉換。

更進一步的是在隱式參數中捕獲處理操作本身，並完全避免每種情況下顯式的match。這也被稱爲類型類模式：

sealed trait ProcessArray[T] { 
    def apply(arr: Array[T]): Unit 
} 
object ProcessArray { 
    implicit object processVisitArray extends ProcessArray[Visit] { 
    def apply(arr: Array[Visit]) = { println(arr.size) } 
    } 
    implicit object processOrderArray extends ProcessArray[Order] { 
    def apply(arr: Array[Order]) = { println(arr.size) } 
    } 
} 
def process[T](array: Array[T])(implicit proc: ProcessArray[T]) = { 
    if (array.nonEmpty) proc(array) 
}

來源

2016-02-12 11:49:26 Kolmar

Scala：通用方法隱式參數

回答

相關問題