Subimplicits rõ ràng

Question

Xét đoạn mã sau:

class A { def print = println("A") } 
class B extends A { override def print = println("B") } 

def foo(implicit a: A) = a.print 

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

bar(new A) // B 

Tôi tự hỏi tại sao gọi foo trong bar không được nâng cao một lỗi ambiguous implicit values. Tất nhiên

implicit val b: A = new B 

sẽ tăng lỗi đó. Tại sao foo chọn ngụ ý b và không ngụ ý a tiềm ẩn? Hoặc thậm chí tổng quát hơn: Các quy tắc sẽ được chọn là gì?

EDIT:
Do tôi comment-trò chuyện với Ivan Tôi muốn làm rõ: Tôi sẽ biết câu trả lời cho câu hỏi của tôi nếu tôi đặt tên cho địa phương tiềm ẩn val cách tương tự như tham số phương pháp ngầm.

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

Chỉ phạm vi địa phương ghi đè tham số phương thức vì chúng có cùng tên.

Answer 1

Lưu ý: Tôi có thể là những thứ quá tải, nhưng trong thử nghiệm nó có vẻ như sau.

Đó là vì thứ hai nằm trong phạm vi bên trong nên nó được ưu tiên. Điều tương tự của nó xảy ra với

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

Trong trường hợp này, bạn mong đợi a là 6 bên trong hàm. Sau đây là tương tự.

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

Được cập nhật từ nhận xét.

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

scala> test(6) 
res1: Int = 5