scala – 类型成员的上下文边界或如何在成员实例化之前推迟隐式

// the following part is an external fixed API

trait TypeCls[A] {
  def foo: String
}

object TypeCls {
  def foo[A](implicit x: TypeCls[A]) = x.foo

  implicit def defaultInstance[A]: TypeCls[A] = new TypeCls[A] {
    def foo = "default"
  }

  implicit val intInstance: TypeCls[Int] = new TypeCls[Int] {
    def foo = "integer"
  }
}

trait FooM {
  type A
  def foo: String = implicitly[TypeCls[A]].foo
}

// end of external fixed API

class FooP[A:TypeCls] { // with type params,we can use context bound
  def foo: String = implicitly[TypeCls[A]].foo
}

class MyFooP extends FooP[Int]

class MyFooM extends FooM { type A = Int }

object Main extends App {

  println(s"With type parameter: ${(new MyFooP).foo}")
  println(s"With type member:    ${(new MyFooM).foo}")
}

实际产量：

With type parameter: integer
With type member:    default

期望的输出：

With type parameter: integer
With type member:    integer

我正在使用第三方库,该库使用上述方案为类型类TypeCls提供“默认”实例.我认为上面的代码是一个演示我的问题的最小例子.

用户应该混合FooM特性并实例化抽象类型成员A.问题是由于defaultInstance调用(new MyFooM).foo不解析专用的intInstance而是提交到defaultInstance,这不是我的意思想.

我添加了一个使用类型参数的替代版本,称为FooP(P = Parameter,M = Member),它避免通过使用type参数上的上下文来解析defaultInstance.

对于类型成员,是否有相同的方法来执行此操作？

编辑：我的简化中有一个错误,实际上foo不是def而是val,因此无法添加隐式参数.因此目前的答案都不适用.

trait FooM {
  type A
  val foo: String = implicitly[TypeCls[A]].foo
}

// end of external fixed API

class FooP[A:TypeCls] { // with type params,we can use context bound
  val foo: String = implicitly[TypeCls[A]].foo
}