如何在Scala中链接隐式函数?


77

pimp-my-library模式允许我通过在类中隐式转换为实现该方法的隐式转换,从而在类中似乎添加了一种方法。

斯卡拉不允许两个这样的隐式转换正在发生,但是,我不能得到AC使用隐含AB和另一个隐含的BC。有没有办法解决这个限制?


4
@ryeguy这是关于皮条客/富人辩论的一个元问题,因为该死。 那个标签...
查尔斯

Answers:


106

Scala对添加一个方法的自动转换有一个限制,那就是它在尝试查找方法时不会应用多个转换。例如:

class A(val n: Int)
class B(val m: Int, val n: Int)
class C(val m: Int, val n: Int, val o: Int) {
  def total = m + n + o
}

// This demonstrates implicit conversion chaining restrictions
object T1 { // to make it easy to test on REPL
  implicit def toA(n: Int): A = new A(n)
  implicit def aToB(a: A): B = new B(a.n, a.n)
  implicit def bToC(b: B): C = new C(b.m, b.n, b.m + b.n)

  // won't work
  println(5.total)
  println(new A(5).total)

  // works
  println(new B(5, 5).total)
  println(new C(5, 5, 10).total)
}

编辑:自Scala 2.11 https://issues.scala-lang.org/browse/SI-7629起,不赞成使用视图边界('<%')(可以改用类型类)

但是,如果隐式定义本身需要一个隐式参数(View绑定),Scala根据需要寻找其他隐式值。从上一个示例继续:

// def m[A <% B](m: A) is the same thing as
// def m[A](m: A)(implicit ev: A => B)

object T2 {
  implicit def toA(n: Int): A = new A(n)
  implicit def aToB[A1 <% A](a: A1): B = new B(a.n, a.n)
  implicit def bToC[B1 <% B](b: B1): C = new C(b.m, b.n, b.m + b.n)

  // works
  println(5.total)
  println(new A(5).total)
  println(new B(5, 5).total)
  println(new C(5, 5, 10).total)
}

您可能会说:“魔术!” 不是这样 这是编译器如何翻译每一个的方式:

object T1Translated {
  implicit def toA(n: Int): A = new A(n)
  implicit def aToB(a: A): B = new B(a.n, a.n)
  implicit def bToC(b: B): C = new C(b.m, b.n, b.m + b.n)

  // Scala won't do this
  println(bToC(aToB(toA(5))).total)
  println(bToC(aToB(new A(5))).total)

  // Just this
  println(bToC(new B(5, 5)).total)

  // No implicits required
  println(new C(5, 5, 10).total)
}

object T2Translated {
  implicit def toA(n: Int): A = new A(n)
  implicit def aToB[A1 <% A](a: A1): B = new B(a.n, a.n)
  implicit def bToC[B1 <% B](b: B1): C = new C(b.m, b.n, b.m + b.n)

  // Scala does this
  println(bToC(5)(x => aToB(x)(y => toA(y))).total)
  println(bToC(new A(5))(x => aToB(x)(identity)).total)      
  println(bToC(new B(5, 5))(identity).total)

  // no implicits required
  println(new C(5, 5, 10).total)
}

因此,虽然bToC用作隐式转换,aToB并且toA作为隐式参数传递,而不是作为隐式转换链接。

编辑

相关的感兴趣的问题:


5
很好的解释。声明的不允许隐式转换链接的原因是为了避免复杂性和调试噩梦。我想知道为什么为什么允许隐式参数链接?
阿德里安

3
真好!我学到新东西。这应该在“隐藏功能”页面上。
亚伦·诺夫斯特鲁普

谢谢!一个小问题:我不得不添加补充明确的结果类型的功能aToB,并bToCT2当我试图在REPL。
AGL

@Agl在即将到来的2.9上将不是必需的,但是我已经修改了代码以使其与2.8兼容。谢谢。
Daniel C. Sobral

1
请注意,您要进行的链接涉及更高种类的类型,然后再次进行类型推断可以使您满意。即我有M [A]。我有一个隐式的A => B和一个隐式的M [ ] => N [ ],其中M和N都是一元的。我想使用两次转换创建一个N [B​​]。链接这些需要额外的方法的调用,所述第一捕捉M [_]和第二到捕获A.
jsuereth

12

请注意,您也可以使用隐式参数构建圆。但是,编译器会检测到这些错误,如下所示:

class Wrap {
  class A(implicit b : B)
  class B(implicit c : C)
  class C(implicit a : A)

  implicit def c = new C
  implicit def b = new B
  implicit def a = new A
}

但是,提供给用户的错误并不清楚。它只是抱怨could not find implicit value for parameter所有三个建筑工地。在不太明显的情况下,这可能掩盖了潜在的问题。


1

这是一个代码,它也累积了路径。

import scala.language.implicitConversions

// Vertices
case class A(l: List[Char])
case class B(l: List[Char])
case class C(l: List[Char])
case class D(l: List[Char])
case class E(l: List[Char])

// Edges
implicit def ad[A1 <% A](x: A1) = D(x.l :+ 'A')
implicit def bc[B1 <% B](x: B1) = C(x.l :+ 'B')
implicit def ce[C1 <% C](x: C1) = E(x.l :+ 'C')
implicit def ea[E1 <% E](x: E1) = A(x.l :+ 'E')

def pathFrom(end:D) = end

pathFrom(B(Nil))   // res0: D = D(List(B, C, E, A))
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.