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

问题描述

在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

但是在Cats 2.2.0中,例如,它在没有import cats.implicits._的情况下有效

scala> import cats.Show
import cats.Show

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

从现在开始发生了什么变化以及我们应该如何使用导入?

解决方法

在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.implicits._替换cats.syntax.all._导入并删除任何cats.instances导入。不过,您不必为使用Cats 2.2.x进行更改,因为此版本不会删除任何内容。导入cats.implicits._在Cats 2.1.x和2.2.x上将做完全相同的事情,因为导入的实例比隐式作用域具有更高的优先级。您只是看不到编译时间的改善。

此规则有一个例外。 cats.implicits包提供了Cats自己的OrderPartialOrder类型类到标准库的OrderingPartialOrdering的隐式转换。这种转换在隐式范围内不可用,因为对于Cats来说,将它不拥有的类型类的实例放到不拥有的类型的范围内(也是因为不可能)是一个坏主意。>

Where does Scala look for implicits?

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

相关问答

Selenium Web驱动程序和Java。元素在(x,y)点处不可单击。其...
Python-如何使用点“。” 访问字典成员?
Java 字符串是不可变的。到底是什么意思?
Java中的“ final”关键字如何工作?(我仍然可以修改对象。...
“loop:”在Java代码中。这是什么,为什么要编译?
java.lang.ClassNotFoundException:sun.jdbc.odbc.JdbcOdbc...