如何让IntelliSense优先显示类型别名而非字符串联合类型？

TypeScript的IntelliSense默认会展开可简化的类型别名，比如keyof typeof o生成的联合类型，不会保留T这个别名。要让IntelliSense优先显示类型别名，核心是让类型别名变成非透明的——也就是让TypeScript无法直接将其简化为底层的联合类型。

实用解决方法 #

最简单的技巧是给类型别名添加一个无意义的交叉类型，比如& {}，它不会改变类型的实际取值范围，但会阻止TypeScript自动展开别名：

// 修改后可正常显示T类型
const o = {a:"a", b:"b"};
type T = keyof typeof o & {};
const v: T[] = ["a"];
const el = v[0]; // 此时IntelliSense会显示el的类型为T

// 原对比示例
type T2 = "a" | "b";
const v2: T2[] = ["a"];
const el2 = v2[0];

如果需要更明确的标记，也可以使用unique symbol创建私有标记类型，同样能达到效果：

const o = {a:"a", b:"b"};
declare const _TMarker: unique symbol;
type T = keyof typeof o & { [_TMarker]: never };
const v: T[] = ["a"];
const el = v[0]; // IntelliSense显示类型为T

原理说明 #

TypeScript的类型检查器会对可完全简化的类型别名进行“去糖”处理，直接展示底层的具体类型（比如联合类型）。而添加无意义的交叉类型后，这个类型别名会被视为“复杂类型”，IntelliSense就会优先显示别名本身，而非展开后的内容。

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