Kotlin val 差异 getter 覆盖与分配

Question

我开始使用 Kotlin 玩 arround，并阅读了一些关于使用自定义 getter 的 mutable val 的内容。如 here 或 Kotlin Coding Convention 中所述，如果结果可以更改，则不应覆盖 getter。

class SampleArray(val size: Int) {
    val isEmpty get() = size == 0  // size is set at the beginning and does not change so this is ok
}

class SampleArray(var size: Int) {
    fun isEmpty() { return size == 0 }  // size is set at the beginning but can also change over time so function is prefered
}

但仅从使用指南的角度来看，以下两者之间的区别在哪里

class SampleArray(val size: Int) {
    val isEmpty get() = size == 0  // size can not change so this can be used instad of function
    val isEmpty = size == 0        // isEmpty is assigned at the beginning ad will keep this value also if size could change
}

从this 的答案我可以看到，对于 getter 覆盖，值没有被存储。还有其他什么地方 getter 覆盖与分配不同吗？也许与代表或拉丁？

Answer 1

这里的关键区别在于，在val isEmpty get() = ... 中，每次访问属性时都会评估主体，而在val isEmpty = ... 中，右侧的表达式在对象构造期间被评估，结果存储在@987654321 @ 并且每次使用该属性时都会返回这个确切的结果。

因此，第一种方法适用于您希望每次都计算结果的情况，而第二种方法适用于您希望只计算一次并存储结果的情况。

Answer 2

在您的第二个示例中，size 是不可变值，因此两种方式都有效。

但是，具有覆盖 getter get() = size == 0 has no backing field 的变体，因此每次访问 isEmpty 变量时都会评估 size == 0。

另一方面，当使用初始化器 = size == 0 时，表达式 size == 0 在构造过程中被求值（检查确切的时间和方式 - An in-depth look at Kotlin’s initializers）并存储到 backing field，然后返回其中的值你访问变量。