TypeScript中Symbol类型推断不符合预期，求解决方案

问题原因 #

当函数参数为string | unique symbol联合类型时，TypeScript处理对象字面量的计算属性时，会默认将键类型推断为更宽泛的string索引签名，而非保留unique symbol的具体类型。这是因为TypeScript的类型推断逻辑在这种场景下会倾向于通用类型，避免潜在的类型冲突。

解决方案 #

通过泛型捕获传入的具体键类型，让TypeScript精确推断返回值结构：

const symbol3: unique symbol = Symbol(3);

// 用泛型K约束键的类型范围
function getRecord<K extends string | typeof symbol3>(key: K) {
  return { [key]: true } as { [P in K]: boolean };
}

const myRecord = getRecord(symbol3); // 推断结果：{ [x: typeof symbol3]: boolean }
const stringRecord = getRecord("test"); // 推断结果：{ test: boolean }

关键说明 #

1. 泛型K会精准捕获传入的具体键类型（要么是typeof symbol3，要么是具体的字符串字面量）
2. 返回值使用映射类型{ [P in K]: boolean }，严格对应传入的键类型，避免TypeScript自动收窄为string索引

额外验证 #

泛型约束会自动限制参数范围，传入不符合要求的值会触发类型错误：

const symbol4: unique symbol = Symbol(4);
getRecord(symbol4); // 报错：typeof symbol4不满足string | typeof symbol3的约束

内容的提问来源于stack exchange，提问作者Page not found