TypeScript中非字面量字段作标签时类型收窄失效问题咨询

在TypeScript中存在这样的类型收窄差异：

• 当联合类型的判别式属性a是宽泛的string类型时，通过typeof a === "string"判断后，无法将b的类型收窄为对应分支的类型；
• 但当a是字符串字面量类型（如"A"、"B"）时，同样的判断逻辑却能正常收窄b的类型。

无法正常收窄的情况 #

type Foo = {
  a: string;
  b: string;
};
type Bar = {
  a: number;
  b: number;
};

type Union = Foo | Bar;

function test({ a, b }: Union) {
  if (typeof a === "string") {
    a; // 类型为 string
    b; // 类型仍为 string | number，未被收窄
  }
}

可以正常收窄的情况 #

type Foo = {
  a: "A";
  b: string;
};
type Bar = {
  a: "B";
  b: number;
};

type Union = Foo | Bar;

function test({ a, b }: Union) {
  if (a === "A") {
    a; // 类型为 "A"
    b; // 类型被收窄为 string
  }
}

核心原因：判别式唯一性与解构后的类型关联丢失 #

1. 字面量类型的强唯一性
   当a是字符串字面量类型时，每个联合分支的a值是唯一且确定的。TypeScript可以通过这个唯一值精准定位当前对象所属的联合分支，即使变量被解构，也能重新建立a和b的类型关联，从而正确收窄b的类型。

2. 宽泛基本类型的模糊性
   当a是宽泛的string类型时，string并非某个联合分支的专属标识——虽然当前联合只有Foo和Bar，但TypeScript的类型系统会考虑到未来可能扩展联合类型（比如新增Baz = {a: string, b: number}），此时typeof a === "string"无法区分Foo和Baz。这种潜在的不确定性让TypeScript无法安全地将b的类型收窄为string。

3. 解构操作切断类型关联
   解构操作会将原联合类型对象拆分为独立的a和b变量，TypeScript默认无法追踪这两个变量之间的原始类型关联。如果不解构，直接操作原对象，即使a是string类型，也能正常收窄：

function test(obj: Union) {
  if (typeof obj.a === "string") {
    obj.b; // 类型被正确收窄为 string
  }
}

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