độ phân giải thông số ngầm với nhiều loại kinded cao

Question

Xét đoạn mã sau:

object foo { 

    trait Bar[Q[_]] 

    implicit object OptionBar extends Bar[Option] 

    def test[T, C[_]](c: C[T])(implicit bar: Bar[C]) =() 

    def main(args: Array[String]) { 
     test(Some(42): Option[Int]) //??? 
    } 
} 

này hoạt động, nhưng tôi cần phải gõ một số (42) theo Option [Int], nếu không đối tượng OptionBar ngầm sẽ không được đã giải quyết (vì một thanh [Some] được mong đợi thay thế). Có cách nào để tránh việc gõ rõ ràng, để tôi có được đối tượng OptionBar tiềm ẩn trong thử nghiệm ngay cả khi tôi thử nghiệm nguồn cấp dữ liệu với một số hoặc không?

[Làm rõ]

• tôi đã sử dụng lựa chọn ở đây cũng giống như ví dụ, nó cũng nên làm việc nếu tôi có một Bar cho một lớp trừu tượng, vv
• Giải pháp này cũng nên làm việc khi khác, không liên quan Bars là trong phạm vi, nói implicit object listBar extends Bar[list]

[cập nhật]

dường như làm contravariant tham số Bar làm t anh ta lừa:

object foo { 

    trait Bar[-Q[_]] //<--------------- 

    implicit object OptionBar extends Bar[Option] 
    implicit object ListBar extends Bar[List] 

    def test[T, C[_]](c: C[T])(implicit bar: Bar[C]) =() 

    def main(args:Array[String]) { 
    test(Some(42)) 
    } 
} 

Nhưng tất nhiên đây là một hạn chế nghiêm trọng về khả năng trong Bar, vì vậy tôi vẫn hy vọng có câu trả lời tốt hơn.

Answer 1

Nó sẽ không làm việc trong mọi trường hợp, nhưng như đã nói, bạn có thể thử này:

object foo { 
    trait Bar[Q[_]] 

    implicit object OptionBar extends Bar[Option] 

    def test[T, C[_], D](c: D)(implicit bar: Bar[C], ev: D <:< C[T]) =() 

    def main(args: Array[String]) { 
    test(Some(42)) //??? 
    } 
} 

Điều thú vị là, điều này không suy ra, mặc dù nó thể hiện điều tương tự:

def test[T, C[_], D <: C[T]](c: D)(implicit bar: Bar[C]) =() 

Để tìm hiểu thêm về <:<, xem:

• What do <:<, <%<, and =:= mean in Scala 2.8, and where are they documented?
• <:< operator in scala

Answer 2

Đó là bởi vì Some(42) là một loại hình cụ thể hơn Option[Int]. Đó là Some[Int]. Xem mã thay thế bên dưới:

object foo { 

    trait Bar[Q[_]] 

    implicit object OptionBar extends Bar[Option] 

    def test[T, C[_]](c: C[T])(implicit bar: Bar[C]) =() 

    def main(args: Array[String]) { 
     test(Option(42)) 
    } 
}