类型类和子类

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/