声明的隐含和顺序

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

您需要显式声明类型，至少对于后者而言

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

无论其类型是否显式声明，隐式可见性的规则都是不同的。如果不是，则隐式仅在声明点之后可用（作为隐式）。

原因是如果没有声明类型（如递归例程中），类型推断可能会变得太困难。在许多情况下，推断会很容易（如在您的代码中），但规范必须明确。