Почему неявное преобразование не рассматривается в этом случае с общими параметрами?

Question

Рассмотрим следующий код, полученный из проекта metascala :

object Units {
  case class Quantity[M <: MInt, T: Numeric](value: T) {
    type This = Quantity[M, T]

    def *[M2 <: MInt](m: Quantity[M2, T]) = 
      Quantity[M + M2, T](numeric[T].times(value, m.value))
    def /[M2 <: MInt](m: Quantity[M2, T]) = 
      Quantity[M - M2, T](numeric[T].div(value, m.value))
    def apply(v: T) = Quantity[M, T](numeric[T].times(v, value))
  }

  implicit def measure[T: Numeric](v: T) = Quantity[_0, T](v)

  implicit def numericToQuantity[T: Numeric](v: T) = 
    new QuantityConstructor[T](v)

  class QuantityConstructor[T: Numeric](v: T) {
    def m = Quantity[_1, T](v)
  }
}

(MInt - это в основном реализация чисел peano, где _0, _1 - конкретные "значения" из metascala . Скажите, если вам нужен дополнительный код, я просто не стал хочу вставить все здесь.)

Я хочу поддержать код, в котором некоторое существующее количество можно умножить на простое число, e. г.

import Units._

val length1 = 5  * (5 m) //doesn't work <-----
val length2 = (5 m) * 5  // works

Почему неявный метод measure не рассматривается в первой строке кода, как я предполагал?

Вместо этого я получаю это сообщение об ошибке:

overloaded method value * with alternatives:
   (x: Double)Double <and>
   (x: Float)Float <and>
   (x: Long)Long <and>
   (x: Int)Int <and>
   (x: Char)Int <and>
   (x: Short)Int <and>
   (x: Byte)Int  cannot be applied to 
(scalax.units.Units3.Quantity[scalax.units.Integers._1,Int])

Я использую Scala 2.10-trunk.

Это на самом деле продолжение до Как работает ‘1 * BigInt (1) 'и как я могу сделать то же самое? .

Answer 1

Для начала, вот отдельный пример, который дает ту же проблему,

object Units {
  case class Quantity[T: Numeric](value: T) {
    def *[M](m: Quantity[T]) =           // type M can't be inferred below
      Quantity[T](implicitly[Numeric[T]].times(value, m.value))
  }
  implicit def measure[T: Numeric](v: T) = Quantity[T](v)

  val length0 = measure(5) * Quantity(5) // works
  val length1 = 5  * Quantity(5)         // doesn't work
}

По какой-то причине преобразование measure не найдено из-за параметра типа M по методу *.Если параметр type удален из *, все будет хорошо.Может быть, кто-то еще может объяснить, почему?

Edit. Это похоже на ограничение компилятора Scala, поскольку переименование * в нечто вроде *** решает проблему.Возможно, существование Int.* ( без параметра типа ) исключает неявное преобразование для использования Quantity.*[M] ( с параметром типа ).Это напоминает мне о том, что переопределенные методы должны иметь одинаковых параметров типа .