如何获得类型参数取决于隐式参数的方法参数？

Question

trait JsonOps[J] {
  type ObjectFields
  def partitionObjectFields(fields: ObjectFields, fieldNames: List[String]): (ObjectFields, ObjectFields)
}

def compilerNoLikey[J](stuff: ops.ObjectFields)(implicit ops:JsonOps[J]) = {}

def compilerLikey[J](stuff: Any)(implicit ops:JsonOps[J]) = {
    val stuff2 = stuff.asInstanceOf[ops.ObjectFields]
}

您可以在这里看到我的意图。我在JsonOps中定义了一个类型，以封装依赖于J的结构。然后，当我想使用它时，我有一个函数隐式地传递了JsonOps [J]对象以及ObjectFields类型的参数。

问题是，ObjectFields是在ops中定义的，发生在签名中的内容之后。

我该如何解读呢？

第二个def有效，但是我不喜欢传递Any。我希望编译器能够检查传入的内容。

Answer 1

您应该为compilerLikey引入另一个类型参数，并细化地编写JsonOps

trait JsonOps[J] {
  type ObjectFields
  def partitionObjectFields(fields: ObjectFields, fieldNames: List[String]): (ObjectFields, ObjectFields)
}

def compilerLikey[J, OF](stuff: OF)(implicit ops: JsonOps[J] { type ObjectFields = OF }) = {}

或使用Aux-pattern

trait JsonOps[J] {
  type ObjectFields
  def partitionObjectFields(fields: ObjectFields, fieldNames: List[String]): (ObjectFields, ObjectFields)
}

object JsonOps {
  type Aux[J, OF] = JsonOps[J] { type ObjectFields = OF }
}

def compilerLikey[J, OF](stuff: OF)(implicit ops: JsonOps.Aux[J, OF]) = {}