传递数组变量而非直接传数组时TypeScript Error 2345的解决方法

TypeScript的类型推断逻辑导致了这个差异：

• 直接传递数组字面量时，TS会进行字面量类型窄化，自动把数组推断为目标函数参数要求的联合类型数组（比如("age" | "extensions" | "name")[]），因为它能确定这个数组不会被后续修改，类型可以严格匹配。
• 但把数组存入变量后，TS默认会做类型宽泛化推断，把变量类型推断成string[]——这是因为TS默认假设变量后续可能被添加其他字符串元素，所以会放宽类型限制。这种宽泛的类型自然无法匹配函数要求的严格联合类型数组，于是抛出Error 2345。

有三种常用的解决方式：

• 显式指定变量类型：在声明变量时直接标注目标联合类型数组，强制TS使用严格类型：

  const keys: ("age" | "extensions" | "name")[] = ["name", "age"];
  // 之后将keys传入函数就不会报错
  

• 使用as const断言：让TS把数组推断为只读元组，锁定元素的具体类型，避免宽泛化：

  const keys = ["name", "age"] as const;
  // 如果函数参数不接受只读数组，可以转成普通数组再传递
  pick(user, Array.from(keys));
  

• 优化函数的泛型约束：如果是你自己实现的函数，可以用泛型让参数类型更灵活，自动适配传入的数组元素类型：

  function pick<T, K extends keyof T>(obj: T, keys: K[]): Pick<T, K> {
    return keys.reduce((acc, key) => {
      acc[key] = obj[key];
      return acc;
    }, {} as Pick<T, K>);
  }
  // 此时传入类型匹配的变量数组，TS会自动推断K的类型，不会报错
  const keys = ["name", "age"];
  pick(user, keys);
  

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