Scala中匿名函数的隐式参数

Question

我对匿名函数的隐式参数有些困惑。 希望有人会指出正确的方向。 这就是我所拥有的。 两个文件： Main.scala和Foo.scala ：

// Foo.scala
trait Fun[-A, +B] extends (A => B)

trait ImplicitString[+B] {
  def withString(block: String => B)(implicit s: String): B = block(s)
}

object FooFun extends Fun[String, String] with ImplicitString[String] {
  def apply(x: String): String = withString { implicit s =>
    x + s
  }
}

和

// Main.scala
object Main extends App {
  implicit val s = "it works!"
  println(FooFun("Test:"))
}

我希望看到Test: it works! 打印。 但是我遇到了一个编译错误：

$ scalac Main.scala Service.scala
Service.scala:8: error: could not find implicit value for parameter s: String
  def apply(x: String): String = withString { implicit s =>
                                        ^
one error found

我想念什么吗？

更新 ：

看起来我应该像这样导入我的隐式val：

// Foo.scala
import Main._
...

这很好。

Answer 1

如果要在函数内部直接使用s ，则没有必要将其标记为隐式。

您可以通过这种方式解决此问题，

object FooFun extends Fun[String, String] with ImplicitString[String] {
  def apply(x: String)(implicit s1:String): String = withString { s =>
    x + s
  }
}

问题在于， FooFun的apply方法主体看不到implicit val s 。