スカラ、抽象的な抽象型の型にアクセスする

Question

私はScalaコードで暗黙の変数を試しています。私は次のサンプルコードを書いたが、残念ながらそれはコンパイルに失敗する。私は不思議に思っていました、誰かがここで行方不明を知っていますか？ （SBTとScalaの2.8.0を使用してLinux上で0.7.4）

おかげで、Tは、コンパイル時に忘れられている アリ

trait Feed 
trait FeedFactory { 
type T <: Feed 
implicit val op_name = classOf[T].getCanonicalName  
def create():T 
def destroy(op:T) 
} 

Error: class type required but FeedFactory.this.T found  
implicit val op_name = classOf[T].getCanonicalName 

Answer 1

タイプ（型消去を参照してください）。しかし、scalaはコンパイルによって型を保持するManifestを提供します。

ここでは、より完全なexplanationです。