Implicits y orden de la declaración

Question

Aquí hay una simplificación de lo que encontré. Esto compila:

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

Si bien esto no lo hacen (no podía encontrar el valor implícito):

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

Traté de hacer mis intenciones claras mediante la especificación de un auto-tipo: trait A { this: B => ... }, pero fue en vano .

¿Cómo me ocupo de este tipo de dependencias sin preocuparme por cómo se presenta mi código?

Answer 1

tiene que declarar el tipo de forma explícita, al menos por esta última

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

Las reglas para la visibilidad implícita es diferente si su tipo se declara explícitamente o no. Si no lo es, lo implícito está disponible (como implícito) solo después del punto de declaración.

La razón es que la inferencia de tipo puede volverse demasiado difícil si el tipo no se declaró (como en la rutina recursiva). En muchos casos, la inferencia sería fácil (como en su código) pero la especificación debe ser clara.