VSCode TypeScript简单/复杂联合类型自动补全行为异常咨询

我定义了一个包含2个属性的TypeScript类型，期望在输入完第一个属性后，VSCode能够为第二个属性提供正确的自动补全/智能提示（intellisense）。

该功能实际表现反常：仅当联合类型的成员足够复杂时自动补全可正常工作，若联合类型结构非常简单则无法正确提示。

复现示例 #

正常补全场景（联合类型共10个成员） #

type MyGenericType<a, b> = {
  property1: a;
  property2: b;
};
type MyUnion =
MyGenericType<"a", "a">
| MyGenericType<"b", "b">
| MyGenericType<"c", "c">
| MyGenericType<"d", "d">
| MyGenericType<"e", "e">
| MyGenericType<"f", "f">
| MyGenericType<"g", "g">
| MyGenericType<"h", "h">
| MyGenericType<"i", "i">
| MyGenericType<"j", "j">;

const myConstant: MyUnion = {
  property1: "a",
  property2: "", // VSCode可以正确提示此处唯一合法值为"a"
};

补全失效场景（移除1个联合成员，共9个成员） #

type MyGenericType<a, b> = {
  property1: a;
  property2: b;
};
type MyUnion =
MyGenericType<"a", "a">
| MyGenericType<"b", "b">
| MyGenericType<"c", "c">
| MyGenericType<"d", "d">
| MyGenericType<"e", "e">
| MyGenericType<"f", "f">
| MyGenericType<"g", "g">
| MyGenericType<"h", "h">
| MyGenericType<"i", "i">;

const myConstant: MyUnion = {
  property1: "a",
  property2: "", // VSCode错误提示property2可选值为"a"到"i"所有字符串，实际仅"a"合法
};

补充说明：TypeScript类型检查本身可以正确识别上述场景下的赋值错误，问题仅出在编辑器自动补全/智能提示环节。

该现象是TypeScript语言服务内置的性能优化策略导致，不属于代码编写错误：

• 当联合类型成员数量≤9时，TS语言服务会执行提前类型合并优化，直接对结构一致的联合类型属性做聚合计算，上述示例中property2的类型会被直接合并为所有成员对应值的联合"a"|"b"|...|"i"，不会在输入property1后再基于已输入属性执行分支窄化计算。该优化的目的是降低小联合类型的计算开销，提升编辑器响应速度。
• 当联合类型成员数量≥10时，TS不会提前执行全量合并，会保留联合的分支结构，输入部分属性后会基于已确定的属性值过滤匹配的联合分支，因此可以给出精准的补全提示。

该成员数量阈值为TS语言服务内部硬编码设定，问题与VSCode本身无关。

无需调整业务类型的核心逻辑，有两种可稳定生效的规避方案：

• 为泛型类型添加可选的标记字段，阻止TS触发提前合并逻辑：

type MyGenericType<a, b> = {
  property1: a;
  property2: b;
  _typeTag?: a; // 可选字段不影响正常对象赋值
};

添加后无论联合成员数量为多少，都不会触发提前合并，智能补全始终准确。

• 用satisfies运算符替代直接的类型标注，强制TS执行逐分支上下文校验：

const myConstant = {
  property1: "a",
  property2: "",
} satisfies MyUnion;

该写法下TS会在输入属性时实时执行类型窄化，补全结果始终正确，同时还能保留值本身的精确类型推导，灵活性优于直接给变量标注类型。

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