TypeScript中为何对const断言对象的值调用includes会报错且需类型转换？

先看报错的代码示例：

const myObj = {
  a: "1",
  b: "2",
  c: "3"
} as const;

const hasFour = Object.values(myObj).includes("4");
// Argument of type '"4"' is not assignable to parameter of type '"1" | "2" | "3"'.ts(2345)

为什么返回的不是string[]？ #

• as const断言会强制TypeScript把对象的每个值推断为字面量类型，而非宽泛的string类型。所以myObj的类型被锁定为{ readonly a: "1"; readonly b: "2"; readonly c: "3"; }。
• Object.values()的类型定义会严格对应输入对象的值类型，返回("1" | "2" | "3")[]——这是TypeScript为了保留精确类型信息的设计，目的是让后续操作能利用这些具体的类型约束。

为什么不能自动推断为string[]？ #

TypeScript的类型系统核心原则之一是尽可能保留精确类型，尤其是当你使用as const主动要求窄化类型时。如果自动把联合字面量数组转为string[]，会直接丢失as const带来的精确类型约束，违背了这个断言的设计初衷。

解决方法 #

如果需要允许includes接受任意字符串，可以手动将数组转为string[]：

const hasFour = (Object.values(myObj) as string[]).includes("4");

或者用some方法绕开类型限制（逻辑上等价）：

const hasFour = Object.values(myObj).some(val => val === "4");

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