Kesin Subimplicits

Question

Aşağıdaki kodu düşünün. Tabii ki

implicit val b: A = new B 

bu hatayı artıracaktır. Neden foo neden örtük'u seçer ve örtük a? Veya daha genel: Neyin seçileceğine dair kurallar neler?

DÜZENLEME: Ben açıklamak istiyorum
nedeniyle Ivan ile benim comment-konuşma için: Yerel örtülü Val kapalı yöntem parametresi olarak aynı şekilde adlandırılmış eğer Sorumun cevabını bilemez.

def bar(implicit a: A) = { 
    implicit val a = new B 
    foo 
} 

sonra sadece yerel val a aynı adı çünkü yöntem parametre alanı-geçersiz olduğu konular arasındadır.

Answer 1

Not: Muhtemelen işleri çok fazla abartıyorum, ancak testte aşağıdaki gibi görünüyordu.

Çünkü, ikincisi iç bir kapsamda olduğundan, önceliği vardır. Bu durumda

object test { 
val a = 5 
def test(i: Int) = { 
    val a = 6 
    i + a 
} 
} 

ile olur Onun aynı şey işlevi içinde 6 olmak a beklenebilir. Aşağıdaki benzer.

object test { 
    implicit val i = 5; 
    { 
    implicit val b = 6; 
    test 
    } 
    def test(implicit ii:Int) = println(ii) 
} 

Yorumdan güncellendi.

scala> def test(a: Int) = {val a = 5; a } 
test: (a: Int)Int 

scala> test(6) 
res1: Int = 5