Ngụ ý và lệnh khai báo

Question

Đây là cách đơn giản hóa những gì tôi gặp phải. Đây biên dịch:

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

Trong khi điều này không (không thể tìm thấy giá trị tiềm ẩn):

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

tôi đã cố gắng để làm cho ý định của tôi rõ ràng bằng cách xác định một tự loại: trait A { this: B => ... }, nhưng không có kết quả .

Làm cách nào để giải quyết loại phụ thuộc này mà không phải lo lắng về cách mã của tôi được đặt ra?

Answer 1

Bạn cần phải khai báo kiểu một cách rõ ràng, ít nhất là cho sau này một

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

Các quy tắc cho tầm nhìn tuyệt đối là khác nhau cho dù loại của nó được khai báo explicitely hay không. Nếu nó không phải là, tiềm ẩn có sẵn (như là một tiềm ẩn) chỉ sau thời điểm khai báo.

Lý do là suy luận kiểu có thể trở nên quá khó nếu loại không được khai báo (như trong quy trình đệ quy). Trong nhiều trường hợp, suy luận sẽ dễ dàng (như trong mã của bạn) nhưng thông số kỹ thuật phải được cắt rõ ràng.