TS编译报错：string类型无法赋值给as const数组的联合类型参数

你为frontend对象添加了as const断言后，zipMimeTypes会被TypeScript推导为只读字面量元组类型：readonly ["application/zip", "application/x-zip-compressed", "multipart/x-zip"]。此时该元组的includes方法要求入参必须是元组成员的联合类型，也就是三个MIME类型字面量的联合，而file.type是宽泛的string类型，不符合入参要求，因此编译器抛出错误：

Argument of type 'string' is not assignable to parameter of type '"application/zip" | "application/x-zip-compressed" | "multipart/x-zip"'.

直接写数组字面量不报错的原因是：未加as const的数组字面量会被默认推导为string[]类型，普通字符串数组的includes方法入参本身就接受string类型，和file.type的类型匹配，因此不会触发报错。

可根据你的项目场景选择以下任意一种方案：

• 方案1：对入参做类型断言
  适合仅需要临时绕过类型校验、不想修改原定义的场景，直接将file.type断言为元组的成员类型即可：

frontend.zipMimeTypes.includes(file.type as typeof frontend.zipMimeTypes[number])

• 方案2：将只读元组转为普通字符串数组调用
  无需修改类型定义，通过解构复制将只读元组转为普通string[]后再调用includes：

([...frontend.zipMimeTypes] as string[]).includes(file.type)

• 方案3：全局扩展只读数组的includes方法类型
  如果项目中大量存在这类场景，可以在全局类型声明文件（如global.d.ts）中添加如下声明，让只读数组的includes方法支持传入任意字符串类型的参数：

declare global {
  interface ReadonlyArray<T> {
    includes(searchElement: string, fromIndex?: number): searchElement is T;
  }
}

添加后原有代码无需修改即可正常编译，同时还能获得自动类型收窄的能力。

• 方案4：修改原数组的类型声明
  如果不需要严格的字面量类型校验，可以放弃as const，显式将zipMimeTypes声明为string[]类型：

export const frontend = { 
  // 其他配置
  zipMimeTypes: [
    "application/zip",
    "application/x-zip-compressed",
    "multipart/x-zip",
  ] as string[],
};

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