如何让 Kotlin function 我们知道一个可空变量在经过测试后保持非空

Question

处理对象变量的可空性的最佳方法是什么？ 表示我知道在执行 function 期间变量的值不会改变，因为 class 用于单线程，单协程，所以如果我测试了该值并确保它是非空的，它不能在执行 function 期间设置为 null？ 让我举个例子

class C(private var v: Int?) {
    fun p(i: Int) = print(i)
    fun f() {
        if (v != null) {
            p(v!!)
        }
    }
}

（问题末尾给出了更真实的代码示例）

我知道C总是在单线程中执行。 因此，在f执行时v的值不可能改变。 因此， v不可能变成 null，因此v!! 没用。 甚至

    fun f() {
        synchronized(this) {
            if (v != null) {
                p(v!!)
            }
        }
    }

需要，。 （考虑到同步的成本，我不想使用它。

所以我的问题是，解决这个问题的 Kotlin 方法是什么？ 我至少能想到三个解决方案。

fun f_local() {
    val v = v ?: return
    p(v)
}

不是很好，因为它添加了一条内容价值不大的行。 即使if (v==null) return至少会更清楚实际含义。 此外，如果当v为空/独立于v时我们有事可做，也不会工作

fun f_inside_return() {
    p(v?: return)
}

这似乎不太可读。 如果我们多次使用v ，我们需要重复?: return多次。

fun f_let() = v?.let(::p)
fun f_let_2() = v?.let{v -> p(v)}

这似乎在 Kotlin 中有意义。 但是如果我们必须处理多个可为空的变量，这意味着我们会在另一个内部获得许多作用域函数，这远非好事。

==================

在一个更现实的例子中，我的代码将包含诸如

fun h() { v = v +1 ?: 0 }
fun f() { 
  if (v != null) {
    p(v!!)
    p_(v!!)
  } else { 
    print("no v")
  }
  print("done")
}

所以v被多次使用，如果v是 null 并且一些代码被执行，无论v的值是什么，都会执行一些代码。 并且由于h没有在f中调用，因此即使v需要为 var，也无法更改v的值