使用已知類型參數化類

Question

爲什麼下面的兩個方法定義不能編譯？

b.head應該編譯，因爲b是List的「自定義類型」。

List[T](a)是List[T]類型中的哪一個相同genericList

type T = Any 

type genericList = List[T] 

class usesGenericList[genericList](val a: T, b: genericList){ 

    def head() = b.head 
    // error: value head is not a member of type parameter genericList 

    def returnGenericList: genericList = List[T](a) 
// error: found: List[$sess.cmd203.T](which expands to) List[Any] required: genericList 

} 

Answer 1

您陰影外type genericList與class usesGenericList[genericList]。只要刪除類的類型參數。