TypeScript声明reduce参数item为[string,number]时类型报错如何解决

该类型报错的核心原因来自TypeScript内置类型定义的默认安全策略：

• TypeScript 对Object.entries()的默认类型推导结果为[string, unknown][]，而非你预期的[string, number][]。由于静态类型检查无法完全覆盖运行时对象的动态修改场景，TS出于类型安全考虑，不会自动将对象值推导为对应属性的确定类型，而是统一标记为unknown类型，要求开发者手动确认类型。
• 当你在reduce回调中手动将item标注为[string, number]时，相当于要求回调的当前值参数必须是该元组类型，但Object.entries()返回的数组元素类型为[string, unknown]，unknown类型无法直接赋值给number，因此触发类型不匹配报错。
• 你将item[1]类型改为any时本质是绕过了TS的类型检查规则，虽然不会报错，但丢失了类型安全保障，不推荐在生产代码中使用。

以下几种写法都可以在保留类型安全的前提下解决报错，可根据项目规范选择：

方法1：为Object.entries()传入泛型参数 #

这是最简洁的原生支持写法，直接明确告知TS当前遍历对象的值类型：

const allResults = Object.entries<number>(data.rates).reduce(
  (
    obj: {
      [key: string]: string | { rate: string; value: string; currency: string };
    },
    item: [string, number]
  ) => {
    return {
      ...obj,
      [item[0]]: {
        rate: item[0],
        value: (item[1] * amount).toFixed(2),
        currency: item[1].toFixed(2),
      },
    };
  },
  {}
);

传入<number>泛型后，TS会将Object.entries()的返回值推导为[string, number][]，和回调中item的标注类型完全匹配，不会再抛出类型错误。

方法2：使用类型断言收窄类型 #

如果不方便修改Object.entries()的调用，也可以对返回的entries数组做类型断言，手动指定其元素类型：

// 先拿到entries数组，通过类型断言明确元组类型
const rateEntries = Object.entries(data.rates) as [string, number][];

const allResults = rateEntries.reduce(
  // 回调逻辑和原代码一致，item可正常标注为[string, number]
)

注意：使用类型断言时需要你自行保证运行时data.rates的所有属性值均为number类型，避免出现静态类型和实际运行值不一致的隐患。

方法3：为reduce指定泛型，简化类型标注 #

TS的数组方法支持传入泛型指定最终返回值类型，配合元组解构可以大幅简化类型标注，是项目中的推荐写法：

// 先抽离返回值类型，提升可读性
type RateResult = {
  [key: string]: string | { rate: string; value: string; currency: string };
};

const allResults = Object.entries<number>(data.rates).reduce<RateResult>(
  (obj, [rateKey, rateValue]) => { // 直接解构元组，无需单独标注item类型
    return {
      ...obj,
      [rateKey]: {
        rate: rateKey,
        value: (rateValue * amount).toFixed(2),
        currency: rateValue.toFixed(2),
      },
    };
  },
  {}
);

这种写法不需要单独给回调的每个参数标注类型，TS会根据传入的泛型自动推导参数类型，同时保留完整的类型检查能力。

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