如何在 Scala 中对更高种类的类型使用通配符？

Question

假设我有这个特征，

trait Ctx[C, V[_]]

我无法构造任何采用未指定第二个类型参数（通配符）的 Ctx 的方法签名。例如：

def test(c: Ctx[_, _]) = ()

无法编译（“错误：_$2 不接受类型参数，预期：一个”）。我也不能这样做

def test(c: Ctx[_, _[_]]) = ()

（“错误：_$2 不接受类型参数”）。我缺少什么？

Answer 1

我能够定义这个：

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 em> 在我的例子中）。我提供的第一个解决方案不允许您这样做。

编辑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) }

Answer 2

您需要为 Ctx 的第二个参数传递类型构造函数。如果您只传递 _，Scala 无法推断出正确的类型。也不可能使用通配符定义类型构造函数（即 _[_]] 。请注意，在第一个示例中，错误消息中的 _$2 指的是作为整体作为第二个参数传递给 Ctx 的类型，但在第二个示例中，_$2 指的是 _[_]

<console>:6: error: _$2 does not take type parameters
       def test( c: Ctx[ _, _[ _ ]]) {}
                            ^

以下内容有效，因为此处的 V 是 Ctx 所期望的正确类型的类型构造函数。

def test[V[_]]( c: Ctx[ _, V]) {}