我有一些简单的特征(下例中的实体),我的应用程序中的案例类扩展了这些特征。我想创建一个EntityMapper特征,它提供一个接口来处理扩展Entity特征的case类(下例中的Foo)。我认为我应该能够使用泛型和边界相当容易地做到这一点,但我已经花了几个小时就已经开始了,我还没有让它正常工作。下面的代码是我认为我应该能够做的但是它因编译器错误而失败。错误是
Test.scala:15:错误:值id不是类型参数Foo的成员 的println(e.id)
package experiment
trait Entity {
val id: Option[Long]
}
case class Foo(val id: Option[Long] = None) extends Entity
trait EntityMapper {
def create[E <: Entity](e: E): E
}
object FooMapper extends EntityMapper {
def create[Foo](e: Foo): Foo = {
println(e.id)
e
}
}
object Main extends App {
val foo = FooMapper.create(Foo(None))
}
我尝试了几种不同的方法来解决这个问题,但没有任何效果。如果我注释掉有问题的行“println(e.id)”,它会编译,但这没有用,因为我无法访问或修改Foo的任何属性。
我尝试对映射器特征使用协变参数,然后将类型提供给FooMapper对象定义但产生相同的错误。该尝试的代码如下:
trait EntityMapper[+Entity] {
def create[E <: Entity](e: E): E
}
object FooMapper extends EntityMapper[Foo] {
...
}
我也试过用简单的继承来实现同样的东西,但是我不能正确地限制FooMapper中的类型参数只采用Foos,我必须使方法签名完全匹配特征,这就是为什么我开始尝试使用它来实现它具有类型绑定的泛型。该尝试的代码如下:
trait EntityMapper {
def create(e: Entity): Entity
}
object FooMapper extends EntityMapper {
def create(e: Foo): Foo = {
println(e.id)
e
}
}
返回的错误代码是:
Test.scala:13:错误:对象创建不可能,因为方法在特性EntityMapper中创建类型(e:experiment.Entity)experiment.Entity未定义
(注意,experiment.Entity与experiment.Foo不匹配:包实验中的类Foo是包实验中特征实体的子类,但方法参数类型必须完全匹配。)
object FooMapper extends EntityMapper {
^
非常感谢任何帮助。我正在使用Scala版本2.10.3。
答案 0 :(得分:3)
您可以通过多种方式修复错误
1.在特征上指定泛型类型约束。
trait EntityMapper[E <: Entity] {
def create(e: E): E
}
object FooMapper extends EntityMapper[Foo] {
def create(e: Foo): Foo = {
println(e.id)
e
}
}
2.使用参数化类型
trait EntityMapper {
type E <: Entity
def create(e: E): E
}
object FooMapper extends EntityMapper {
type E = Foo
def create(e: Foo): Foo = {
println(e.id)
e
}
}
查看Scala: Abstract types vs generics以获得有关这两种方法的更多背景信息。