4

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

2 回答 2

7

你几乎明白了。你只需要做这个小改动：

scala> implicit def numericToField[N](implicit n: Numeric[N]) = new Field[N] {
 |     def zero = n.zero
 |     def one = n.one
 |   }
于 2011-02-02T13:17:28.573 回答
3

您的解决方案几乎是正确的，但是您应该像这样定义 func ：

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

正如您现在定义的那样，F 必须是一个字段（或字段的子类型），而不仅仅是可转换为一个。“F <% Field”表示法意味着所有隐式转换为 Fields 的值也是可接受的。如果您在调用 func(2) 的范围内某处创建了一个隐式 Field[Int] 实例，则第二种解决方案也可以工作。

于 2011-02-02T12:49:22.507 回答