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

impicit排序和协方差

implicit scala

Reactormonk · 技术社区 · 10 年前

class Foo
class Bar extends Foo
implicit val ord = new math.Ordering[Foo] {
  override defcompare(a: Foo, b: Foo) = 0
}

尝试调用Bar的Ordering实例时

implicitly[math.Ordering[Bar]]

它失败了

No implicit Ordering defined for Bar.

我希望它能找到我在Foo上定义的实例。

2 回复 | 直到 10 年前

Sean Vieira 10 年前

简单的答案是, math.Ordering[T] 在上不变 T 所以 math.Ordering[Foo] 与 math.Ordering[Bar] 尽管 Bar 是的子类 Foo .

可以为提供隐式工厂 Ordering[T] @DaunnC在评论中指出:

implicit def ord[A <: Foo] = new math.Ordering[A] {
  override def compare(a: A, b: A) = 0
}

Reactormonk 10 年前

通过@Daunnc:

implicit def ord[A <: Foo] = new math.Ordering[A] { override def compare(a: A, b: A) = 0 }

推荐文章

Wickoo · Scala变量解析:类与局部变量

4 月前

Jake · 如何回滚臭鼬事务以进行集成测试?(缺少隐式原点)

6 月前

user79074 · 如何立即执行未来

6 月前

david.perez · 迁移到Scala 3后,我收到以下警告:纯表达式在语句位置什么也不做

11 月前

Isaac Zahau · 有没有办法修复删除转义符的无效JSON记录?

1 年前

Readren · 如何定义标量。标量3中元组的ValueOf?

1 年前

Shankar Panda · 如何从org.apache.spark.sql获取密钥。在scala中键入列并将其放入列表变量中?

1 年前

Shankar Panda · 如何在scala数据帧中分解两个数组列?

1 年前

Mandroid · 代码导航不适用于intellij中的scala文件

1 年前

Leif Andersen · “=>”在scala泛型中是什么意思?

1 年前