如何在Kotlin中通过Getter确保非空值？解决类型冲突问题

问题根源 #

你声明的变量globalScope类型是GlobalScope?，虽然getter强制返回非空的GlobalScope，但Kotlin编译器会优先以变量声明时的类型为准，而非getter的返回类型，所以使用时仍会被识别为可空类型。

最佳解决方案 #

直接调整变量的声明方式，避免可空类型和非空getter的矛盾，推荐两种实用方式：

1. 使用lateinit（推荐） #

如果这个变量会在使用前完成初始化（比如应用启动阶段），用lateinit声明非空变量，完全匹配你的需求：

internal lateinit var globalScope: GlobalScope

• 初始化前访问会抛出UninitializedPropertyAccessException，和你原代码中!!的行为一致
• 使用时直接拿到GlobalScope类型，无需额外空处理

2. 使用by lazy（适合只读场景） #

如果变量是只读的，且需要懒加载初始化，用by lazy：

internal val globalScope: GlobalScope by lazy {
    // 编写初始化逻辑，返回GlobalScope实例
}

备选方案（不推荐） #

如果因特殊限制必须保留原有的可空变量声明，可以新增一个非空的只读属性做包装：

internal var globalScope: GlobalScope? = null
internal val nonNullGlobalScope: GlobalScope get() = globalScope!!

使用时直接引用nonNullGlobalScope即可拿到非空类型，但这种方式多了一层包装，不如前两种简洁。

原写法不生效的原因 #

Kotlin中变量的类型由声明时的类型决定，getter的返回类型只是对声明类型的细化，编译器不会自动将变量类型提升为getter的返回类型。所以即使你在getter里返回field!!，变量本身仍会被识别为GlobalScope?类型。

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