Scala隐式转换问题

Question

在下面的代码摘录中，最后一条语句没有编译。然而，紧接在该语句之前的语句实际上是编译的。倒数第二个语句是我希望编译器将最后一个语句转换为的语句。我不明白为什么它不起作用。感谢您的帮助。

trait ParameterizedBy[A, B] {
val parameterized: B
}
object ParameterizedBy {
implicit def toParameterized[A, B, C](p: ParameterizedBy[A, B])(
implicit f: B => C): C = f(p.parameterized)
}
trait Wraps[A] {
val wrapped: A
}
object Wraps {
implicit def toWrapped[A](w: Wraps[A]): A = w.wrapped
}
val p = new ParameterizedBy[String, Wraps[Int]] {
override val parameterized: Wraps[Int] = new Wraps[Int] {
override val wrapped = 6
}
}
ParameterizedBy.toParameterized(p)(Wraps.toWrapped) + 5
p + 5

Answer 1

将方法隐式转换为A => C是有问题的，因为编译器无法轻松枚举所有具有预期方法+的可能类C，然后去搜索所有B和C的可能方法-此搜索将花费很长时间。

对于未知类型C，我建议避免使用B => C类型的隐式参数。如果你想要一个转换器，那么给它一些特定的名称，例如

trait Unwrap[A, B] extends (A => B)

然后只在这个链式隐式中使用。

你可以尝试的大致草图：

import scala.language.implicitConversions
trait ParameterizedBy[A, B] {
val parameterized: B
}
object ParameterizedBy {
implicit def toParameterized[A, B, C](p: ParameterizedBy[A, B])(
implicit f: Unwrap[B, C]): C = f(p.parameterized)
}
trait Wraps[A] {
val wrapped: A
}
object Wraps {
implicit def toWrapped[A](w: Wraps[A]): A = w.wrapped
}
trait Unwrap[A, B] extends (A => B)
object Unwrap {
implicit def unwrap[A]: Unwrap[Wraps[A], A] = new Unwrap[Wraps[A], A] {
def apply(w: Wraps[A]): A = w.wrapped
}
}
val p = new ParameterizedBy[String, Wraps[Int]] {
override val parameterized: Wraps[Int] = new Wraps[Int] {
override val wrapped = 6
}
}
p - 5         // works
(p: Int) + 5  // works with type ascription (to avoid conflicts with `+ String`)