如何使用類型依賴於隱式參數的方法參數？

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工作，但我不喜歡傳遞任何周圍。 我希望編譯器能夠檢查傳入的內容。

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]) = {}