代码之家 › 专栏 › 技术社区 › Loic

使类在scala中扩展通用特性

scala

Loic · 技术社区 · 6 年前

我认为这应该可以使类型类成为一种简单的替代方法,但它不能:

trait Summable[T] {
  def sumWith(other: T): T
}

implicit class StringSummable(s: String) extends Summable[String]{
  def sumWith(other: String): String = s + other
}

def sumAll[T <: Summable[T]](list: List[T]): T = {
  list.reduceLeft((sum, element) => sum.sumWith(element))
}

sumAll(List("1","2","3"))

我有这个错误: inferred type arguments [lang.this.String] do not conform to method sumAll's type parameter bounds [T <: Summable[T]]

有什么诀窍可以让这个奏效吗?

谢谢

1 回复 | 直到 6 年前

Andrey Tyukin 6 年前

是的,有一个“把戏”,它实际上是一个单一的角色变化:

':' -> '%'

从子类型到“隐式可兑换”界限:

trait Summable[T] {
  def sumWith(other: T): T
}

implicit class StringSummable(s: String) extends Summable[String]{
  def sumWith(other: String): String = s + other
}

def sumAll[T <% Summable[T]](list: List[T]): T = {
  list.reduceLeft((sum, element) => sum.sumWith(element))
}

sumAll(List("1","2","3"))

请注意,这往往会很快解体。例如,只要需要返回空的零元函数 String 对于这种方法,您基本上不太走运,而对于typeclass(如 Monoid[T] 显示)。没有它,你甚至无法定义 sumAll 正确地说,因为它不适用于空列表。

注意到迄今为止的历史发展 远离隐式转换 对类型类,而不是反过来。

推荐文章

davidzxc574 · 将字符串缩放为字符

2 年前

yic_l · 什么是“!”在这个函数中是什么意思?

2 年前

Jelly · Scala:用于理解递归未来

2 年前

to.mane · Scala—如何使用接收对象作为参数的构造函数创建类

2 年前

bbgghh · 在scala中连接两个列表时如何处理不匹配的键

2 年前

OdiumPura · 使用JDBC(Sql server)查询tempview

2 年前

Iheb Mar · 卡夫卡制作人/消费者粉碎每一秒的API调用

2 年前

B. Bal · 在Scala中重用类成员

2 年前

RomanGoltsov · Scala、Cassandra、Quill、Need impl logget批处理模式

2 年前

S.Hashiba · 哪个名称空间是正确的,“com.typesafe.sbt”还是“com.github.sbt”?

2 年前