Question

鉴于我有以下特质

trait Foo[T]{
  ...
}

我有使用这个特性的case类，我希望能够隐式地将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!

特征的隐性转换

1 个答案: