@typescript-eslint/no-unsafe-assignment错误：空值合并undefined为何被识别为any？

这不是ESLint或TypeScript的bug，核心是你对类型推断和ESLint规则的理解存在偏差，具体拆解如下：

1. 先明确规则本质 #

@typescript-eslint/no-unsafe-assignment的作用是禁止将any类型的值赋值给非any类型的变量/属性——因为any会完全绕过TypeScript的类型检查，带来潜在的类型安全风险。

2. 两种写法的类型推断差异 #

假设你的maybeList.data类型是any（通常来自未定义类型的API响应、无类型第三方库返回值等场景）：

• maybeList.data ?? undefined：空值合并运算符返回的类型是any | undefined，但由于any的特性，任何与any的联合类型都会被简化为any。这个表达式最终类型是any，赋值给期望string[] | undefined的list属性时，直接触发规则报错。
• maybeList.data ?? []：虽然理论上表达式类型是any | string[]（依然是any），但TypeScript会结合上下文做类型优化：因为ListComponent的list属性期望string[]类型，它会把兜底的[]推断为string[]，同时尝试将maybeList.data的类型向string[]对齐。ESLint在这种场景下会认为兜底值确保了表达式至少有合法的类型 fallback，因此不会触发错误。

如果maybeList.data的类型是unknown：

• maybeList.data ?? undefined：返回类型是unknown | undefined，由于unknown不能直接赋值给string[]（哪怕允许undefined），ESLint会判定为不安全赋值。
• maybeList.data ?? []：返回类型是unknown | string[]，但兜底的[]是合法的string[]，ESLint会认为这个赋值有安全兜底，因此不报错。

3. 解决建议 #

• 给maybeList定义明确类型：从根源消除any/unknown的模糊性，比如：

  interface MaybeList {
    data?: string[] | null;
  }
  const maybeList: MaybeList = /* 你的数据源 */;
  

  此时maybeList.data ?? undefined的类型就是string[] | undefined，完全匹配ListComponent的list属性，不会触发错误。
• 用类型守卫收窄类型：避免直接依赖空值合并的隐式推断，主动校验类型：

  const listProp = Array.isArray(maybeList.data) ? maybeList.data : undefined;
  

• 必要时用类型断言：如果无法避免any，可以明确告诉ESLint赋值是安全的：

  <ListComponent list={maybeList.data ?? undefined as string[] | undefined} />
  

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