隐式参数值本身是隐式值吗？

Question

套用标题问题，函数的隐含参数是函数范围内的隐含值吗？

这是一个小测试：

object ImplicitTest{

  case class Foo()

  def myOtherFun()(implicit myfoo: Foo) = {
    val grabImpFoo = implicitly[Foo]
    println(myfoo.toString + " from myOtherFun")
  }
}

import ImplicitTest._

class ImplicitTest {
  def myFun()(implicit myfoo: Foo) = {
    println(myfoo.toString)
    myOtherFun()
  }

}

现在运行它：

  implicit val foo = Foo()
  val it = new ImplicitTest()
  it.myFun()

这似乎向我证明了隐式参数本身是隐式的，因为myOtherFun 可以找到一个隐式参数，我有一段时间不相信这种情况！我想这有利有弊，但我只是来了解事实的；我查看了http://docs.scala-lang.org/tutorials/FAQ/finding-implicits.html（基于Passing scala.math.Integral as implicit parameter）并没有看到任何提及这个事实，如果我理解正确的话。

Answer 1

是的，隐含参数可以被范围内具有匹配隐式类型的其他函数访问

取自http://docs.scala-lang.org/tutorials/tour/implicit-parameters.html

有资格传递给隐式参数的实际参数分为两类：

• 首先，符合条件的所有标识符 x 都可以在 没有前缀的方法调用点，表示隐式 定义或隐式参数。

• 第二，符合条件的也都是 隐式参数类型的伴随模块的成员是 标记为隐式。