如何在Kotlin中创建不可变对象？

Question

Kotlin有一个const关键字。但我不认为kotlin中的常数是我所认为的。这似乎与C中的const非常不同。在我看来，its仅适用于静态成员和Java中的原语，不针对类变量进行编译：

data class User(val name: String, val id: Int)

fun getUser(): User { return User("Alex", 1) }

fun main(args: Array<String>) {
    const val user = getUser()  // does not compile
    println("name = ${user.name}, id = ${user.id}")
    // or
    const val (name, id) = getUser()   // does not compile either
    println("name = $name, id = $id")
}

由于这似乎不起作用，我认为我真正想要的是第二个类，它删除我不想支持的操作：

class ConstUser : User
{
    ConstUser(var name: String, val id: int) : base(name, id)
    { }
    /// Somehow delte the setters here?
}

这种方法的明显缺点是，我不能忘记更改这个类，以防我更改User，这对我来说非常危险。

但是我不确定如何做到这一点。所以问题是：如何用意识形态静态编程语言制作不可变的对象？

Answer 1

Kotlin中的const修饰符用于编译时常量。不变性是通过val关键字实现的。

静态编程语言有两种类型的属性：只读val和可变var。

data class User(val name: String, val id: Int)

val user = User("Alex", 1)

user.name = "John" // won't compile, `val` cannot be reassigned
user = User("John", 2) // won't compile, `val` cannot be reassigned

您不必以某种方式隐藏或删除val属性的任何setter，因为这些属性没有setter。