宣言と宣言の順序

Question

ここでは、私が遭遇したものの単純化しています。これは、コンパイルされます。

trait A { implicit val x = 1 } 
trait B extends A { val y = implicitly[Int] } 

これはいませんが（暗黙の値を見つけることができませんでした）：

trait B extends A { val y = implicitly[Int] } 
trait A { implicit val x = 1 } 

私は自己のタイプを指定することによって、私の意思を明確にしてみました：trait A { this: B => ... }が、無駄に。

コードの配置方法を気にせずにこの種の依存関係を処理するにはどうすればよいですか？

Answer 1

あなたは、少なくとも暗黙の可視性のためのルールは、その型が明示的か宣言されているかどうか異なり、後者1

trait B extends A { val y = implicitly[Int] } 
trait A { implicit val x : Int = 1 } 

のために、明示的に型を宣言する必要があります。そうでない場合は、宣言のポイントの後でのみ、暗黙的に（暗黙的に）使用できます。

型が宣言されていない場合（再帰ルーチンのように）型推論が難しくなる可能性があるためです。多くの場合、推論は（あなたのコードのように）簡単ですが、仕様は明確にする必要があります。