C# record的with关键字在Kotlin data类中有什么等效实现方式？

Kotlin 的 data 类原生就提供了与 C# record with 表达式功能完全一致的特性，无需手动编写样板代码，同时可以全程保持实例不可变。

这个特性就是 data 类编译时自动生成的 copy() 函数，使用时仅需要传入你要修改的属性的新值，其余属性会自动沿用原实例的数值：

// 所有属性用 val 声明，保证实例不可变
data class User(
    val id: Long,
    val name: String,
    val age: Int,
    val email: String
)

fun main() {
    val originalUser = User(id = 1, name = "张三", age = 25, email = "zhangsan@example.com")
    // 仅修改 age 属性，生成新的不可变实例，其余属性与 originalUser 完全一致
    val updatedUser = originalUser.copy(age = 26)
    // 也支持同时修改多个属性
    val multiUpdatedUser = originalUser.copy(age = 26, email = "zhangsan26@example.com")
}

和 C# 中 var updatedUser = originalUser with { Age = 26 }; 的写法逻辑完全等价，完全满足你避免样板代码、保留实例不可变的需求。

内容的提问来源于stack exchange，提问作者Cromm