let变量重新赋值导致TypeScript无法识别动态添加类型

1. 初始变量的类型推断逻辑 #

当你通过let userBalances = results.filter(...)声明变量时，TypeScript会根据初始赋值的结果，自动推断出userBalances的类型是不含categories属性的对象数组。这个类型一旦确定，除非你显式指定修改，否则不会因为后续的赋值操作自动更新。

2. 示例1报错的核心原因 #

你尝试将userBalances重新赋值为map处理后的新数组（该数组的对象包含categories属性），但TypeScript不会因为这次赋值就改变userBalances的原有类型标记。此时变量仍然被视为「不含categories的对象数组」，所以返回它时，TypeScript会提示缺少该属性。

3. 示例2正常运行的原因 #

直接返回userBalances.map(...)的结果时，TypeScript会直接推断这个新数组的类型是包含categories属性的对象数组，完全匹配函数的返回类型要求，因此不会触发类型检查错误。

可选的修复方案（如果想保留重新赋值的写法） #

如果你希望用示例1的写法通过检查，可以显式指定变量的联合类型，或者使用类型断言：

// 显式指定变量类型
type TokenWithCategories = OriginalTokenType & { categories: string[] };
let userBalances: (OriginalTokenType | TokenWithCategories)[] = results.filter(...);

userBalances = userBalances.map(token => ({
  ...token,
  categories: ['a', 'b']
}));

return userBalances as TokenWithCategories[];

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