Loại mẫu lớp trong Scala không xem xét thừa kế?

Question

Tôi đang thiết kế một lớp API sử dụng loại trong một số trường hợp tuy nhiên tôi đã gặp phải một vấn đề với độ phân giải ngầm định. Như được hiển thị bên dưới, nếu có một đối tượng ẩn cho loại A nhưng đối tượng thuộc loại B extends A được chuyển đến phương thức, thì không thể tìm thấy đối tượng ẩn. Có cách nào để thực hiện công việc này hoặc người gọi có phải đặt các đối tượng ngầm vào phạm vi cho mỗi phân lớp không?

Dưới đây là một ví dụ:

class A 
class B extends A 

class T[+X] 

object T { 
    implicit object TA extends T[A] 
} 

def call[X:T](x:X) = println(x) 

// compiles 
call(new A) 
// doesn't compile 
call(new B) 

var a = new A 
// compiles 
call(a) 

a = new B 
// compiles 
call(a) 

val b = new B 
// doesn't compile 
call(b) 

này thất bại trong việc biên dịch với đầu ra sau đây:

 
/private/tmp/tc.scala:16: error: could not find implicit value for evidence parameter of type this.T[this.B] 
call(new B) 
    ^
/private/tmp/tc.scala:28: error: could not find implicit value for evidence parameter of type this.T[this.B] 
call(b) 

Answer 1

Hãy thử điều này:

object T { 
    implicit def TA[X <: A] = new T[X] 
} 

import T._ 

hoặc đơn giản là:

implicit def TA[X <: A] = new T[X] 

Answer 2

Các công việc sau tốt:

scala> def call[X](x: X)(implicit evidence: T[X]<:<T[X]) = println(x) 
call: [X](x: X)(implicit evidence: <:<[T[X],T[X]])Unit 

scala> call(new A) 
line0$object$$iw$$iw$A@1d869b2 

scala> call(new B) 
line2$object$$iw$$iw$B@b3a5d1 

scala> val b = new B 
b: B = B@30e4a7 

scala> call(b) 
line2$object$$iw$$iw$B@30e4a7 

Trong trường hợp biên dịch của bạn thất bại, vì def call[X:T](x:X) = println(x) được coi là call: [X](x: X)(implicit evidence$1: T[X])Unit. Để vượt qua loại phụ, bạn có thể sử dụng các ràng buộc kiểu tổng quát.

Answer 3

Gọi call(new B) có nghĩa là call[B](new B)(tB) sao cho tb thuộc loại T [B] hoặc phân lớp của nó. (Một phương thức kỳ vọng đối số kiểu T chỉ có thể mong đợi T hoặc phân lớp T, ví dụ: def foo(s: String) không thể được gọi với đối số kiểu Any). T [A] không phải là loại phụ của T [B]

Để khắc phục, bạn có thể thay đổi T để được xác định T[-X]. Điều này có nghĩa rằng trình biên dịch sẽ xem xét T [A] là một loại phụ của T [B]