隐式解析选择最具体的子类型

Question

有人可以解释一下为什么 scala 解决了最通用的隐式，而不管本地范围的隐式更具体吗？

例子：

import scala.math.ScalaNumber

type Serializer[T] = T => String

object SerializedOps{
  implicit class AnyOps[T](t: T){
    def serialize(implicit s: Serializer[T]) : String = s(t)
  }
}

object Instances{
  implicit val scalaNumber : Serializer[ScalaNumber] = _.toString + "_DEFAULT"
}


import SerializedOps._
import Instances._


implicit val bigDecimalCustom : Serializer[BigDecimal] = _.toString + "_CUSTOM"

val res: String = BigDecimal(100).serialize
//res: String = 100DEFAULT

为什么我不能在我的本地范围内定义一个新的更具体的隐式？ scala 如何解析隐含？

Answer 1

Subtype does win:

如果有多个符合条件的参数与隐式匹配 参数的类型，将使用规则选择最具体的类型 静态重载决议。

然而函数的参数类型是contravariant，这使得

ScalaNumber => String

一个子类型

BigDecimal => String

因此ScalaNumber => String 更具体。注意type Serializer[T] = T => String 是一个函数类型的别名。