Странное поведение с отражением в Scala

Question

Я пытался последовать примеру другого вопроса, и я пришел на то, что я не могу объяснить:

scala> import scala.reflect.runtime.{currentMirror => m} 
import scala.reflect.runtime.{currentMirror=>m} 

scala> m.mkToolBox() 
<console>:12: error: value mkToolBox is not a member of reflect.runtime.universe.Mirror 
       m.mkToolBox() 
       ^

scala> import scala.tools.reflect.ToolBox 
import scala.tools.reflect.ToolBox 

scala> m.mkToolBox() 
res3: scala.tools.reflect.ToolBox[reflect.runtime.universe.type] = scala.tools.reflect.ToolBoxFactory$ToolBoxImpl@225765b0 

Каким mkToolBox не является членом m перед импортом ToolBox, но после?

Answer 1

Если я исследую его reify, я вижу это:

scala> reify{ m.mkToolBox() }.tree 
res4: reflect.runtime.universe.Tree = 
{ 
    val qual$1 = scala.tools.reflect.`package`.ToolBox(scala.reflect.runtime.`package`.m); 
    val x$1 = qual$1.mkToolBox$default$1; 
    val x$2 = qual$1.mkToolBox$default$2; 
    qual$1.mkToolBox(x$1, x$2) 
} 

Это означает, что есть способ вызова функции с именем ToolBox внутри объекта пакета scala.tools.reflect. Это не объект, потому что reify выставляет метод apply.

Итак, несмотря на то, что API Docs for the Compiler не показывают ничего, кроме черты с левой стороны, если вы посмотрите на пакет, вы увидите неявное определение метода.

PS: Да, это был настоящий вопрос. Мне не приходило в голову мысль о старшем методе с тем же именем признака, пока я не подумал о том, чтобы оформить вещь, чтобы получить дерево.

Answer 2

ToolBox - неявный класс, который сутенеры mkToolBox на Mirror. Та же история с Eval, которые сутенеры eval.