0

抽象问题：创建一个可以混合到类的伴随对象中的特征，为该对象提供一个返回该类对象的方法。

具体问题：我正在尝试创建一堆用于 RESTful 服务调用的类，它们知道如何对自己进行序列化和反序列化，如下所示：

case class Foo
(
    var bar : String,
    var blip : String
)
extends SerializeToJson
object Foo extends DeserializeFromJson

预期的用法是这样的：

var f = Foo( "abc","123" )
var json = f.json
var newF = Foo.fromJson( json )

我正在使用Genson通过全局对象访问的序列化/反序列化：

object JSON {
  val parser = new ScalaGenson( new GensonBuilder() <...> )
}

然后我像这样定义特征：

trait SerializeToJson {
  def json : String = JSON.parser.toJson(this)
}
trait DeserializeFromJson[T <: DeserializeFromJson[T]] {
  def fromJson( json : String ) : T = JSON.parser.fromJson( json )
}

这编译。但这不会：

object Foo extends DeserializeFromJson[Foo]

我收到以下错误消息：

type arguments [Foo] do not conform to trait DeserializeFromJson's 
type parameter bounds [T <: DeserializeFromJson[T]]

我尝试过创建一个特征，如下所示：

trait JsonSerialization[T <: JsonSerialization[T]] {

  def json(implicit m: Manifest[JsonSerialization[T]]) : String = 
    JSON.parser.toJson(this)(m)

  def fromJson( json : String ) : T = 
    JSON.parser.fromJson(json)

}

现在，如果我只是声明，case class Foo (...) extends JsonSerialization[Foo]那么我不能调用Foo.fromJson，因为只有类的实例Foo具有该方法，而不是伴随对象。

如果我声明object Foo extend JsonSerialization[Foo]，那么我可以编译并Foo拥有一个.fromJson方法。但是在运行时，调用fromJson认为那T是 a JsonSerialization，而不是 a Foo，或者以下运行时错误表明：

java.lang.ClassCastException: scala.collection.immutable.HashMap$HashTrieMap cannot be cast to ...JsonSerialization
at ...JsonSerialization$class.fromJson(DataModel.scala:14)
at ...Foo.fromJson(Foo.scala:6)

我不能宣布object Foo extends Foo，因为我得到

module extending its companion class cannot use default constructor arguments

所以我可以尝试添加构造函数参数，然后编译并运行，但是当它尝试反序列化时运行时类型再次错误，给我上面的错误。

我唯一能做的就是fromJson在每个伴随对象中定义。但是必须有一种方法可以在特征中定义它，并且只需混合该特征即可。正确的？

4

3 回答 3

0

解决方案是简化特征的类型参数。

trait DeserializeFromJson[T] { 
  def fromJson( json : String )(implicit m : Manifest[T]) : T = 
    JSON.parser.fromJson[T](json)(m)
}

现在，伴生对象可以扩展DeserializeFromJson[Foo]，当我调用Foo.fromJson( json )它时，它能够告诉 Genson 正确的类型信息，以便创建适当类型的对象。

于 2016-03-16T15:05:49.260 回答
0

问题与隐式如何工作有关。Genson 期望有一个 Manifest 用于了解它必须反序列化的类型。此清单在 Genson 中被定义为隐式，这意味着它将尝试从“调用者代码”中隐式可用的清单中获取它。但是，在您的原始版本中，DeserializeFromJson 中没有 Manifest[T]。

另一种方法是像这样定义 DeserializeFromJson （它只会产生一个带有隐式 Manifest[T] 参数的构造函数）：

abstract class DeserializeFromJson[T: Manifest] {
  def fromJson( json : String ) : T = JSON.parser.fromJson[T](json)
}

object Foo extends DeserializeFromJson[Foo]

更一般地说，如果您不通过封装库（在本例中为 Genson）带来更多价值，我认为您不应该这样做。因为您基本上减少了 Genson 的功能（现在人们只能使用字符串）并引入您遇到的问题。

于 2016-03-18T18:00:20.453 回答
0

我认为您的类型参数约束最初是错误的；你有过

trait DeserializeFromJson[T <: DeserializeFromJson[T]]

有了你自己的答案，你就彻底放松了；你需要

trait DeserializeFromJson[T <: SerializeToJson]

...错误试图告诉你。

对隐含的 Manifest（我相信现在是 ClassTag）或上下文边界的需求很重要。

Scala 允许基于类/特征和伴随对象关系的继承和类型参数约束的规范会很好，因为它已经在某种程度上意识到了访问修饰符和隐式作用域。

于 2021-02-09T11:19:08.917 回答