Redux Toolkit 异步操作中安全 Promise 的优化处理

在 Redux Toolkit 的 createAsyncThunk 方法使用过程中，开发者经常会遇到一个类型检查的痛点：ESLint 的 @typescript-eslint/no-floating-promises 规则会对这些异步操作返回的 Promise 发出警告，尽管这些 Promise 实际上是"安全"的——它们永远不会真正解析(resolve)。

问题背景

createAsyncThunk 是 Redux Toolkit 提供的一个实用工具，用于简化 Redux 中异步操作的处理。它创建的 Promise 具有特殊行为：

1. 这些 Promise 实际上永远不会解析(resolve)
2. 它们的状态变化完全由 Redux store 处理
3. 开发者不需要像处理常规 Promise 那样添加 .then() 或 await

然而，TypeScript ESLint 规则无法识别这种特殊行为，仍然会将这些未处理的 Promise 标记为"浮动"(floating)，导致不必要的警告。

技术解决方案

为了解决这个问题，Redux Toolkit 团队计划引入一个"品牌化"(branded)的 Promise 类型。这种特殊类型将：

1. 明确标识这些 Promise 是"安全"的
2. 允许 ESLint 规则通过类型识别来跳过对这些 Promise 的检查
3. 保持现有 API 的向后兼容性

实现细节

在技术实现上，这个方案需要：

1. 在 Redux Toolkit 中定义一个特殊的 Promise 类型（如 SafePromise）
2. 修改 createAsyncThunk 的返回类型以使用这个新类型
3. 配合 TypeScript ESLint 规则的更新，允许配置中指定可忽略的安全 Promise 类型

开发者体验改进

一旦实现，开发者可以在 ESLint 配置中明确指定哪些 Promise 类型可以安全忽略：

"@typescript-eslint/no-floating-promises": ["error", {
  "allowForKnownSafePromises": [
    { "from": "package", "name": "SafePromise", "package": "@reduxjs/toolkit" }
  ]
}]

这种解决方案既保持了代码质量检查的严谨性，又避免了误报带来的开发困扰，是类型系统与实际框架行为之间的优雅桥梁。

未来展望

这种品牌化类型的解决方案不仅适用于 Redux Toolkit，也可以为其他框架中类似场景提供参考。它展示了如何通过类型系统的精巧设计来解决框架特殊行为与通用工具之间的兼容性问题。