scala - 在 Scala 中，为什么我不能为类型构造函数使用上下文绑定(bind)？

Question

这个问题在这里已经有了答案:




9年前关闭。

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 的回答.