7

有人可以解释为什么以下内容无法编译吗?我想那BB[A]也是一个List[A]。方法主体仅强制执行此视图。

scala> def x[A, BB[_] <: List[_]](p: BB[A]) {p: List[A]}
<console>:8: error: type mismatch;
 found   : BB[A]
 required: List[A]

       def x[A, BB[_] <: List[_]](p: BB[A]) {p: List[A]}
                                             ^
4

1 回答 1

10

我认为您需要命名 _ 参数。

scala> def x[A, BB[X] <: List[X]](p: BB[A]) {p: List[A]}

作品。

于 2011-06-27T12:51:26.467 回答