11

我有两个类PixelObject，ImageRefObject还有更多，但这里只是这两个类来简化事情。它们都是trait Object包含 uid 的 a 的子类。我需要通用方法，它将使用给定的 new 复制案例类实例uid。我需要它的原因是因为我的任务是创建一个类 ObjectRepository ，它将保存任何子类的实例Object并用 new 返回它uid。我的尝试：

trait Object {
  val uid: Option[String]
}

trait UidBuilder[A <: Object] {
  def withUid(uid: String): A = {
    this match {
      case x: PixelObject => x.copy(uid = Some(uid))
      case x: ImageRefObject => x.copy(uid = Some(uid))
    }
  }
}

case class PixelObject(uid: Option[String], targetUrl: String) extends Object with UidBuilder[PixelObject]

case class ImageRefObject(uid: Option[String], targetUrl: String, imageUrl: String) extends Object with UidBuilder[ImageRefObject]

val pix = PixelObject(Some("oldUid"), "http://example.com")

val newPix = pix.withUid("newUid")

println(newPix.toString)

但我收到以下错误：

➜  ~  scala /tmp/1.scala
/tmp/1.scala:9: error: type mismatch;
 found   : this.PixelObject
 required: A
      case x: PixelObject => x.copy(uid = Some(uid))
                                   ^
/tmp/1.scala:10: error: type mismatch;
 found   : this.ImageRefObject
 required: A
      case x: ImageRefObject => x.copy(uid = Some(uid))
                                      ^
two errors found
4

3 回答 3

11

我会坚持 Seam 提出的解决方案。几个月前我也做过同样的事情。例如：

trait Entity[E <: Entity[E]] {
  // self-typing to E to force withId to return this type
  self: E => def id: Option[Long]
  def withId(id: Long): E
}
case class Foo extends Entity[Foo] {
  def withId(id:Long) = this.copy(id = Some(id))
}

因此，不是为你的 trait 的所有实现定义一个匹配的 UuiBuilder，而是在你的实现本身中定义方法。您可能不想在每次添加新实现时都修改 UuiBuilder。

此外，我还建议您使用自输入来强制执行 withId() 方法的返回类型。

于 2013-03-15T21:39:38.437 回答
1

当然更好的解决方案是实际利用子类型？

trait Object {
  val uid: Option[String]
  def withNewUID(newUid: String): Object
}
于 2013-03-15T20:41:27.313 回答
0

转换为 A 可以解决问题 - 可能是由于您的案例类的递归定义。

trait UidBuilder[A <: Object] {
  def withUid(uid: String): A = {
    this match {
      case x: PixelObject    => x.copy(uid = Some(uid)).asInstanceOf[A]
      case x: ImageRefObject => x.copy(uid = Some(uid)).asInstanceOf[A]
    }
  }
}

也许有一个更优雅的解决方案（除了 - 为每个案例类很好地实现 withUid，我认为这不是你所要求的），但这有效。:) 我认为使用 UidBuilder 执行此操作可能不是一个简单的想法，但它仍然是一种有趣的方法。

为了确保你不会忘记一个案例 - 我认为所有需要的案例类都在同一个编译单元中 - 制作你Object的 asealed abstract class并添加另一个演员

this.asInstanceOf[Object]

如果您在其中一个案例类中遗漏了一个案例，您将收到警告。

于 2013-03-15T20:50:17.640 回答