सुस्पष्ट Subimplicits

Question

निम्नलिखित कोड पर विचार करें। बेशक

implicit val b: A = new B 

उस त्रुटि को बढ़ाएगा। foo क्यों निहित b चुनें और निहित a नहीं? या इससे भी अधिक सामान्य: क्या नियम उठाए जाएंगे?

संपादित करें:
कारण इवान के साथ मेरी टिप्पणी-बातचीत करने के लिए मैं स्पष्ट करना चाहता हूँ: अगर मैं स्थानीय अंतर्निहित वैल निहित विधि पैरामीटर के रूप में एक ही तरह से नामित मैं अपने सवाल का जवाब पता होगा।

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

तो केवल स्थानीय val a जो विधि पैरामीटर गुंजाइश-ओवरराइड करता है, क्योंकि वे एक ही नाम है दायरे में है।

Answer 1

नोट: मैं शायद चीजों को अत्यधिक बढ़ा रहा हूं, लेकिन परीक्षण में यह निम्न जैसा प्रतीत होता है।

ऐसा इसलिए है क्योंकि दूसरा एक आंतरिक दायरे में है, इसलिए इसकी प्राथमिकता है। इसका एक ही बात है कि

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

के साथ होता है इस मामले में आप a उम्मीद समारोह के अंदर 6 होगा। निम्नलिखित समान है।

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

टिप्पणी से अपडेट किया गया।

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

scala> test(6) 
res1: Int = 5