Рекурсивно используя неявные методы в Scala - PullRequest
4 голосов
/ 30 ноября 2011

Я хотел бы определить некоторые неявные методы для массивов пар, чтобы сделать мой код чище. В идеале они бы выглядели так:

type Vec = Array[Double]

implicit def enrichVec(v: Vec) = new {
  def /(x: Double) = v map (_/x)
  def *(u: Vec) = (v zip u) map {case (x,y) => x*y} sum
  def normalize = v / math.sqrt(v * v)
}

Однако функция normalize не работает так, как написано, потому что Scala не будет применять неявные методы рекурсивно. В частности, я получаю ошибку Note: implicit method enrichVec is not applicable here because it comes after the application point and it lacks an explicit result type. Я мог бы избежать этого, явно написав код для normalize, но это было бы ужасно. Есть ли лучшее решение?

Ответы [ 2 ]

6 голосов
/ 30 ноября 2011

Анонимный класс запрещает определения рекурсивных функций. Вам необходимо определить RichVec как класс, а затем отдельно определить неявное преобразование.

type Vec = Array[Double]
implicit def enrichVec(v: Vec) = RichVec( v )
case class RichVec( v: Vec ) {
  def /(x: Double) = v map (_/x)
  def *(u: Vec) = (v zip u) map {case (x,y) => x*y} sum
  def normalize = v / math.sqrt( v * v )
}
0 голосов
/ 30 ноября 2011

Это работает:

type Vec = Array[Double]
abstract class RichVec(v: Vec) {
  def /(x: Double): Vec
  def *(u: Vec): Double
  def normalize: Vec
}
implicit def enrichVec(v: Vec): RichVec = new RichVec( v ) {
  def /(x: Double) = v map (_/x)
  def *(u: Vec) = (v zip u) map {case (x,y) => x*y} sum
  def normalize = v / math.sqrt(v * v)
}

Но есть и другие способы сделать это.Самое главное, чтобы вы указали тип возврата для неявного.

...