时间戳

首页 > 解决方案 > 是否可以使用类型类来实现特征？

scala - 是否可以使用类型类来实现特征？

问题描述

我有一种情况，我想实现给定的特征（CanBeString在下面的示例中）。我希望可以选择使用新创建的案例类（NewImplementation在下面的示例中）来实现该特征，或者通过向某些预先存在的类型（仅Int在下面的示例中）添加功能来实现它，通过使用类型班级。下图可能最好地说明了这一点：

package example

// typeclass
trait ConvertsToString[A] {
  def asString(value: A): String
}

// the trait I would like the typeclass to implement
trait CanBeString {
  def asString: String
}

// this implementation approach taken from the scala with cats book
object ConvertsToStringInstances {
  implicit val intConvertsToString: ConvertsToString[Int] = 
    new ConvertsToString[Int] {
      def asString(value: Int): String = s"${value}"
    }
}

object ConvertsToStringSyntax {
  implicit class ConvertsToStringOps[A](value: A) {
    def asString(implicit c: ConvertsToString[A]): String = c.asString(value)
  }
}

object Test {
  import ConvertsToStringInstances._
  import ConvertsToStringSyntax._

  def testAsFunc(c: CanBeString): String = c.asString

  case class NewImplementation (f: Double) extends CanBeString {
    def asString = s"{f}"
  }

  println(testAsFunc(NewImplementation(1.002))) // this works fine!
  println(testAsFunc(1)) // this sadly does not.
}

这样的事情可能吗？我最近才发现类型类的主题，所以我知道我在这里所要求的可能是可能的，但只是不明智的 - 如果是这样，请插话并让我知道更好的成语可能是什么。

在此先感谢，然后再感谢！

标签： scalatypeclassimplicitsubtyping

解决方案

例如，您可以有两个重载版本testAsFunc（OOP-style 和 typeclass-style）

object Test {
  ...

  def testAsFunc(c: CanBeString): String = c.asString
  def testAsFunc[C: ConvertsToString](c: C): String = c.asString

  println(testAsFunc(NewImplementation(1.002))) // {f}
  println(testAsFunc(1)) // 1
}

或者，如果您更喜欢唯一的，testAsFunc那么您可以为要实现的特征的子类型添加类型类的实例

object ConvertsToStringInstances {
  implicit val intConvertsToString: ConvertsToString[Int] = ...

  implicit def canBeStringSubtypeConvertsToString[A <: CanBeString]: ConvertsToString[A] =
    new ConvertsToString[A] {
      override def asString(value: A): String = value.asString
    }
}

object Test {
  ...

  def testAsFunc[C: ConvertsToString](c: C): String = c.asString

  println(testAsFunc(NewImplementation(1.002))) // {f}
  println(testAsFunc(1)) // 1
}

请注意，如果对于 ac同时存在 OOP-ishc.asString和扩展方法c.asString，那么实际上只调用第一个。

推荐阅读