Kotlin使用作用域函数与Elvis运算符初始化val的编译问题及实现方案

• Kotlin编译器对val属性的确定性初始化检查，只会识别内置控制流（比如if-else、when、循环等）的分支覆盖逻辑，不会穿透普通库函数的lambda做执行逻辑分析。你用到的also是标准库提供的作用域函数，属于普通高阶函数，编译器不会主动判定它的lambda参数一定会被执行，因此会认为x、y存在未初始化的可能性，直接触发编译报错。
• 你写的?: also语法存在隐式接收者问题：?:右侧的also没有显式指定调用方，会默认用当前ABC类的实例作为接收者执行，虽然逻辑上分支执行的效果和你预期一致，但属于写法上的歧义。

就算你修复了右侧的写法（比如改成?: run { ... }），执行效果和if-else逻辑一致，但在编译器的初始化检查规则下完全不等价：if-else是编译器原生支持的控制流结构，编译器可以明确判定两个分支必有一个执行，只要两个分支都完成了val赋值，就可以通过初始化检查；而作用域函数的lambda执行逻辑属于库层面的实现，编译器不会做深度校验，因此无法通过检查。

直接用if表达式+解构赋值，省略冗余的init块和单独的属性声明：

class ABC(input: String?) {
    private val (x, y) = if (input != null) 1 to 1 else 2 to 2
}

如果两个属性的赋值逻辑更复杂，也可以用when表达式替换if，同样支持解构返回。

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