我有一种情况,我想实现一个给定的特性(下面示例中的CanBeString
(。我希望可以选择使用新创建的case类(下面的示例中为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.
}
这样的事情有可能吗?我最近才发现类型类的主题,所以我意识到我在这里要求的可能是可能的,但只是不明智的——如果是这样,请插话,让我知道什么是更好的习语。
事前感谢,事后也感谢!
例如,您可以有两个重载版本的testAsFunc
(OOP样式和typeclass样式(
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
}
请注意,如果对于c
,同时存在OOP风格的c.asString
和扩展方法c.asString
,那么实际上只调用第一个方法。