不能證明單位<<（T，U）

Question

當試圖從列表中刪除所有Unit -()，席力圖召toMap。

scala> List((),()).filter(_ !=()).toMap 
<console>:8: error: Cannot prove that Unit <:< (T, U). 
       List((),()).filter(_ !=()).toMap 
             ^

這個錯誤是什麼意思？

對於List，我想製作一張非單元元素的所有元組(String, String)的，但是一些值可以爲空。

scala> val x = List((),(), (3,4)).filter(_ !=()).toMap 
<console>:7: error: Cannot prove that Any <:< (T, U). 
     val x = List((),(), (3,4)).filter(_ !=()).toMap 
               ^

scala> val x = List((),(), (3,4)).filter(_ !=()) 
x: List[Any] = List((3,4)) 

scala> x.toMap 
<console>:9: error: Cannot prove that Any <:< (T, U). 
       x.toMap 
       ^

Answer 1

啊！現在your other question更有意義。不過不知道你在做什麼，但生產這種混合Unit/Tuple2列表。

這應該工作：

List((),(), (3,4)).collect { case t@(_: Int, _: Int) => t }.toMap 

請注意，我用variable binding這裏（比賽結合t）返回匹配的我們，而不是創建一個新的同Tuple2實例。

使用collect您轉換您的清單，從List[Any]到List[(Int, Int)]的類型，這是toMap想要的東西，因爲它期待一些List[(A,B)]。

---

注：雖然這個答案應該爲你工作，我仍然認爲你的設計是有缺陷的。你最好修復潛在的設計缺陷，而不是像這樣治療症狀。

看起來這將是一個非常適合使用Scala's Option type。在這種情況下，您的樣本名單將成爲List(None, None, Some((3,4)))，或者你可以把它寫成List(None, None, Some(3->4))的可讀性（像括號嵌套可以得到混淆）。

如果您使用Option那麼您的列表的類型將變爲List[Option[(Int, Int)]]，這應該比List[Any]更好處理。爲了擺脫None條目，並得到想要的List[(Int,Int)]你可以撥打flatten：

List(None, None, Some(3->4)).flatten 
// res0: List[(Int, Int)] = List((3,4)) 
List(None, None, Some(3->4)).flatten.toMap 
// res1: scala.collection.immutable.Map[Int,Int] = Map(3 -> 4) 

然而，這將是更好，如果你能避免將None條目列表第一地點。如果你使用Scala製作這個列表來理解，你可以從輸出中刪除無效的元素。

Answer 2

這意味着，在列表中的一個元素的類型不能作爲被構建地圖所需要的元組進行查看。從某種意義上說，地圖是元組（和更多）的集合。

插圖：

scala> List(1).toMap 
<console>:8: error: Cannot prove that Int <:< (T, U). 
      List(1).toMap 
       ^
scala> List(1 -> 2).toMap 
res1: scala.collection.immutable.Map[Int,Int] = Map(1 -> 2) 

我可以建立從元組列表的地圖，而不是從單一的基數元素的列表。

也許你的意思是說.map而不是.toMap？ ;）

Answer 3

所有一氣呵成：

scala> val l2 = List(1 -> 3,(), 4 -> 4,(), 9 -> 4,(), 16 -> 7) 
l2: List[Any] = List((1,3),(), (4,4),(), (9,4),(), (16,7)) 

scala> (l2 collect { case (a, b) => (a, b) }).toMap 
res4: scala.collection.immutable.Map[Any,Any] = Map(1 -> 3, 4 -> 4, 9 -> 4, 16 -> 7) 

更好類型：

scala> (l2 collect { case (i: Int, j: Int) => (i, j) }).toMap 
res5: scala.collection.immutable.Map[Int,Int] = Map(1 -> 3, 4 -> 4, 9 -> 4, 16 -> 7)