0

有这个代码

case class Workspace(ident: Long, name: String)
case class Project(ident: Long, name: String)

implicit def workspaceJSON: JSONR[Workspace] = new JSONR[Workspace] {
  def read(json: JValue) =
    Workspace.applyJSON(field[Long]("id"), field[String]("name"))(json)
}

implicit def projectJSON: JSONR[Project] = new JSONR[Project] {
  def read(json: JValue) =
    Project.applyJSON(field[Long]("id"), field[String]("name"))(json)
}

def parseEnt[T: JSONR](json: JValue): Either[String, T] =
  fromJSON[T](json).toEither.left.map{ _.toString }

def fetchProjects(ws: Workspace): Either[String, Project] = {
  parseEnt(parse("some text"))
}

哪个无法parseEnt(parse("some text"))编译

ambiguous implicit values:  both method taskJSON in class Fetcher of type =>
Fetcher.this.JSONR[types.Task]  and method workspaceJSON in class Fetcher of type =>
Fetcher.this.JSONR[Fetcher.this.Workspace]  match expected type Fetcher.this.JSONR[T]

有没有办法保证 scala，在这种情况下，我希望类型变量T是 aProject并选择projectJSON函数来解析它？或者，如果我做错了，那么如何以正确的方式做呢？

4

1 回答 1

0

编译器试图自动推断 type T，它必须是可以从 a 开始产生的东西String（或多或少，但在这里详细说明不重要）

不幸的是，它无法成功，因为您提供了多个从StringtoProject和Workspace. 简单的解决方案是明确指出您要生成的类型：

parseEnt[Project](parse("some text"))

这种模式在序列化类型类中相当常见，您将多个特定类型映射到一个通用类型（String在本例中）。

于 2014-07-21T18:44:14.853 回答