为何TypeScript中void类型构造函数参数不可选，方法参数却可选？

为什么构造函数与setData方法的void参数表现不同？ #

TypeScript对构造函数和普通方法的void参数采用了不同的处理逻辑：

• 对于普通方法（比如setData），当参数类型标记为void时，TypeScript允许你不传任何参数——这是语言设计的灵活性考虑，常见于回调函数场景（比如允许忽略无返回值的回调参数），甚至传undefined也不会报错。
• 对于构造函数，TypeScript的处理更严格：void类型在这里被视为一个必须传入的类型，但实际上你无法直接传入一个合法的void值（void仅表示“没有返回值”，不存在对应的值），因此编译器会报错提示缺少参数。

如何让构造函数在T为void时参数可选？ #

可以通过构造函数重载实现这个需求，根据泛型类型T的不同提供两种构造签名：

class A<T> {
    data: T;

    // 重载签名1：当T为void时，允许无参数
    constructor();
    // 重载签名2：当T为非void类型时，必须传入T类型的参数
    constructor(data: T);
    // 实现签名：兼容两种情况，参数设为可选
    constructor(data?: T) {
        // 当T为void时，undefined可以赋值给void类型的data
        this.data = data as T;
    }

    setData(newData: T) {
        this.data = newData;
    }
}

// 测试场景
const voidInstance = new A<void>(); // 无报错
voidInstance.setData(); // 正常运行

const stringInstance = new A<string>("initial"); // 必须传参数
stringInstance.setData("updated"); // 正常运行

也可以用条件类型直接约束构造函数参数，让参数在T为void时变为可选：

class A<T> {
    data: T;
    constructor(data: T extends void ? undefined : T) {
        this.data = data as T;
    }

    setData(newData: T) {
        this.data = newData;
    }
}

两种方式都能实现需求，重载的写法可读性更强，更适合团队协作场景。

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