如何解决鉴别器为联合类型的可辨识联合类型收窄失效问题

你的问题核心是BarBaz的type字段为联合类型（'bar' | 'baz'），导致TypeScript无法自动推断：排除'bar'和'baz'后，剩余的参数只能是Foo类型。下面是几个简单可行的解决办法：

方法1：显式检查剩余类型的鉴别器 #

直接在后续代码里校验arg.type === 'foo'，让TypeScript明确完成类型收窄：

interface Foo {
  foo: string;
  type: 'foo';
}

interface BarBaz {
  bar: string;
  type: 'bar' | 'baz';
}

const func = function (arg: Foo | BarBaz) {
  if (arg.type === 'bar' || arg.type === 'baz') {
    return 'whatever';
  }

  if (arg.type === 'foo') {
    arg; // 此处类型已收窄为Foo
    // 编写Foo类型的处理逻辑
  }
};

方法2：拆分联合类型的接口（推荐） #

把BarBaz拆成两个独立接口，让每个接口的type为单一值，符合标准可辨识联合的定义，TypeScript会自动完成类型收窄：

interface Foo {
  foo: string;
  type: 'foo';
}

interface Bar {
  bar: string;
  type: 'bar';
}

interface Baz {
  bar: string;
  type: 'baz';
}

const func = function (arg: Foo | Bar | Baz) {
  if (arg.type === 'bar' || arg.type === 'baz') {
    return 'whatever';
  }

  arg; // 此处自动收窄为Foo类型
};

方法3：使用类型断言（谨慎使用） #

如果你能确保排除'bar'和'baz'后参数一定是Foo，可以直接用类型断言跳过检查：

const func = function (arg: Foo | BarBaz) {
  if (arg.type === 'bar' || arg.type === 'baz') {
    return 'whatever';
  }

  const fooArg = arg as Foo;
  fooArg; // 类型为Foo
};

注意：这种方式会绕过TypeScript的类型校验，若后续BarBaz的type新增其他值，容易引发运行时错误。

方法4：用never类型做穷尽检查 #

添加兜底分支，将参数赋值给never类型，既能帮助TypeScript收窄类型，还能在类型新增时及时抛出编译错误：

const func = function (arg: Foo | BarBaz) {
  if (arg.type === 'bar' || arg.type === 'baz') {
    return 'whatever';
  }

  if (arg.type !== 'foo') {
    // 若BarBaz新增其他type值，此处会触发编译报错
    const _exhaustiveCheck: never = arg;
    throw new Error(`Unexpected type: ${_exhaustiveCheck.type}`);
  }

  arg; // 类型收窄为Foo
};

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