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是有问题的，因为编译器无法轻松枚举 all 所有具有预期方法C的可能类+，并且然后搜索 all 所有可能采用B并给出C的方法-这种搜索将永远花费。

我建议避免为未知类型B => C使用类型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`)

Scala隐式转换问题

1 个答案: