TypeScript类型守卫报错：string无法赋值给字符串字面量联合类型

问题场景 #

在编写字符串字面量联合类型的类型守卫时，即使已经提前判断入参为 string 类型，调用常量数组的 includes 方法仍会抛出类型错误：

Argument of type 'string' is not assignable to parameter of type '"foo" | "bar"'.ts(2345)

问题复现代码：

const FOO = 'foo' as const;
const BAR = 'bar' as const;

const ALL_THINGS = [FOO, BAR];
type AllThingsType = typeof ALL_THINGS[number];

function isAllThings(value: unknown): value is AllThingsType {
  // 此处ALL_THINGS.includes(value)会报ts(2345)
  return typeof value === 'string' && ALL_THINGS.includes(value);
}

不推荐的临时规避方案 #

常见的临时处理是直接将常量数组断言为 string[] 绕过校验，这种方式属于硬类型逃逸，破坏了类型系统的校验逻辑，不推荐在生产代码中使用：

function isAllThingsWorkaround(value: unknown): value is AllThingsType {
  return typeof value === 'string' && (ALL_THINGS as string[]).includes(value);
}

无类型断言的规范实现方案 #

无论常量集合包含多少个元素，以下两种方案都可以在不使用临时类型断言的前提下解决报错：

• 方案1：给常量数组添加 as const 修饰（TS 4.8+ 推荐）
  定义常量数组时追加 as const 修饰符，将其声明为只读元组类型。TypeScript 4.8 及以上版本对只读数组的 includes/indexOf 方法做了类型签名优化，允许传入 unknown 类型的查找参数，不会再抛出类型不匹配错误：

  const FOO = 'foo' as const;
  const BAR = 'bar' as const;
  
  // 追加as const声明为只读元组
  const ALL_THINGS = [FOO, BAR] as const;
  type AllThingsType = typeof ALL_THINGS[number];
  
  function isAllThings(value: unknown): value is AllThingsType {
    // 此处无类型报错
    return typeof value === 'string' && ALL_THINGS.includes(value);
  }
  

  该方案完全符合TypeScript类型规范，无需额外类型断言，代码可读性最高，是版本满足要求时的首选方案。

• 方案2：抽离通用集合判断工具（兼容低版本TS）
  如果项目使用的TS版本低于4.8，可以将类型断言收敛到通用工具函数内部，业务侧代码无需编写任何硬类型断言，可复用性更强：

  /**
   * 通用只读字面量集合成员判断工具
   */
  function isMemberOf<T extends string | number | boolean | symbol>(
    collection: readonly T[],
    target: unknown
  ): target is T {
    return (collection as readonly unknown[]).includes(target);
  }
  
  // 业务侧使用
  const FOO = 'foo' as const;
  const BAR = 'bar' as const;
  const ALL_THINGS = [FOO, BAR] as const;
  type AllThingsType = typeof ALL_THINGS[number];
  
  function isAllThings(value: unknown): value is AllThingsType {
    return typeof value === 'string' && isMemberOf(ALL_THINGS, value);
  }
  

  该方案仅在工具函数内部做了一次类型收敛，所有业务逻辑都可以复用该工具，哪怕常量集合包含数十甚至上百个元素也无需额外修改，可维护性更高。

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