为什么导入cats.implicits._不再需要导入类型类实例？

Question

在Cats 2.1.x类型中，类实例是通过import cats.implicits._引入作用域的。

scala> import cats.Show
import cats.Show

scala> Show[Int].show(42)
<console>:13: error: could not find implicit value for parameter instance: cats.Show[Int]
       Show[Int].show(42)
           ^

scala> import cats.implicits._
import cats.implicits._

scala> Show[Int].show(42)
res1: String = 42

但是，在猫2.2.0中，它可以不使用import cats.implicits._，例如

scala> import cats.Show
import cats.Show

scala> Show[Int].show(42)
val res0: String = 42

从现在起，什么改变了，我们应该如何使用进口产品？

Answer 1

在2.1.x中，类型类的实例是在单独的对象中定义的，因此为了在作用域中(本地作用域)，必须导入它们

object implicits extends instances.AllInstances with ...

trait AllInstances extends AnyValInstances with ...

trait AnyValInstances extends IntInstances with ...

trait IntInstances extends cats.kernel.instances.IntInstances {
  implicit val catsStdShowForInt: Show[Int] = Show.fromToString[Int]
}

在2.2.0中，类型类的实例是在伴生对象中定义的，因此它们在作用域(隐式范围)中是自动的，不需要导入

object Show extends ScalaVersionSpecificShowInstances with ShowInstances {
  ...
  implicit def catsShowForInt: Show[Int] = cats.instances.int.catsStdShowForInt
  ...
}

发行说明https://github.com/typelevel/cats/releases/tag/v2.2.0

在大多数情况下，切换到使用新的隐式作用域实例只需用cats.syntax.all._替换cats.syntax.all._导入并删除任何cats.instances导入。不过，使用Cats 2.2.x并不需要进行此更改，因为此版本没有删除任何内容。导入cats.implicits._将在Cats 2.1.x和2.2.x上执行完全相同的操作，因为导入的实例比隐式范围具有更高的优先级。您只是看不到编译时的改进。 这条规则有一个例外。cats.implicits包提供了从猫自己的Order和PartialOrder类型类到标准库的Ordering和PartialOrdering的隐式转换。这种转换在隐式作用域中是不可用的，因为Cats将它不拥有的类型类的实例放入它不拥有的类型的范围(也是因为它不可能)。

Scala在哪里寻找植入？

https://docs.scala-lang.org/tutorials/FAQ/finding-implicits.html