Question

我写了这段代码

import scala.concurrent._
import scala.concurrent.ExecutionContext.Implicits.global
import cats.Applicative
import cats.data.OptionT
import cats.instances.future._
import cats.syntax.applicative._

object PureTest extends App {
   type FutureOption[T] = OptionT[Future, T]
   val x1 = Applicative[FutureOption].pure(1)
   val y1 = 1.pure[FutureOption]
   println(x1)
   println(y1)
   val x2 = Foo(1).pure[FutureOption]
   val y2 = Bar("1").pure[FutureOption]
   println(x2)
   println(y2)
   val z1 = (Foo(1), Bar("1")).pure[FutureOption]
   println(z1)
}
case class Foo(i: Int)
case class Bar(s: String)

这是我的build.sbt

name := "PureTest"
version := "1.0"
scalaVersion := "2.11.8"
libraryDependencies ++= Seq(
   "org.typelevel" % "cats-core_2.11" % "0.9.0"
)

此代码编译并正常工作。

如果我添加一行import cats.implicits._作为其中一个导入，那么我会收到编译错误

Error:(16, 14) value pure is not a member of Int
   val x = 1.pure[FutureOption]
Error:(17, 16) value pure is not a member of String
   val y = "1".pure[FutureOption]
Error:(18, 21) value pure is not a member of (Int, String)
   val z = (1, "1").pure[FutureOption]
Error:(19, 32) value pure is not a member of (PureTest.Foo, PureTest.Bar)
   val z1 = (Foo(1), Bar("x")).pure[FutureOption]

为什么导入implicits._会破坏代码？

Answer 1

如果隐式转换/类等中存在歧义，则编译器不会选择它们。如果pimp-my-library模式取决于分辨率，那么最终会出现“没有这样的方法错误”。

让我们来看看cats.implicits（我从IntelliJ中获取了“字节码”版本）：

package cats
object implicits extends scala.AnyRef with cats.syntax.AllSyntax with cats.instances.AllInstances {
}

由于cats.implicits._同时提取cats.syntax.all._和cats.instances.all._，您提取cats.syntax.all._两次（当涉及到功能时 - 在代码方面，它们存在于单独的对象中），因此它们被视为两组不同的转换。）

最重要的是，您要通过两次不同的对象获取相同的转换次数 - 因此编译器会感到困惑，无法使用它们为您提供所需的方法。

value pure不是其成员

1 个答案: