Confronti con i tipi numerici di Scala?

Question

Come si può creare una classe che comporti confronti matematici con e su qualsiasi tipo numerico in Scala?

Un approccio ovvio:

import math.Numeric.Implicits._ 

class Ops[T : Numeric] { 
    def add(a: T, b: T) = a + b 
    def gt(a: T, b: T) = a > b 
} 

mi fa guadagnare questo ...

Ops.scala:7: value > is not a member of type parameter T 

Hmmm ... si può fare la matematica con i tipi numerici, ma non possiamo confrontarli?

Quindi diciamo anche che è TOrdered[T] ...

class Ops[T <: Ordered[T] : Numeric] { 
    def add(a: T, b: T) = a + b 
    def gt(a: T, b: T) = a > b 
} 

che compila. Ma prova ad usarlo?

new Ops[Int].gt(1, 2) 

E ho ...

Ops.scala:13: type arguments [Int] do not conform to class Ops's type parameter bounds [T <: Ordered[T]] 

Così come posso operare su un certo tipo che è sia ordinato e numerica?

Answer 1

scala> import Ordering.Implicits._ 
import Ordering.Implicits._ 

scala> import Numeric.Implicits._ 
import Numeric.Implicits._ 

scala> class Ops[T : Numeric] { 
    | def add(a: T, b: T) = a + b 
    | def gt(a: T, b: T) = a > b 
    | } 
defined class Ops 

scala> new Ops[Int].gt(12, 34) 
res302: Boolean = false 

Answer 2

è necessario importare mkNumericOps e/o mkOrderingOps:

val num = implicitly[Numeric[T]] 

o

class Ops[T](implicit num: Numeric[T]) 

poi:

import num.{mkNumericOps,mkOrderingOps} 

Ora è possibile confrontare e calc con loro. Forse ti saluta per la prima parte della tua domanda.

A proposito: ordinato e numerico funziona così:

class Ops[T: Ordered: Numeric]