Android Studio提示变量非空但实际可为空，是编译器问题吗？

首先得说，这种情况几乎不会是Android Studio（或者说Kotlin编译器）的Bug，更多是编译器的智能空安全推断和你的代码实际执行顺序不匹配导致的。

咱们拆解一下问题：

• 你用了categoryAdapter?.notifyDataSetChanged()的安全调用，说明你已经把categoryAdapter声明为可空类型（var categoryAdapter: CategoryAdapter? = null）。
• 但编译器却提示它“不可为空”，这说明编译器通过代码路径分析，认为在调用这个方法的时候，categoryAdapter一定已经被初始化了——但实际你的场景里，categories的setter会在categoryAdapter初始化前触发，这时候它确实是空的。

可能的原因和解决方向： #

1. 检查categoryAdapter的声明类型
   如果你不小心用了lateinit var categoryAdapter: CategoryAdapter而不是可空类型，编译器会强制认为它一定会被初始化，这时候用?.就会触发警告。这种情况直接改成可空类型即可：

   var categoryAdapter: CategoryAdapter? = null
   

2. 编译器的路径推断没覆盖到你的执行顺序
   比如你的categories setter是在类的初始化块、构造函数里被调用，而categoryAdapter是在稍后的生命周期方法（比如onViewCreated、onResume）里初始化的。Kotlin编译器的静态分析可能没追踪到这种异步/生命周期依赖的执行顺序，误判categoryAdapter已经被赋值。
   这时候可以通过显式的空检查让编译器明确感知到可空性，比如：

   categoryAdapter?.run { notifyDataSetChanged() }
   

   或者如果确定某些场景下可能为空，但编译器误判警告，也可以临时用注解忽略（不推荐，优先调整代码）：

   @Suppress("UNNECESSARY_SAFE_CALL")
   categoryAdapter?.notifyDataSetChanged()
   

3. 有没有隐藏的赋值逻辑？
   检查代码里有没有其他地方给categoryAdapter赋值，比如在某个if分支里的赋值，编译器可能认为分支一定会执行，从而推断它非空，但实际存在分支不执行的情况。这种情况下要确保所有分支都考虑到可空性，或者调整赋值逻辑让初始化更明确。

总结 #

这种警告大多是代码结构和编译器静态分析的“认知差”，不是Bug。调整categoryAdapter的类型声明，或者明确空安全的处理逻辑，就能解决这个警告啦。

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