なぜパッケージオブジェクトの暗黙のメンバがサブパッケージから見えるのはなぜですか？

Question

のは、以下のパッケージ階層について考えてみましょう：1がtestのパッケージオブジェクトに次のコードをお持ちの場合

test 
    --foo 
    --Foo.scala 
    --bar 
    --Bar.scala 
    package.scala 

を：

package object test { 
    implicit class Pipe[A](a: A) { 
     def |>[B](f: A => B): B = f(a) 
    } 
} 

その後（パッケージtest.foo中）Foo.scalaにおけるケースクラス：パッケージtest.barで

package test.foo 

case class Foo(i: Int) 

object Foo { 
    2.0 |> math.floor // 1 - Does not compile, package object is not visible 
} 

そして最後にアプリケーション：

package test.bar 

import test.foo.Foo 

object Bar extends App { 

    def plus2(i: Int) = i + 2 
    def plus2(f: Foo) = f.i + 2 
    def plus2(o: Option[Foo]) = o.map(f => Foo(f.i + 2)) 

    println(2 |> plus2) // 2 - Does not compile, package object is not visible 
    println(Foo(2) |> plus2) // 3 - Does compile !? 
    println(Option(Foo(2)) |> plus2) // 4 - Does compile too !? 

} 

最初の2つのコメントは、コンパイルできない行を示しています。これは、パッケージオブジェクトがどのサブパッケージにも表示されないため、予想される動作です。

なぜ3番目と4番目のケースがコンパイルされますか？これらのケースで暗黙の変換が適用されるのはなぜですか？ルートパッケージのクラスを使用していません（Fooはサブパッケージにあり、Optionはパッケージにはありません）。ルートパッケージをインポートしていません。これは、暗黙がpackage objectで定義されたときによって引き起こされる

Answer 1

、これら暗黙は、そのパッケージが付けタイプのために動作します。たとえばあなたのタイプはFooです。

import test._ 
println(2 |> plus2) 
println(Foo(2) |> plus2) 

もっと検索：パッケージは、内部コンパニオンモジュールとクラスとして表現され

注意がパッケージを保持するために

ので、あなたの問題のために、手動でのように、暗黙をインポートすることができますメンバー。したがって、パッケージオブジェクトに定義されたimplicitsは、そのパッケージが接頭辞となる型の暗黙のスコープの一部です。

http://www.scala-lang.org/files/archive/spec/2.12/07-implicits.html