如何在联合类型中排除void类型？解决Typescript类编译错误

针对泛型P包含void类型导致exists方法编译错误的问题，提供以下几种可行解决方案：

方案1：添加运行时类型守卫与类型收窄 #

修改exists方法，先判断参数是否为有效对象，再执行in操作：

export class Parameters<P extends Record<string, unknown> | void> {
    private params: P;
    constructor(params: P) {
        this.params = params;
    }
    public exists(field: keyof P): boolean {
        // 排除void对应的undefined及null情况
        if (typeof this.params !== 'object' || this.params === null) {
            return false;
        }
        // 此时TypeScript会自动将this.params收窄为Record<string, unknown>类型
        return field in this.params;
    }
}

当P为void时，this.params实际为undefined，类型守卫会直接返回false；当P是对象类型时，正常执行in判断，同时消除编译报错。

方案2：通过方法重载区分类型场景 #

利用方法重载，针对void类型单独限制调用逻辑：

export class Parameters<P extends Record<string, unknown> | void> {
    private params: P;
    constructor(params: P) {
        this.params = params;
    }
    // 匹配P为void的场景，keyof void是never，限制无有效参数传入
    public exists(field: never): boolean;
    // 匹配P为对象类型的场景
    public exists(field: keyof P): boolean;
    // 统一实现逻辑
    public exists(field: keyof P): boolean {
        if (!this.params) return false;
        return field in this.params;
    }
}

实例化Parameters<void>时，调用exists会因参数类型为never而被TypeScript限制，从类型层面避免无效调用，运行时也做了兜底处理。

方案3：构造函数中统一转换void类型 #

将void类型的参数转换为空对象，后续方法无需额外处理：

export class Parameters<P extends Record<string, unknown> | void> {
    // 存储类型统一为非void的对象类型
    private params: P extends void ? Record<string, never> : P;
    constructor(params: P) {
        // 将void对应的undefined替换为空对象
        this.params = (params ?? {}) as P extends void ? Record<string, never> : P;
    }
    public exists(field: keyof P): boolean {
        return field in this.params;
    }
}

通过条件类型定义存储的参数类型，构造函数中用空对象替代void对应的undefined，确保exists方法始终处理对象类型，彻底规避void的影响。

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