Câu hỏi về chuyển đổi tiềm ẩn Scala Quy tắc không mơ hồ

Question

Ai đó có thể giải thích cho tôi về tình huống sau đây với cơ chế chuyển đổi tiềm ẩn của Scala. Có một mã:

object Main { 
    implicit val x:Int => String = v => "val" 
    implicit def y(v:Int) = "def" 

    def p(s:String) = print(s) 

    def main(args: Array[String]): Unit = { 
     p(1) 
    } 
} 

Mã này in "val". Nhưng khi tôi nhận xét dòng thứ hai:

//implicit val x:Int => String = v => "val" 

in mã "def".

Vì vậy, cả hai chuyển đổi tiềm ẩn (x và y) đều có thể xảy ra trong tình huống này. Có Quy tắc không mơ hồ - một chuyển đổi tiềm ẩn chỉ được chèn vào nếu không có chuyển đổi có thể khác để chèn. Theo quy tắc này, mã này không được biên dịch chút nào. Nhưng mã được biên dịch và thực hiện thành công. Những gì tôi không hiểu?

Cảm ơn.

Answer 1

Lý do cho điều này được nêu trong phần Đặc điểm Ngôn ngữ Scala 6.26.2.

Trước khi phương pháp này có thể được coi là hàm cần phải được chuyển đổi thành một hàm bằng cách thực hiện mở rộng eta. Do đó, một chuyển đổi tiềm ẩn hơn sẽ phải được áp dụng và do đó, val được chọn.

CẬP NHẬT: ví dụ bị xóa hoàn toàn.

Đánh giá phương thức không có tham số luôn được thực hiện ngầm định.