类型边界意外地更改了Scala隐式参数解析的优先级

发布时间：2020-12-16 08:48:29 所属栏目：安全来源：网络整理

导读：下面的 Scala示例显示了范围a和b中的两个隐式方法都可以提供所需的隐式参数(类型TC [C])的情况.但是在运行时,不会产生歧义,并打印出“B”. object Example extends App{ trait A trait B extends A class C extends B class TC[X](val label: String) implic

下面的 Scala示例显示了范围a和b中的两个隐式方法都可以提供所需的隐式参数(类型TC [C])的情况.但是在运行时,不会产生歧义,并打印出“B”.

object Example extends App{
  trait A
  trait B extends A
  class C extends B

  class TC[X](val label: String)

  implicit def a[T <: A]: TC[T] = new TC[T]("A")
  implicit def b[T <: B]: TC[T] = new TC[T]("B")

  println(implicitly[TC[C]].label)
}

请注意,隐式方法a和b之间唯一不同的是类型边界,并且它们都可以匹配TC [C].如果删除方法b,则隐式解析a.

虽然我发现这种行为在实践中很方便,但我想了解它是指定的语言功能,还是只是一个实现怪癖.

是否存在语言规则或原则,编译器通过该规则或原则将b优先于a,而不是将它们视为等效且因此不明确的选项？

解决方法

有关此优先级的规则,该规则表明两个匹配中最具体的优先级将获得更高的优先级.从 Scala Reference开始,在6.26.3’重载决议’下：

The relative weight of an alternative A over an alternative B is a number from 0 to 2,de?ned as the sum of

1 if A is as speci?c as B,0 otherwise,and

1 if A is de?ned in a class or object which is derived from the class or object de?ning B,0 otherwise.

A class or object C is derived from a class or object D if one of the
following holds:

C is a subclass of D,or

C is a companion object of a class derived from D,or

D is a companion object of a class from which C is derived.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!