访问类型参数的类型参数

Question

我想在一个特征中访问该特征的类型参数的类型参数。无需将此“二阶”类型参数作为另一个“一阶”参数添加到特征中。下面说明了这个问题：

sealed trait A; sealed trait A1 extends A; sealed trait A2 extends A
trait B[ ASpecific <: A ] { type ASpec = ASpecific }
trait D[ ASpecific <: A ] extends B[ ASpecific ]
trait C[ +BSpecific <: B[ _ <: A ]] {
   def unaryOp : C[ D[ BSpecific#ASpec ]]
}

def test( c: C[ B[ A1 ]]) : C[ D[ A1 ]] = c.unaryOp

测试无法编译，因为显然 c.unaryOp 的结果类型为 C[D[A]] 而不是 C[D[A1]]，表明 ASpec 只是 _ < 的快捷方式;:A 并不指具体的类型参数。

双类型参数解决方案很简单：

sealed trait A; sealed trait A1 extends A; sealed trait A2 extends A
trait B[ ASpecific <: A ]
trait D[ ASpecific <: A ] extends B[ ASpecific ]
trait C[ ASpecific <: A, +BSpecific <: B[ ASpecific ]] {
   def unaryOp : C[ ASpecific, D[ ASpecific ]]
}

def test( c: C[ A1, B[ A1 ]]) : C[ A1, D[ A1 ]] = c.unaryOp

但我不明白为什么我需要用第二个明显多余的参数来混乱我的源代码。有没有办法从特征B中检索它？

Answer 1

我可以通过在 C 中添加类型别名来使其编译：

sealed trait A; sealed trait A1 extends A; sealed trait A2 extends A
trait B[ ASpecific <: A ] { type ASpec = ASpecific }
trait D[ ASpecific <: A ] extends B[ ASpecific ]
trait C[ +BSpecific <: B[ _ <: A ]] {
   type BSpec = BSpecific#ASpec
   def unaryOp : C[ D[ BSpec ]]
}
def test[X <: C[ B[ A1 ]]](c:X): C[ D[ X#BSpec ]] = c.unaryOp

另一个增强版本的测试：

def test2[K <: A, X <: C[ B[ K ]]](c:X): C[ D[ X#BSpec ]] = c.unaryOp

希望它没有改变您的意图。

Answer 2

@pedrofurla（抱歉，我在未登录的情况下无法直接回复）

虽然您的示例可以编译，但我认为您除了 C[D[A]] 之外什么也没有得到，因为正是 X#BSpec 是 _ <: A 的别名...

val x: C[D[A1]] = test(new C[B[A1]] {})

<console>:34: error: type mismatch;
 found   : C[D[A]]
 required: C[D[A1]]
       val x: C[D[A1]] = test(new C[B[A1]] {})
                             ^