Scala 结构类型，其方法只知道一些参数答案

【问题标题】：Scala structural type with method where only some params are knownScala 结构类型，其方法只知道一些参数
【发布时间】：2016-01-18 11:42:47
【问题描述】：

鉴于此代码：

object Testy extends App {

  case class Person(
                     id: Option[Long],
                     firstName: String,
                     lastName: String,
                     address: Address)

  case class Address(id: Option[Long],
                     name: String,
                     number: Int)

  val personOrAddress:AnyRef= Person(Some(1L), "first", "last", Address(Some(1L), "street", 1))
  type HasCopyMethodWithId = _
  val newId = Some(123L)
  personOrAddress.asInstanceOf[HasCopyMethodWithId].copy(id = newId)
}

我怎样才能实现'type HasCopyMethodWithId'，以便这段代码在运行时编译并且不会失败？

我试过了：

type HasCopyMethodWithId = {def copy(id: Option[Long]): AnyRef}

【问题讨论】：

我认为你不能，这些复制方法不同。您必须创建另一个方法，例如 copyId 来使用复制。
可以通过宏检测到实际类型（不是一般结构类型）吗？

标签： scala structural-typing

【解决方案1】：

案例类提供的合成copy 方法是一个具有该案例类的所有参数的方法，而不是id、firstName 等的单个重载方法。因此，结构类型不匹配。

你可以添加一个辅助方法：

case class Person(id: Option[Long],
                  firstName: String,
                  lastName: String,
                  address: Address) {

  def copyId(newId: Option[Long]): Person = copy(id = newId)
}

case class Address(id: Option[Long],
                   name: String,
                   number: Int) {
  def copyId(newId: Option[Long]): Address = copy(id = newId)
}

val personOrAddress: Any = 
  Person(Some(1L), "first", "last", Address(Some(1L), "street", 1))

type HasCopyMethodWithId = { def copyId(id: Option[Long]): Any }
val newId = Some(123L)
personOrAddress.asInstanceOf[HasCopyMethodWithId].copyId(id = newId)

但几乎可以肯定更好的是提供静态类型：

trait CopyWithId { 
  type Repr 
  def copyId(id: Option[Long]): Repr
}

case class Person(id: Option[Long],
                  firstName: String,
                  lastName: String,
                  address: Address) extends CopyWithId {

  type Repr = Person
  def copyId(newId: Option[Long]): Person = copy(id = newId)
}

case class Address(id: Option[Long],
                   name: String,
                   number: Int) extends CopyWithId {

  type Repr = Address
  def copyId(newId: Option[Long]): Address = copy(id = newId)
}

val personOrAddress: CopyWithId = 
  Person(Some(1L), "first", "last", Address(Some(1L), "street", 1))

val newId = Some(123L)
personOrAddress.copyId(id = newId)

【讨论】：

你这里有一个错字type HasCopyMethodWithId = { def copyID