Scala：为路径依赖类型隐式查找类型类实例

发布时间：2020-12-16 19:23:45 所属栏目：安全来源：网络整理

导读：trait Encoder[From,To] { def encode(x: From): To}object Encoder { implicit val thingToString: Encoder[Thing,String] = new Encoder[Thing,String] { def encode(x: Thing): String = x.toString }}trait Config { type Repr}class MyConfig extends C

trait Encoder[From,To] {
  def encode(x: From): To
}
object Encoder {
  implicit val thingToString: Encoder[Thing,String] = new Encoder[Thing,String] {
    def encode(x: Thing): String = x.toString
  }
}

trait Config {
  type Repr
}
class MyConfig extends Config { type Repr = String }
//class ConcreteConfig { type Repr = String }

class Api[T](val config: Config) {
  def doSomething(value: T)(implicit encoder: Encoder[T,config.Repr]): Unit = {}
}

case class Thing(a: Int)

object Test extends App {
  import Encoder._

  val api = new Api[Thing](new MyConfig)
  api.doSomething(Thing(42))
}

对api.doSomething的调用无法编译：

could not find implicit value for parameter encoder: Encoder[Thing,Test.api.config.Repr]

如果我更改类Api [T]的构造函数的签名以便它接受ConcreteConfig,那么编译器可以告诉config.Repr == String并且隐式查找成功.但这不适用于我的用例.

有没有其他方法来指导隐式查找？我丢失了类型信息,因为我错过了类型细化或其他什么？

解决方法

由于config.Repr不是稳定路径,因此无法实现.即使config的运行时值是MyConfig类型,编译器也无法确定config.Repr = String.

只有当您可以在Api中提供具体的配置实例作为类型参数时,这才会起作用,这将告诉编译器Repr的确切类型：

class Api[T,C <: Config](val config: C) {
  def doSomething(value: T)(implicit encoder: Encoder[T,config.Repr]): Unit = {}
}

object Test extends App {
  import Encoder._

  val api = new Api[Thing,MyConfig](new MyConfig)
  api.doSomething(Thing(42))
}

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!