使用变量中的类型调用类型类

Question

我有2种类型的类型类，其中一种类型包含另一种类型

sealed trait Version
case class Version1() extends Version
case class Version2() extends Version

case class MyModel1(msg: String, version: Version)
case class MyModel2(msg: String, version: Version)

trait Validate[M, V] {
  def run : Boolean
}

object Validators {
  implicit object ValidateModel1 extends Validate[MyModel1, Version1] {
    override def run: Boolean = true
  }
  implicit object ValidateModel2 extends Validate[MyModel1, Version2] {
    override def run: Boolean = true
  }
}

我想这样称呼我的类型类：

object App {

  def main(args: Array[String]): Unit = {
    val model = MyModel1("Test", Version1())
    validate(model)
  }

  def validate(model: MyModel1) {
    import Validators._    

    val v = implicitly[Validate[MyModel1, model.version.type]]
    v.run
  }
}

但这行不通。

错误：（34,23）找不到参数e的隐式值：com.playground.Valides[com.playground.MyModel1，model.version.type]val v=隐式[Valides[MyModel1，model.version.type]]错误：（34,23）没有足够的隐式方法参数：（隐式e：com.playground.Valides[com.playground.MyModel1，model.version.type]）com.playground.Valides[com.playground.MyModel1，model.version.type]。未指定的值参数e. val v=隐式[验证[MyModel1，model.version.type]]

更换<代码>模型。版本使用版本1键入

你知道如何通过指向MyModel1中的Version类型来调用我的type类吗？

随意建议一个更明确的标题：）

谢谢你

Answer 1

请记住，隐式是在编译时解析的，因此编译器无法知道是否在内部

case class MyModel1(msg: String, version: Version) 

version的类型是Version1或Version2。它只是未知。如果您需要使用该信息，您需要将其保存在类的签名中，可以通过泛型参数或抽象类型（您将通过将变成泛型的辅助类型使用它，因此您可以在签名中使用它并表达类型关系）

因此，解决方案是像这样泛化模型

case class MyModel1[V<:Version](msg:String, version:V)