Kotlin Compose函数中为何可声明但不初始化变量？

已知规则与疑问 #

常规认知里Kotlin的变量初始化要求：

• 声明变量时必须完成初始化，示例：var hello="OK"
• 如需延迟初始化，需要添加lateinit关键字，示例：lateinit var str : String

但如下代码A可正常编译通过，其中var mCoordinate: NewCoordinate与var temp: String两个变量均未在声明时做初始化操作，不符合上述认知。

代码A

@Composable
fun ScreenHome_Table(
    modifier: Modifier = Modifier,
    mViewMode: SoundViewModel
){  
    var mCoordinate: NewCoordinate  // 编译通过      
    var temp: String                // 编译通过      
    Box(
       ...
    ) {
       ...
    }
}       

class NewCoordinate(private val xOrigin: Float, private val yOrigin: Float) {  
  val Float.toX: Float get() = xOrigin + this                    
  val Float.toY: Float get() = yOrigin - this                 
}

核心原因 #

记忆里的初始化规则仅适用于类成员属性，不适用于函数内的局部变量，两者的检查逻辑完全不同：

1. 类成员属性是对象状态的组成部分，Kotlin为了保证空安全、避免未初始化状态被外部访问，强制要求类属性必须在声明时、构造函数中、类初始化块内完成赋值；如果要延迟初始化必须显式标注lateinit（仅支持非基础类型）。
2. 函数局部变量采用的是**明确赋值（definite assignment）**检查规则：编译器只校验「变量在所有被读取的代码路径上，是否已经提前完成赋值」，不要求变量必须在声明的同时完成初始化，也不需要加lateinit关键字。
3. 给出的代码片段中，mCoordinate和temp都是ScreenHome_Table函数内的局部变量，且声明后没有任何读取这两个变量的逻辑，编译器自然不会抛出初始化错误。如果后续在未给变量赋值的分支中直接读取变量值，编译器会立刻抛出Variable must be initialized的编译错误。

可以用最简单的代码验证这个逻辑：

fun testLocalVar() {
    var a: String
    // println(a) // 取消注释会直接编译报错：读取时a未初始化
    a = "ok"
    println(a) // 正常编译，读取前已经完成明确赋值
}

额外说明：这段代码写在@Composable注解的函数中，Compose编译插件不会修改Kotlin原生的局部变量赋值检查逻辑，该现象和Compose框架无关。

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