web-dev-qa-db-ja.com

Scalaで暗黙を連鎖させるにはどうすればよいですか？

Pimp-my-libraryパターンを使用すると、クラスからメソッドを実装するクラスへの暗黙的な変換を利用できるようにすることで、クラスにメソッドを追加しているように見えます。

Scalaでは、このような2つの暗黙的な変換を行うことはできません。そのため、暗黙のAからCと別の暗黙の変換を使用してAからBに移動することはできません。 BからC。この制限を回避する方法はありますか？

scalaimplicit-conversionimplicits
76
Daniel C. Sobral

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（代わりに型クラスを使用できます）

ただし、暗黙的な定義に暗黙的なパラメーター自体が必要な場合（ビュー境界）、Scalawillは、必要な限り、追加の暗黙的な値を探します。最後の例から続けます。

// 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は暗黙のパラメーターとして渡されます。暗黙の変換として連鎖されていること。

[〜＃〜]編集[〜＃〜]

関心のある関連質問：

105
Daniel C. Sobral

暗黙のパラメータを使用して円を作成することもできることに注意してください。ただし、これらは、次のようにコンパイラによって検出されます。

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 parameter3つの建設現場すべて。あまり明白でない場合、それは根本的な問題を曖昧にするかもしれません。

12
Raphael

ここに パスも蓄積するコード。

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))
1
Sagie Davidovich