如何更新实现通用接口的数据类

我正在努力处理数据类和多态性。 我想从不变性中受益，但仍然能够更新我的状态。 为此，我希望能够使用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函数，但是如果子类型有附加属性，它们不会覆盖复制函数。
这是令人沮丧的，因为我知道这些子类有这个属性，但我不能在界面中利用这些知识。

Answer 1

[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的建议。