TypeScript动态键Record类型检查报错：如何正确判断数组类型？

你遇到的报错本质是TypeScript的类型检查限制：当使用类型为string的变量作为索引时，即使通过typeof排除了string类型，TypeScript也无法将params[key]的类型精准收窄为string[]——因为变量key的类型是宽泛的string，而非具体的字面量类型，导致类型检查器无法关联索引操作和后续的类型判断。

以下是几种可行的解决方法：

• 显式指定变量键的字面量类型
  把key的类型从默认推断的string改为具体的字面量类型，让TypeScript明确知道该索引对应的属性位置：

  let params: Record<string, string | string[]>;
  const key: 'test' = 'test'; // 显式指定为字面量类型
  
  if (params && typeof params[key] !== 'string') {
    params[key].forEach((element: string) => {}); // 无报错
  }
  

• 使用临时变量存储属性值
  将params[key]赋值给临时变量后，TypeScript可以对临时变量的类型进行正确收窄：

  let params: Record<string, string | string[]>;
  const key = 'test';
  
  if (params) {
    const value = params[key];
    if (typeof value !== 'string') {
      value.forEach((element: string) => {}); // 无报错
    }
  }
  

• 自定义类型守卫函数
  编写专门的类型守卫来判断值是否为string[]，让类型检查器明确识别数组类型：

  let params: Record<string, string | string[]>;
  const key = 'test';
  
  function isStringArray(value: unknown): value is string[] {
    return Array.isArray(value) && value.every(item => typeof item === 'string');
  }
  
  if (params && isStringArray(params[key])) {
    params[key].forEach((element: string) => {}); // 无报错
  }
  

• 类型断言（谨慎使用）
  如果你能完全确定当前场景下params[key]一定是数组，可以用类型断言跳过检查，但这种方式会绕过TypeScript的类型校验，存在风险：

  let params: Record<string, string | string[]>;
  const key = 'test';
  
  if (params && typeof params[key] !== 'string') {
    (params[key] as string[]).forEach((element: string) => {});
  }
  

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