相关疑难解决方法(0)

在 Scala 中使用泛型实现 trait 的正确方法是什么?

我有一些简单的特征(下面示例中的实体),它们由我的应用程序中的案例类扩展。我想创建一个 EntityMapper 特征,它提供一个接口来处理扩展实体特征的案例类(下面示例中的 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))
}
Run Code Online (Sandbox Code Playgroud)

我尝试了几种不同的方法来解决问题,但没有任何效果。如果我注释掉有问题的行“println(e.id)”,它会编译,但这没有用,因为我无法访问或修改 Foo 的任何属性。

我曾尝试对映射器特征使用协变参数,然后将类型提供给 FooMapper 对象定义,但这会产生相同的错误。该尝试的代码如下:

trait EntityMapper[+Entity] {
    def create[E <: Entity](e: E): …
Run Code Online (Sandbox Code Playgroud)

generics scala type-bounds

6
推荐指数
1
解决办法
5122
查看次数

标签 统计

generics ×1

scala ×1

type-bounds ×1