TypeScript中readonly string[]被识别为any？eslint报错求解

在MSW的REST Mock中处理req.params的参数时，id的类型为string | readonly string[]，要安全转换为string类型同时避免eslint的Unsafe return of an any typed value错误，核心是通过类型缩小让TypeScript明确参数的类型分支，同时处理边界情况。

方案一：使用内置类型保护直接处理 #

直接利用Array.isArray这个TypeScript认可的类型保护函数，在分支里明确参数类型，同时处理空数组的边界情况：

function pullParam(param: string | readonly string[]): string {
  if (Array.isArray(param)) {
    // 数组为空时返回空串，避免返回undefined破坏类型契约
    return param.length > 0 ? param[0] : '';
  }
  // 此处TypeScript已推断param为string类型
  return param;
}

方案二：自定义类型守卫（适用于更复杂的参数校验） #

如果需要更严格的参数校验（比如确保数组内所有元素都是字符串），可以自定义类型守卫函数：

// 自定义类型守卫：判断值是否为只读字符串数组
function isReadonlyStringArray(value: unknown): value is readonly string[] {
  return Array.isArray(value) && value.every(item => typeof item === 'string');
}

function pullParam(param: string | readonly string[]): string {
  if (isReadonlyStringArray(param)) {
    return param[0] ?? '';
  }
  return param;
}

为什么之前的写法会报错？ #

如果直接用类型断言（比如param as string[]），不仅存在类型不安全的风险（比如参数实际是string类型时断言错误），而且如果没有处理空数组的情况，函数可能返回undefined，不符合string的返回类型，TypeScript和eslint都会判定这种写法存在类型隐患，从而抛出错误。

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