为何TypeScript将用作对象键的字符串联合类型视为任意字符串？

你遇到的核心问题是：TypeScript 无法从单个联合类型变量的计算属性，推断出包含所有联合键的完整对象类型。

为什么报错？ #

Record<Union, string> 要求对象必须同时包含 yes 和 no 两个键，但你通过 { [t]: 'test' } 生成的对象，只会包含 t 当前取值对应的那一个键（要么是yes，要么是no），两者类型不匹配，所以抛出“缺少属性”的错误。

同时，TypeScript 对联合类型变量作为计算属性名的默认推断是字符串索引签名（{ [x: string]: string; }）——因为它无法确定运行时t具体是哪个值，只能拓宽为最宽泛的字符串类型。

解决方案 #

根据你的实际需求选择对应的方案：

1. 确实需要生成包含所有联合键的对象

要确保对象拥有Union中的每一个键，需要为每个键明确赋值：

type Union = 'yes' | 'no'
const fn = (t: Union) => {
    const x: Record<Union, string> = {
        yes: t === 'yes' ? 'test' : 'fallback',
        no: t === 'no' ? 'test' : 'fallback'
    }
}

2. 只需要生成包含当前t对应键的对象

如果你的实际需求是仅创建带有t对应键的对象，不要用Record<Union, string>，改用更精确的类型：

type Union = 'yes' | 'no'
const fn = (t: Union) => {
    // 精确匹配当前t的键类型
    type SingleKeyObj = { [K in typeof t]: string }
    const x: SingleKeyObj = { [t]: 'test' }
}

或者用Partial<Record<Union, string>>表示“部分键可选”：

type Union = 'yes' | 'no'
const fn = (t: Union) => {
    const x: Partial<Record<Union, string>> = { [t]: 'test' }
}

3. 强制类型断言（不推荐，除非你明确知道类型安全）

如果你确定代码逻辑能保证对象符合Record<Union, string>，可以用类型断言跳过检查：

type Union = 'yes' | 'no'
const fn = (t: Union) => {
    const x = { [t]: 'test' } as Record<Union, string>
}

注意：这种方式会绕过TypeScript的类型检查，可能引入 runtime 错误，谨慎使用。

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