scala - 对特征的隐式转换

Question

鉴于我具有以下特征

trait Foo[T]{
  ...
}

我有使用此特征的案例类，我希望能够将 Foo[T] 隐式转换为 Foo[Z] （例如）。

例如，如果我有一个具体的实现

case class Blah[Model] extends Foo[Model]

而且我有一个模型到视图的隐式转换......

我如何鼓励 Scala 转换Blah[Model]为Blah[View]?

trait Foo[T]{
  ...
  // not sure what to do here! 
  implicit def convertTtoZ .... (implicit converter: T=>Z) ...
}

Answer 1

您必须明确定义如何使用更改的参数构建特征：

scala> import language.implicitConversions

scala> class M
defined class M

scala> class N
defined class N

scala> implicit def m2n(m: M): N = new N
m2n: (m: M)N

scala> class X[A](val a: A) {}
defined class X

scala> implicit def xa2xb[A,B](x: X[A])(implicit ab: A => B) = new X(ab(x.a))
xa2xb: [A, B](x: X[A])(implicit ab: A => B)X[B]

scala> val xm = new X(new M)
xm: X[M] = X@21606a56

scala> def xnRequired(xn: X[N]) { println("Hi!") }
xnRequired: (xn: X[N])Unit

scala> xnRequired(xm)
Hi!