Scala：實現通用摺疊

Question

我不明白爲什麼摺疊不能編譯。誰能給我一個線索？

sealed trait ListG[A] { 

    def fold[A,B](end: B, f: (A,B) => B): B = this match { 
    case End() => end 
    case Cons(hd,tl) => f(hd, tl.fold(end,f)) 
    } 
} 

錯誤：（20,28）類型不匹配; found：hd.type（with underlying type A） required：A case Cons（hd，tl）=> f（hd，tl.fold（end，f）） ^ final case class EndA extends ListG [A ] 最終案例類缺點[A]（HD：A，TL：ListG [A]）擴展ListG [A]

Answer 1

添加類型歸屬似乎可以解決問題。

case Cons(hd:A, tl) => ... 
      ^^ 

存在關於類型擦除的警告，但它編譯並且似乎運行。

Answer 2

你遮蔽ListG的A類型參數，當你在fold定義一個額外的類型參數A功能。