使用已知类型参数化类

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]。只要删除类的类型参数。