scala – 关于类型类的问题

发布时间：2020-12-16 18:19:36 所属栏目：安全来源：网络整理

导读：我需要定义一个类型类Field,如下所示： trait Field[A] { // Additive identity def zero: A // Multiplicative identity def one: A} Numeric类型类还提供方法,零和一. 我希望在需要具有Field实例的类的任何地方都可以使用Numeric实例可用的每个类.例如,以

我需要定义一个类型类Field,如下所示：

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

  // Multiplicative identity
  def one: A
}

Numeric类型类还提供方法,零和一.

我希望在需要具有Field实例的类的任何地方都可以使用Numeric实例可用的每个类.例如,以下内容应该有效：

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)
           ^

解决方法

你几乎得到了它.你只需要进行这个小改动：

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!