隐式转换不适用

Question

我试图制定一个将任意值转换为Json表示并且在未定义转换的情况下编译时错误的经典示例。

到目前为止，我有，

trait Json 

    trait ConvertableToJson[A] { 
    def toJson: Json 
    } 

    object Json { 

    case class Str(str: String) extends Json 

    case class Int(int : Int) extends Json 

    case class StrToJson(s: String) extends ConvertableToJson[StrToJson] { 
     override def toJson: Json = Str(s) 
    } 

    } 

    implicit def str2Json(s: String): StrToJson = StrToJson(s) 

    def toJson[A <: ConvertableToJson[A]](a: A) = a.toJson 

    println(toJson("some string")) 

我希望上面的代码一样的工作：

toJson("some string")失败而不implicit def编译。因为String <: ConvertableToJson[String]是错误的。

但后来用，implicit def并找到Str2Json。

Str2Json <: ConvertableToJson[Str2Json]应该是正确的。

不过，这并没有发生，编译器抱怨：

Error: Inferred type arguments [String] do not conform to method toJson's type parameter bounds [A <: scalaz.ConvertToJson.ConvertableToJson[A]] 
    println(toJson("dhruv")) 
     ^

这将是巨大的，如果有人能帮助我纠正我的理解

Answer 1

因此，有两个问题与您的代码。首先String不会延伸ConvertableToJson[String]，这是你最后一次函数调用正在做的事情。

第二个case class StrToJson应延伸ConvertableToJson[String]而不是ConvertableToJson[StrToJson]。

然后通过使用视图边界<%（参见下面的工作示例）编译代码。然而，这是一个坏主意，因为视图范围已被弃用为语言功能，您应该改用类型类。

trait Json 

trait ConvertableToJson[A] { 
    def toJson: Json 
} 

object Json { 

    case class Str(str: String) extends Json 

    case class Int(int : Int) extends Json 

    case class StrToJson(s: String) extends ConvertableToJson[String] { 
    override def toJson: Json = Str(s) 
    } 

} 

import Json._ 

implicit def str2Json(s: String): StrToJson = StrToJson(s) 

def toJson[A <% ConvertableToJson[A]](a: A) = a.toJson 

println(toJson("some string")) 

使用类型类

trait Json 

trait ConvertableToJson[A] { 
    // NOTE: this now takes a parameter 
    def toJson(a: A): Json 
} 

object Json { 

    case class Str(str: String) extends Json 

    case class Int(int : Int) extends Json 
} 

import Json._ 

// NOTE: Because toJson takes a parameter the implicit implementation can now be an object 
implicit object Str2Json extends ConvertableToJson[String] { 
    override def toJson(a: String): Json = Str(a) 
} 

// NOTE: If you want to support the a.toJson syntax this implicit class adds it for all types with an implicit ConvertableToJson 
implicit class ConvertableToJsonSyntax[A](a: A)(implicit ev: ConvertableToJson[A]) { 
    def toJson: Json = ev.toJson(a) 
} 

// NOTE: Now we use context-bounds instead of view-bounds 
def toJson[A : ConvertableToJson](a: A) = a.toJson 

// NOTE: we can expand the context-bounds 
def toJson2[A](a: A)(implicit ev: ConvertableToJson[A]) = a.toJson 

// NOTE: But since we have the type class instance now, we do not need the extra syntax 
def toJson3[A](a: A)(implicit ev: ConvertableToJson[A]) = ev.toJson(a) 

println(toJson("some string"))