为何KMP顶层变量无法使用expect修饰的变量赋值？

先看问题中的代码示例：

// common.kt
expect val a: String
val list = mutableListOf(a) // 编译错误：Variable 'a' must be initialized

// android.kt
actual val a: String
    get() = "android"

// ios.kt
actual val a: String
    get() = "ios"

出现这个编译错误的核心原因在于KMP的expect声明机制和顶层变量初始化时机的冲突，具体拆解如下：

• expect属性仅为接口契约，无实际初始化逻辑
  expect val a: String只是在common层定义了一个属性的约定，告知编译器该属性会在各平台模块中通过actual提供具体实现，但它本身没有任何初始化代码，也不具备默认取值能力。在common模块编译阶段，编译器看不到任何平台的actual实现，自然判定a是未初始化的变量。

• 顶层变量的初始化时机过早
  common层的顶层变量list会在模块初始化阶段（类加载/启动时）执行初始化逻辑，而平台的actual实现是在各自平台模块中编译的，这个阶段还未绑定到common层代码中。编译器无法确定a的具体取值，甚至无法判断它是带getter的属性还是直接字段，因此无法完成list的初始化。

• expect属性的平台实现是延迟绑定的
  KMP的跨平台机制依赖编译时的多平台目标绑定，common层代码编译时不依赖平台代码。因此expect声明的成员在common层仅能用于函数调用、函数内属性访问等运行时可延迟解析的场景，无法用于顶层变量这种编译时必须确定值的初始化场景。

可行的解决思路 #

如果要实现类似逻辑，可以把list改为懒加载形式，延迟到运行时（此时平台actual已绑定）再初始化：

// common.kt
expect val a: String
val list by lazy { mutableListOf(a) }

或者将a改为函数形式，通过函数调用延迟获取值：

// common.kt
expect fun getA(): String
val list = mutableListOf(getA())

内容的提问来源于stack exchange，提问作者王新朋