Kotlin协程问题：Flow构建器调度器与类型推断异常

我有一个View的扩展函数createAndStoreScreenshot，功能是将Bitmap保存到设备存储，返回类型为Flow<RequestStatus<Uri>>——其中RequestStatus是一个密封类，用于封装请求的不同状态。

原本的调用逻辑是在lifecycleScope中通过withContext(Dispatchers.IO)执行这个函数，但考虑到FileOutputStream会阻塞线程，我改成在Flow构建器后添加flowOn(Dispatchers.IO)，同时移除了调用处的withContext。

但修改后Android Studio报错："Not enough information to infer type variable T"；如果在emit(RequestStatus.Loading())和emit(RequestStatus.Failed(e))时显式指定泛型类型，又会被IDE标记为冗余代码。请问这个问题的原因是什么？

• Flow类型推导的上下文关联断裂
  原本用withContext(Dispatchers.IO)调用函数时，调用处的协程上下文能帮编译器直接关联到函数返回的Flow<RequestStatus<Uri>>类型，自动推导RequestStatus的泛型参数为Uri。但改用flowOn后，Flow构建器内部的代码运行线程被指定为IO线程，编译器无法将构建器内emit的状态类型，和函数外部明确的返回类型做直接关联，导致泛型推导失败。

• 无数据状态的泛型信息缺失
  密封类RequestStatus的Loading和Failed状态一般不携带具体数据（不像Success状态会返回Uri），所以emit(RequestStatus.Loading())这种写法，编译器只能识别出这是RequestStatus<*>，无法自动匹配到函数返回类型要求的RequestStatus<Uri>。而显式指定RequestStatus.Loading<Uri>()时，又因为函数返回类型已经明确，IDE会判定这个类型指定是冗余的，形成了“不指定推不出，指定了又冗余”的矛盾。

• flowOn的线程调度导致类型推导断层
  flowOn的作用是指定Flow上游（构建器内部逻辑）的执行线程，它会让Flow的构建逻辑和收集逻辑处于不同的协程上下文。这种上下文分离使得编译器无法把上游emit的状态类型，和下游定义的Flow返回类型做无缝推导，需要额外的类型提示，但又因为返回类型已经明确，IDE会认为提示多余。

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