在斯卡拉，爲什麼我不能使用上下文綁定的類型構造函數？

Question

Possible Duplicate:
Context bounds shortcut with higher kinded-types

爲什麼Scala編譯器不讓我寫這個？

class TypeCtor[M[_]: ClassManifest] 

它抱怨「錯誤：類型M需要類型參數」。如果我只要求ClassManifest，編譯器應該能夠插入它，不管M的參數化是什麼，不是？

這按預期工作：

class TypeCtor[M[_]](implicit val ev: ClassManifest[M[_]]) 
(new TypeCtor[Vector]).ev.erasure // => class scala.collection.immutable.Vector 

Answer 1

看到我的回答this question。

Answer 2

M的參數化indeeed無關，但Scala編譯器需求ClassManifest參數，以便知道要插入的清單。比方說，我們有

class TypeCtor[A,B](implicit val ev: ClassManifest) 

現在，編譯器將不知道是否插入A或B的清單還可以不寫ClassManifest [M]，因爲ClassManifest預計類型的類型*和M有種* - > *。