如何在TypeScript中无需区分即可使用可辨识联合？

给定以下类型定义：

enum Options {
    ONE,
    TWO
}

type A = {
    a: string
}

type B = {
    b: number
}

关联两个函数（示例用React组件，实际逻辑无关）：

function f(a: A, c: boolean) {}
function g(b: B, c: boolean) {}

type Conf = {
    type: Options.ONE
    args: A
    fn: typeof f
} | {
    type: Options.TWO
    args: B
    fn: typeof g
}

为什么不能直接“合并”调用，必须用switch区分类型？比如下面的写法会报错：

function h(conf: Conf, c: boolean) {
    // return conf.fn(conf.args, c) 此处会报错
    switch (conf.type) {
        case Options.ONE:
          return conf.fn(conf.args, c)
        case Options.TWO:
          return conf.fn(conf.args, c)
    }
}

TypeScript会提示类型不匹配，必须对联合类型做区分处理。

原因解析 #

问题出在TypeScript的联合类型窄化机制上：当你直接访问conf.fn和conf.args时，TS无法确定这两个属性来自联合类型的同一个分支。比如conf.fn可能是typeof f，但conf.args可能是B类型，反之亦然——TS无法自动关联联合类型中不同属性的对应关系，因此会判定存在类型不兼容的风险。

可辨识联合的核心就是通过共同的辨识属性（这里是type）来窄化类型：只有在通过switch或if判断type后，TS才能确定当前conf属于联合类型的具体分支，从而确认fn和args的类型是完全匹配的。

替代方案（避免手动分支） #

如果想要简化代码，不用手动写每个分支，可以尝试以下几种方式：

1. 重构为泛型类型（推荐）

通过泛型让TS明确fn和args的对应关系：

type Conf<T extends Options> = 
    T extends Options.ONE ? { type: T; args: A; fn: typeof f } :
    T extends Options.TWO ? { type: T; args: B; fn: typeof g } : never;

function h<T extends Options>(conf: Conf<T>, c: boolean) {
    return conf.fn(conf.args, c)
}

泛型约束会让TS自动推断出conf.fn的参数类型与conf.args完全匹配，无需手动窄化类型。

2. 使用函数重载

通过重载签名确保外部调用的类型安全，实现阶段仅需一次调用：

function h(conf: { type: Options.ONE; args: A; fn: typeof f }, c: boolean): void;
function h(conf: { type: Options.TWO; args: B; fn: typeof g }, c: boolean): void;
function h(conf: Conf, c: boolean) {
    return conf.fn(conf.args as any, c)
}

外部调用时TS会根据传入的conf类型自动匹配重载签名，实现体里的as any仅用于绕过实现阶段的类型检查，不影响外部的类型安全。

3. 类型断言（不推荐）

直接跳过TS的类型检查，这种方式会牺牲类型安全，后续修改类型结构时容易引入错误：

function h(conf: Conf, c: boolean) {
    return (conf as { fn: (args: unknown, c: boolean) => void }).fn(conf.args, c)
}

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