scala - 在没有隐式证据对象的情况下直接使用 Scala 类型类

Question

我想直接使用类型类的函数，而不必引用隐式证据对象。

现在我已经按照推荐的方式实现了一个类型类(至少我是这么认为的):

object Main {
    import Implicits._
    import Implicits.monoidInt._

    def main(args: Array[String]): Unit = {
        println(addTwice(1,2))
    }
}

object Implicits {
    implicit object monoidInt extends Monoid[Int] {
        def zero: Int = 0
        def append(x: Int, y: Int): Int = x + y
    }
}

trait Monoid[A] {
    def zero: A
    def append(x: A, y: A): A
}

而不是像这样编写 addTwice:

def addTwice[A](x: A, y: A)(implicit ev: Monoid[A]): A = {
        ev.append(ev.append(x,y), y)
}

我想写:

def addTwice[A: Monoid[A]](x: A, y: A): A = x.append(y).append(y)

这可能吗？

Answer 1

是的，这是可能的。您需要所谓的 Ops。它允许向定义了类型类实例的类的对象添加方法。

您定义具有该值和类型类实例的 MonoidOps 特征，然后在其方法中使用它们，因此基本上它封装了 ev 变量的用法。

然后定义从 A 到 MonoidOps[A] 的转换，设置对象以及通过隐式参数获取的实例。

trait Monoid[A] {
    def zero: A
    def append(x: A, y: A): A
}

object Implicits {
    implicit object monoidInt extends Monoid[Int] {
        def zero: Int = 0
        def append(x: Int, y: Int): Int = x + y
    }

    trait MonoidOps[A] {
        def instance: Monoid[A]
        def self: A
        def |+|(y: A): A = instance.append(self, y)
    }

    implicit def toMonoidOps[A](target: A)(implicit M: Monoid[A]) = new MonoidOps[A] {
        val instance = M
        val self = target
    }
}

import Implicits._

def addTwice[A: Monoid](x: A, y: A): A = x |+| y |+| y

scala> println(addTwice(1,2))
5

MonoidOps 和 toMonoidOps 可以用这样的隐式类替换:

implicit class MonoidOps[A](val self: A)(implicit M: Monoid[A]) {
    def |+|(y: A): A = M.append(self, y)
}

看看simulacrum可以为您生成样板的项目。