Вопрос по типу классов - PullRequest
4 голосов
/ 02 февраля 2011

Мне нужно определить класс типов Field следующим образом:

trait Field[A] {  
  // Additive identity
  def zero: A

  // Multiplicative identity
  def one: A
}

Класс типов Numeric также предоставляет методы zero и one.

Я хочу, чтобы каждый класс, для которого доступен экземпляр Numeric, мог использоваться везде, где требуется класс с экземпляром Field.Например, должно работать следующее:

def func[F: Field](f: F) = println(f)
func(2)

Подскажите, пожалуйста, как этого добиться?Я попробовал следующее, но это не сработало:

scala> implicit def numericToField[N](n: Numeric[N]) = new Field[N] {
     |     def zero = n.zero
     |     def one = n.one
     |   }
numericToField: [N](n: Numeric[N])java.lang.Object with Field[N]

scala> def func[F: Field](f: F) = println(f)
func: [F](f: F)(implicit evidence$1: Field[F])Unit

scala> func(2)
<console>:12: error: could not find implicit value for evidence parameter of type Field[Int]
       func(2)
           ^

Ответы [ 2 ]

7 голосов
/ 02 февраля 2011

Вы почти получили это.Вам просто нужно внести это небольшое изменение:

scala> implicit def numericToField[N](implicit n: Numeric[N]) = new Field[N] {
 |     def zero = n.zero
 |     def one = n.one
 |   }
3 голосов
/ 02 февраля 2011

Ваше решение почти правильное, но вы должны были определить функцию следующим образом:

def func[F <% Field](f:F) = println(f)

Как вы уже определили, F должно быть полем (или подтипом поля), а не просто быть конвертируемым в единицу. Обозначение «F <% Field» означает, что все значения, которые имеют неявное преобразование в поля, также допустимы. Второе решение также сработало бы, если бы вы создали неявный экземпляр Field [Int] где-то в области видимости от вызова func (2). </p>

...