Scala类型系统 - 帮助理解类型别名的不匹配

时间:2012-03-15 18:48:25

标签: scala types

我是Scala类型系统的新手,我正试图通过这个JAXB编组示例来探索它。如果将参数类型更改为toString为AnyRef,则它可以正常工作。但是,我想通过类型系统表示toString的参数必须与具体构造函数的type-parameter的类型相同。有没有办法实现这个目标?

我不明白为什么下面的错误消息似乎表明typ = XMLMarshaller [TestObj]而不仅仅是TestObj。在我的调试器中,typ = TestObj。对这个特定问题的任何帮助或对这段代码的一般见解非常感谢!

error: type mismatch;  found   : TestObj  required: _1.typ where val
_1: XMLMarshaller[TestObj]
           val o = new XMLMarshaller[TestObj]().toString(new TestObj("hello","world"))

这是代码,只需粘贴到REPL:

import javax.xml.bind.{Marshaller, JAXBContext}
import java.io.{ByteArrayInputStream, StringWriter}
import org.jboss.resteasy.plugins.providers.jaxb.json.JettisonMappedContext
import javax.xml.bind.annotation.{XmlRootElement, XmlAccessorType, XmlAccessType}

abstract class XMarshaller {

  val context:JAXBContext
  type typ <: AnyRef

  def toString(obj:typ): String = {
    val marshaller:Marshaller = context.createMarshaller()
    val sw = new StringWriter
    marshaller.marshal(obj, sw)
    sw.toString
  }

  def valueOf(xmlString:String): typ = {
    val marshaller = context.createUnmarshaller()
    marshaller.unmarshal(new ByteArrayInputStream(xmlString.getBytes())).asInstanceOf[typ]
  }
}

class XMLMarshaller[T](implicit mT:Manifest[T]) extends XMarshaller {
  val typ = mT.erasure
  val context = JAXBContext.newInstance(typ)
}

class JSONMarshaller[T](implicit mT:Manifest[T]) extends XMarshaller {
  val typ = mT.erasure
  val context = new JettisonMappedContext(typ)
}

@XmlRootElement
@XmlAccessorType(value = XmlAccessType.FIELD)
case class TestObj(x:String, y:String){
  def this() {this("","")}
}

object Test {
  def main(args: Array[String]) {
    val o = new XMLMarshaller[TestObj]().toString(new TestObj("hello","world"))
    println(o)
  }
}

1 个答案:

答案 0 :(得分:2)

由于Scala的语法如何工作,类可以具有类型成员和值 具有相同名称的成员,而不是创建任何名称conflits(您可以随时 用上下文来表示。)

你所拥有的是:

abstract class FooAbstract {
    type Type <: AnyRef
}

class FooConcrete[T<:AnyRef](implicit mt: Manifest[T]) extends FooAbstract {
    val Type = mt.erasure
}

其中FooConcrete未覆盖类型成员Type。你真的想要

class FooConcrete[T<:AnyRef](implicit mt: Manifest[T]) extends FooAbstract {
    type Type = T
}

奇怪的是,Scala允许您无法覆盖类型,并且 让它完全抽象。我不确定这是故意还是Scala 错误。