TypeScript 基于可选构造参数推断类属性类型的报错问题

需要实现泛型类Dispatcher的extra成员类型自动根据构造函数传参推断：传入布尔值则为布尔类型，传入字符串则为字符串类型，不传则为undefined类型。
初始实现代码如下：

class Dispatcher<R extends (...args: any) => any, T = undefined> {
    fn: R
    extra: T
    constructor(fn: R, extra?: T) {
        this.fn = fn;
        this.extra = extra;
    }
}

const test = new Dispatcher(() => {
    return true;
});
// 期望test.extra类型为undefined
test.extra;

const test2 = new Dispatcher(() => {
    return true;
}, {
    graphUrl: "/foo/"
});
// 期望test2.extra类型为{graphUrl: string}，可直接访问graphUrl属性
test2.extra.graphUrl

初始实现会在构造函数this.extra = extra位置抛出类型错误：

Type 'T | undefined' is not assignable to type 'T'.
'T' could be instantiated with an arbitrary type which could be unrelated to 'T | undefined'.

报错根因：构造函数参数标记为可选extra?: T时，参数类型被推导为T | undefined，无法直接赋值给类型为T的类成员。如果为了消除报错将类成员改为可选属性extra?: T，成员类型会被强制处理为T | undefined，即使传入明确的非undefined参数，也会被自动加入undefined联合类型，完全破坏类型推断的准确性。

核心语义区别：extra不是可选属性，它的类型完全等同于构造函数传入的第二个参数的类型，参数本身可以是undefined，这和可选属性自带的undefined联合类型不是一回事。

通过构造函数重载可以完美解决这个问题，对外暴露精确的类型签名，内部实现用安全的类型断言绕开无意义的类型检查，代码如下：

class Dispatcher<R extends (...args: any) => any, T = undefined> {
    fn: R;
    extra: T;
    // 重载1：只传函数参数，extra类型为默认的undefined
    constructor(fn: R);
    // 重载2：传函数和extra参数，extra类型为传入值的类型
    constructor(fn: R, extra: T);
    // 实现签名（对外不可见）
    constructor(fn: R, extra?: T) {
        this.fn = fn;
        // 此处类型断言安全：重载逻辑保证了传入参数和T类型的匹配关系
        this.extra = extra as T;
    }
}

实现效果：

• 不传第二个参数实例化时，TS自动推断extra类型为undefined，无多余联合类型
• 传入第二个参数实例化时，TS自动推断extra类型为传入参数的精确类型，不会额外添加undefined，可直接访问参数上的属性
• 构造函数内部无类型报错

验证用例：

const test = new Dispatcher(() => true);
// 类型推导：const test: Dispatcher<() => boolean, undefined>
test.extra; // 类型为undefined

const test2 = new Dispatcher(() => true, { graphUrl: "/foo/" });
// 类型推导：const test2: Dispatcher<() => boolean, { graphUrl: string; }>
test2.extra.graphUrl; // 正常访问，无类型报错

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