如何使用Map（[K，V]）而不是Map [K，V]創建Map構造函數？

Question

在使用例如Iterable接口時，似乎使用元組形式。然而，Map類型的構造函數需要兩個類型參數，而Iterable只需要一個（一個2元組）。

總之，我想要做的事情如：type Map[(+A, +B)] = Map[A, B]，但這是無效的Scala代碼。然後我會說：

type MapItem = (K,V) 
type MyMap = Map[MapItem] 

的例子使用情況下，我有當前是我的功能定義如下：

def requestDecodeIterable[B, I[X] <: Iterable[X]](reqRx: Rx[HttpRequest]) 
(implicit stuff ...): Rx[I[B]] = ... 

我希望能夠調用它像這樣：

type CodebookNameItem = (CodebookId, CodebookName) 
type CodebookNameCollection[+A, +B] = Map[A, B] 
requestDecodeIterable[CodebookNameItem, CodebookNameCollection](request) 

但是，這當然不起作用，因爲CodebookNameCollection需要兩個類型參數，但I只需要一個類型參數。

Answer 1

我認爲主要的挑戰是您必須確保單個參數是Tuple2，然後從中獲取單個類型。

我不知道這是可能的，只要輸入語句，但你可以做這樣的事情：

trait CanBuildIterable[A, B] { 
    type Out <: Iterable[B] 
} 

implicit def defaultCanBuildIterable[A[X] <: Iterable[X], B] = new CanBuildIterable[A[_], B] { 
    type Out = A[B] 
} 

implicit def mapCanBuildIterable[K, V] = new CanBuildIterable[Map[_, _], (K, V)] { 
    type Out = Map[K, V] 
} 

def requestDecodeIterable[B, I](reqRx: Rx[HttpRequest]) 
(implicit cbi: CanBuildIterable[I, B], ... other implicits ...): Rx[cbi.Out] = ... 

然後，您可以調用它像requestDecodeIterable[CodebookNameItem, Map[_, _]]，返回類型是Map[CodebookId, CodebookName]。