使用keyof时如何保留泛型场景下的TypeScript自动提示？

我们期望在TypeScript中实现一种类型，既可以自动提示目标对象的键名（如a | b | c），同时允许输入任意string类型值。

示例代码如下：

const obj = {
  a: 1,
  b: 2,
  c: 3
}

// 表现符合预期：有a/b/c的自动提示，也能输入自定义string
type KeysA<O> = keyof O | (string & {});
const a: KeysA<typeof obj> = 'a';
const b: KeysA<typeof obj> = 'custom';

// 完全失去自动提示：只能输入任意string，没有a/b/c的提示
type KeysB<O, T = string> = keyof O | (T & {});
const c: KeysB<typeof obj> = 'a';
const d: KeysB<typeof obj> = 'custom';

为什么带默认泛型参数的KeysB会失去自动提示？有没有解决办法？

核心问题在于TypeScript对泛型默认参数的类型解析逻辑：

• KeysA中使用string & {}是一种类型品牌化技巧，它本质仍是string类型，但会阻止TypeScript将keyof O | (string & {})直接坍缩为宽泛的string类型，因此类型检查器会保留keyof O的字面量联合作为自动提示的候选值。
• 而KeysB中，当使用默认泛型参数T = string时，TypeScript会直接将keyof O | (string & {})简化为keyof O | string，宽泛的string类型会覆盖字面量联合的提示能力——TypeScript认为既然最终可以接受任意string，就没必要再提供具体的键名提示了。

可以通过修改默认泛型参数的定义，让它同样使用品牌化的string类型，避免类型坍缩：

type KeysB<O, T = string & {}> = keyof O | T;

// 现在使用KeysB时既能得到a/b/c的自动提示，也能输入自定义string
const c: KeysB<typeof obj> = 'a';
const d: KeysB<typeof obj> = 'custom';

这样修改后，默认的T类型是string & {}，和KeysA的逻辑一致，TypeScript不会将联合类型坍缩为宽泛的string，从而保留了键名的自动提示，同时依然允许输入任意string值。

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