[英]Why is import cats.implicits._ no longer necessary for importing type class instances?
在 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.implicits._
导入并删除任何cats.instances
导入。 不过,您无需进行此更改即可使用 Cats 2.2.x,因为此版本不会删除任何内容。 导入cats.implicits._
在Cats 2.1.x 和2.2.x 上会做完全相同的事情,因为导入的实例比隐式作用域具有更高的优先级。 你只是不会看到编译时间的改进。这一规则有一个例外。
cats.implicits
包提供了从 Cats 自己的Order
和PartialOrder
类型类到标准库的Ordering
和PartialOrdering
隐式转换。 这种转换在隐式作用域中不可用,因为对于 Cats 来说,将它不拥有的类型类的实例放入它不拥有的类型的作用域中是一个坏主意(也因为这是不可能的)。
https://docs.scala-lang.org/tutorials/FAQ/finding-implicits.html
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.