TypeScript 对对象数组做 reduce 报 never 类型赋值错误，该在哪声明类型

你遇到的Argument of type 'string' is not assignable to parameter of type 'never'报错，核心原因是**reduce方法的累计值初始参数没有显式类型约束**，TypeScript面对没有上下文的空数组字面量[]时，会默认将其推断为never[]类型——也就是该数组不允许存入任何类型的值，后续往里面push字符串格式的部门名时，就会触发类型不匹配的报错。

具体类型补充的位置 #

类型声明需要补在两个关键节点，完全不需要绕弯路：

1. 先理顺自定义类型的作用域 #

你之前在组件内部定义的type Props = { Name: string, Dept: string }是员工数据的结构类型，不是组件入参类型，建议调整两个点：

• 把类型挪到能被Context识别的位置，最好在store.ts里导出这个员工类型，让Context返回的data本身就带上明确的数组元素类型，从源头减少组件内的类型推导负担
• 不要把类型定义放在useEffect内部，不然TS没法在effect外完成类型链路校验

2. 直接在reduce的初始值位置补类型 #

报错的核心触发点在reduce的最后一个参数——也就是作为累计值初始值的空数组[]，这里就是你需要补类型的核心位置。
原来的问题代码：

const depts = data.reduce((acc, current) => {
  if (!acc.includes(current.Dept))
    acc.push(current.Dept)
  return acc
}, []) // 空数组没有类型标注，被TS推断为never[]

有两种完全等价的修复写法，选其中一种即可：

• 给reduce方法显式传入泛型参数，直接声明累计值的类型为字符串数组：

  const depts = data.reduce<string[]>((acc, current) => {
    if (!acc.includes(current.Dept))
      acc.push(current.Dept)
    return acc
  }, [])
  

• 直接对初始值的空数组做类型断言，明确它是字符串数组：

  const depts = data.reduce((acc, current) => {
    if (!acc.includes(current.Dept))
      acc.push(current.Dept)
    return acc
  }, [] as string[])
  

优化建议 #

• 把原来的Props类型名改成更语义化的EmployeeRecord，避免和组件入参的Props类型混淆
• 回到store.ts给Context补充完整的类型定义，比如：

  // store.ts
  export type EmployeeRecord = {
    Name: string
    Dept: string
  }
  // 给Context加明确的返回类型，避免data是隐式any
  const MainContext = createContext<{ data: EmployeeRecord[] }>({ data: [] })
  

  完成这一步后，哪怕你在组件里不手动给reduce加类型标注，TS也能通过current.Dept的类型自动推断出累计值是字符串数组，从根源上避免这类never类型推断的问题。
• 注意你现在useEffect的依赖数组是空的，如果data是异步获取、后续会更新的内容，记得把data加到依赖数组里，不然Effect只会在组件首次挂载时执行一次，拿不到后续更新的部门数据。

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