Implicits ve İşte beyanı

Question

sırası karşılaştığım ne bir sadeleştirme. Bu derler:

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

bu yok iken (örtük değerini bulamadım):

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

Ben kendi kendine türünü belirterek net Niyetimi yapmaya çalıştım: trait A { this: B => ... }, ama boşuna .

nasıl kod nasıl yerleştirildiğine önemsemeden ben bağımlılıkları bu tür başa do?

Answer 1

En az örtük görünürlük kuralları kendi türü explicitely veya olmasın bildirilmiş olsun farklıdır ikincisi biri

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

için, açıkça türü bildirmek gerekir. Öyle değilse, örtük, yalnızca bildirimin yapıldığı noktadan sonra (dolaylı olarak) kullanılabilir.

neden türünü (özyinelemeli rutin olduğu gibi) ilan olmasaydı tür kesmesi çok zor hale gelebilir olmasıdır. Çoğu durumda, çıkarım kolay olurdu (kodunuzda olduğu gibi), ancak spesifikasyonun açık bir şekilde kesilmesi gerekir.