Рекурсивно используя неявные методы в Scala

Question

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

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, но это было бы некрасиво. Есть ли лучшее решение?

Answer 1

Анонимный класс запрещает определения рекурсивных функций. Вам нужно определить 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 )
}

Answer 2

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

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)
}

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