類型類和子類

Question

假設我有一個類型的類：

trait ToString[T] { 
    def toString(t: T): String 
} 

而下面的皮條客：

implicit def ToStr[T: ToString](t: T) = new { 
    def toStr: String = implicitly[ToString[T]] toString t 
} 

現在let's測試：

class A 
implicit object AToString extends ToString[A] { 
    def toString(a: A) = "A" 
} 
(new A).toStr // A 

精細，所以遠。但是，如果我介紹BA的子類：

class B extends A 
(new B).toStr // could not find implicit value for evidence parameter of type ToString[B] 

所以，我想：

implicit def foo[X: ToString, Y <: X]: ToString[Y] = new ToString[Y] { 
    def toString(y: Y): String = implicitly[ToString[X]] toString y 
} 

但後來我：

(new B).toStr // diverging implicit expansion for type ToString[...] 

我能做些什麼來自動使用類型類對於超類，如果沒有可用的子類的類型類？

Answer 1

你應該做 '的ToString' 逆變類型參數：

trait ToString[-T] { 
    def toString(t: T): String 
} 

implicit def ToStr[T: ToString](t: T) = new { 
    def toStr: String = implicitly[ToString[T]] toString t 
} 

class A 
implicit object AToString extends ToString[A] { 
    def toString(a: A) = "A" 
} 

(new A).toStr // A 

class B extends A 
(new B).toStr // A 

你可以找到斯卡拉約方差一些詳細的信息在這裏：

• http://blogs.atlassian.com/2013/01/covariance-and-contravariance-in-scala/