我需要定义一个类型类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)
^