Kotlin全局变量未初始化有警告，局部变量无警告的原因及文档查询

先看你给出的代码示例：

class MainActivity : AppCompatActivity() {

    var name: String | String? // 出现警告："Property must be initialized or be abstract"
    
    override fun onCreate(savedInstanceState: Bundle?) {
        super.onCreate(savedInstanceState)
        setContentView(R.layout.activity_main)
    }

}

class MainActivity : AppCompatActivity() {

    override fun onCreate(savedInstanceState: Bundle?) {
        super.onCreate(savedInstanceState)
        setContentView(R.layout.activity_main)
        var name: String | String? // 无警告
    }

}

为什么全局属性会触发警告 #

类的属性属于类的实例（或类本身），当类被实例化时，属性就会分配内存空间。Kotlin的核心设计之一是避免空指针，所以要求非抽象的属性必须在实例创建时处于有效可用状态：要么直接初始化赋值，要么标记为可空类型（你写的String | String?等价于String?，这个写法其实没必要），要么用lateinit（针对非空类型，保证后续会初始化）或者by lazy（延迟初始化）。

如果只声明类型不做任何初始化处理，编译器无法保证这个属性在实例创建后有合法值，所以会抛出警告要求你初始化或者把它设为抽象属性。

为什么局部变量没有警告 #

局部变量是在函数执行到声明位置时才会被创建，Kotlin编译器会对局部变量做数据流分析：

• 如果你声明了局部变量但之后根本没使用它，编译器不会强制你初始化——反正也用不上，有没有值都无所谓；
• 如果你在使用这个变量之前已经给它赋值了，编译器也不会报错；
• 只有当你在使用变量之前还没赋值时，编译器才会触发“必须初始化”的警告。

比如把局部变量的代码改成这样，编译器就会报错：

override fun onCreate(savedInstanceState: Bundle?) {
    super.onCreate(savedInstanceState)
    setContentView(R.layout.activity_main)
    var name: String | String? 
    println(name) // 这里会报错：Variable 'name' must be initialized
}

相关文档位置 #

你可以在Kotlin官方文档的以下章节找到详细说明：

• 「类和对象 - 属性与字段」：讲解类属性的初始化规则、lateinit/lazy等初始化方式；
• 「基础语法 - 变量」：讲解局部变量的声明、数据流分析对初始化的检查逻辑。

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