類型擦除在哪里發生，並且避免這種情況的安全方法是什么？

Question

def decode(l: List[(Int, Symbol)]) : List[Symbol] = {
    def foo(r : Int, s: Symbol):List[Symbol] = r match {
      case 0 => Nil
      case x: Int => s::foo(r-1,s)
    }

    l match {
      case Nil => Nil
      case h::tail => foo(h._1 , h._2 ) :+ decode(tail)
    }

}

在這里，我得到了一個編譯錯誤“ scala：類型不匹配；找到了：List [Object]必需：List [Symbol] case h :: tail => foo（h._1：Int，h._2：Symbol）：+ decode（tail ）“

Answer 1

這不是類型擦除，簡單的類型不匹配：

foo(h._1 , h._2 ) :+ decode(tail)

foo的結果是List[Symbol] ，解碼的結果是List[Symbol] 。 現在你試圖把List里面List ，沒有surprize該編譯器認為，只有這樣，才能存儲List和Symbols內部List是給后來列表對象（任意）類型。

您很可能只想合並兩個列表：

foo(h._1 , h._2 ) ++ decode(tail)