假设我有这个特质
trait Ctx[C, V[_]]
我无法构造任何采用 Ctx 的方法签名，其中第二个类型参数未指定(通配符)。例如。这个:
def test(c: Ctx[_, _]) = ()
不编译(
"error: _$2 takes no type parameters, expected: one" )。我也做不到
def test(c: Ctx[_, _[_]]) = ()
(
"error: _$2 does not take type parameters" )。我错过了什么？
请您参考如下方法:
我能够定义这个:
def test[V[X]](c:Ctx[_,V]) {}
它似乎适用于类型推断:
scala> trait Ctx[ C, V[ _ ]]
defined trait Ctx
scala> def test[V[X]](c:Ctx[_,V]) {}
test: [V[X]](c: Ctx[_, V])Unit
scala> class P extends Ctx[Int, List]
defined class P
scala> new P
res0: P = P@1f49969
scala> test(res0)
编辑 : 我怀疑替换
Ctx 不切实际使用抽象类型，但这是我能够做的:
trait Ctx[C] { type V[X] }
class CtxOption[C] extends Ctx[C] { type V[X] = Option[X] }
class CtxList[C] extends Ctx[C] { type V[X] = List[X] }
def test(ctx:Ctx[_]) { println(ctx) }
val ctxOptInt = new CtxOption[Int]
val ctxListStr = new CtxList[String]
test(ctxOptInt)
test(ctxListStr)
val list = collection.mutable.ListBuffer[Ctx[_]]()
list += ctxOptInt
list += ctxListStr
list
为 V 使用抽象类型可以免去为通配符类型构造函数计算类型参数语法的复杂(或不可能)任务。此外，如 ListBuffer 示例中所示，您可以在
V 处处理对象。是不同类型的构造函数(在我的示例中为 Option 和 List )。我提供的第一个解决方案不允许您这样做。
编辑 2 : 怎么样？
trait AbstractCtx[C] { type W[X] }
trait Ctx[C,V[_]] extends AbstractCtx[C] { type W[X] = V[X] }
def test(ctx:AbstractCtx[_]) { println(ctx) }
