即使未导入jvalue2monadic，为什么可以将JValue隐式转换为MonadicJValue？

Question

在json4s，代码可以被写成这样：

import org.json4s._ 
import org.json4s.jackson.JsonMethods._ 
... 
val x: MonadicJValue = JObject() 

因为函数

implicit def jvalue2monadic(jv: JValue) = new MonadicJValue(jv) 

由第一import org.json4s._线导入到范围这是正确的。

(source of jvalue2monadic defination on github)

不过，我想代码的另一段和它的作品也很好：

import org.json4s.{JObject, MonadicJValue} 
import org.json4s.jackson.JsonMethods.parse 
... 
val x: MonadicJValue = JObject() 

由于隐函数不导入到这个范围，我不知道它是如何工作！

Answer 1

我终于得到了答案从岗位Where does Scala look for implicits?

从书“在Scala编程（第二版）”，这是基于斯卡拉2.8，我了解到，Scala编译器会隐含规则在源或目标类型的伴随对象中查找隐式定义，但是我没有知道scala编译器也将在嵌套类型的外部对象中查找隐式定义。

在上面的问题，隐含定义

implicit def jvalue2monadic(jv: JValue) = new MonadicJValue(jv)

在包对象org.json4s，这是在包装层次结构外部对象嵌套定义要么JValue/JObject或MonadicJValue。因此，jvalue2monadic肯定会在需要时由scala编译器使用。