CanBuildFrom時隱式地調用

Question

考慮以下REPL會話未發現：

@ def test[C[X] <: TraversableOnce[X]](implicit cbf: CanBuildFrom[C[Int], Int, C[Int]]) = cbf() 
defined function test 

@ test[List] 
res32: collection.mutable.Builder[Int, List[Int]] = ListBuffer() 

@ def test[C[X] <: TraversableOnce[X]] = implicitly[CanBuildFrom[C[Int], Int, C[Int]]] 
cmd33.sc:1: Cannot construct a collection of type C[Int] with elements of type Int based on a collection of type C[Int]. 
def test[C[X] <: TraversableOnce[X]] = implicitly[CanBuildFrom[C[Int], Int, C[Int]]] 
               ^
Compilation Failed 

test函數的第一個定義編譯和作品，而第二個不能編譯。它們之間的唯一區別就是如何獲得CanBuildFrom的實例。在第一種情況下，它被聲明爲隱式參數，要求編譯器找到一個參數。在第二種情況下，它通過implicitly函數調用，理論上，它應該在隱式搜索範圍方面表現相同。什麼導致這種行爲？

Answer 1

的implicitly（在Predef）的定義是：

def implicitly[A](implicit ev: A): A = A 

它只是使內容簡潔明瞭，你（在使用現場）範圍一個隱含已。

現在，當你這樣寫：

import collection.generic.CanBuildFrom 

def test[C[X] <: TraversableOnce[X]] 
    (implicit cbf: CanBuildFrom[C[Int], Int, C[Int]]) = ??? 

你問來電者（在調用點）提供隱式。

當你寫

def test[C[X] <: TraversableOnce[X]] = 
    implicitly[CanBuildFrom[C[Int], Int, C[Int]]] 

你問的編譯器與呼叫implicitly來查找一個隱含已經在範圍。 但是你沒有任何隱含的範圍內的給定類型！所以test的兩個定義正在完全不同。

您通常使用implicitly來獲取您沒有名稱的隱式，因爲它是使用上下文邊界或類型表示法指定的，如def test[A: TypeClass]。你不能在這裏使用這個符號，因爲CanBuildFrom有三個類型參數，而不是一個。所以你不能在這裏用implicitly做很多事情。

你可以使用implicitly與第一種情況：

def test[C[X] <: TraversableOnce[X]] 
    (implicit cbf: CanBuildFrom[C[Int], Int, C[Int]]) = { 

    implicit val onceAgain = implicitly[CanBuildFrom[C[Int], Int, C[Int]]] 
    assert(onceAgain == cbf) 
} 

但你已經知道你有一個隱含的名稱爲cbf ...

---

注意，您可以弄個已知集合類型的隱含CanBuildFrom：

implicitly[CanBuildFrom[List[Int], Int, List[Int]]] // works! 

但是，如果您的收集類型（C[X]）是抽象的，則這不起作用。