15

我正在为数据类和多态性而苦苦挣扎。我想从不变性中受益，但仍然能够更新我的状态。为此，我希望能够使用该copy功能。

让我们举个例子。我有这个类层次结构：

interface Aging {
  val age : Int
}

data class Cheese (
  override val age : Int
  // more Cheese specific properties
) : Aging

data class Wine (
  override val age : Int,
  val grape : String
  // more Wine specific properties
) : Aging

现在我希望能够做这样的事情（但这不起作用）：

class RipeningProcess(){
  fun ripen(products : List<Aging>) =
    // Not possibe, no copy function on Aging
    products.map { it.copy(age = it.age + 1) } 
}

如何以多态方式创建更新的副本？

我试图给接口一个copy函数，但如果子类型有额外的属性，它们不会覆盖复制函数。
这很令人沮丧，因为我知道子类型具有该属性，但我无法在界面中利用该知识。

4

1 回答 1

11

[OP:] 我想出的最好的方法确实是在界面中声明复制功能：

interface Aging {
  val age : Int
  fun copy(age : Int) : Aging
}

这适用于没有其他属性的数据类子类型（即问题中的奶酪）。对于具有附加属性的数据类子类型，您需要显式声明它，因为生成的copy函数不会覆盖接口中的函数。

具有年龄复制实现的子类型如下所示：

data class Wine(
  override val age : Int,
  val grape : String
) : Aging {

  // Different parameter name, to avoid conflict with generated copy method
  override fun copy(_age: Int) = copy(age = _age)
}

希望有更好的解决方案（或 Kotlin 改进；））。

编辑：更新以遵循 Ghedeons 的建议。

于 2017-08-09T07:39:14.450 回答