Scala memiliki batasan pada konversi otomatis untuk menambahkan metode, yaitu tidak akan menerapkan lebih dari satu konversi dalam mencoba menemukan metode. Misalnya:
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)
}
EDIT: Batas tampilan ('‹%') tidak digunakan lagi sejak Scala 2.11 https://issues.scala-lang.org/browse/SI-7629 (Anda bisa menggunakan kelas tipe sebagai gantinya)
Namun, jika definisi implisit memerlukan parameter implisit itu sendiri (batas tampilan), Scala akan mencari nilai implisit tambahan selama diperlukan. Lanjutkan dari contoh terakhir:
// 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)
}
"Ajaib!", Anda mungkin berkata. Tidak begitu. Berikut adalah cara kompiler menerjemahkan masing-masingnya:
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)
}
Jadi, ketika bToC
digunakan sebagai konversi implisit, aToB
dan toA
diteruskan sebagai parameter implisit, bukannya dirangkai sebagai konversi implisit.
EDIT
Pertanyaan terkait yang menarik:
person
Daniel C. Sobral
schedule
16.03.2011