如何在非泛型对象的只读字符串数组属性中获取智能提示？

问题原因 #

当给变量y显式标注TEnumImplied类型时，TypeScript会将y.values的类型收窄为宽泛的readonly string[]，而非你通过as const断言得到的具体字面量数组readonly ["foo", "bar", "baz"]。这是因为类型注解的优先级高于const断言的类型推导，编译器会优先匹配你指定的宽泛类型定义，丢弃掉具体的字面量信息。

此时EVal<typeof y>中的T["values"][number]等价于string，所以TypeScript允许任何字符串（包括空串）赋值给value属性。

而泛型版本TEnumGeneric能正常工作，是因为它通过泛型参数EnumIsh完整保留了传入数组的具体字面量类型，没有被宽泛的readonly string[]覆盖。

非泛型场景的解决方案 #

方案1：用satisfies约束结构并保留字面量类型 #

使用TypeScript 4.9+新增的satisfies关键字，既可以检查值是否符合TEnumImplied的结构要求，又不会覆盖值的具体推导类型：

const y = {
    type: "enum",
    values: ["foo", "bar", "baz"] as const
} satisfies TEnumImplied;

const z: EVal<typeof y> = {
    value: "bar" // 仅允许"foo"/"bar"/"baz"，智能提示正常
};

方案2：给TEnumImplied添加默认泛型参数 #

将TEnumImplied改为带默认值的泛型类型，让编译器自动推断具体的字面量类型，无需手动传递泛型参数：

type TEnumImplied<T extends ReadonlyStringArray = ReadonlyStringArray> = {
    type: "enum",
    values: T
};

// 编译器自动推断T为readonly ["foo", "bar", "baz"]
const y: TEnumImplied = {
    type: "enum",
    values: ["foo", "bar", "baz"] as const
};

const z: EVal<typeof y> = {
    value: "bar" // 智能提示正常
};

方案3：通过as const保留完整类型信息 #

如果必须显式标注TEnumImplied，可以将as const断言作用在整个变量上，强制保留所有字面量类型信息：

const y: TEnumImplied = {
    type: "enum",
    values: ["foo", "bar", "baz"] as const
} as const;

const z: EVal<typeof y> = {
    value: "bar" // 智能提示正常
};

此时typeof y会保留values的具体字面量数组类型，而非被TEnumImplied覆盖为readonly string[]。

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