如何避免继承方法返回类型中交叉类型绕过联合类型限制？

我之前用泛型解决了参数列表中的类型问题，但在继承方法返回类型的场景里遇到了瓶颈：抽象类定义的方法返回类型为number | { a: number }，希望子类返回的类型要么匹配联合中的某一项，要么是联合中多项的交叉；但如果交叉类型包含不符合联合项的部分，应该触发报错。

问题代码示例 #

abstract class A {
    abstract m(): number | { a: number }; // 预期返回number或{ a: number }，或两者的交叉
}

class B extends A {
    declare x: number; // 仅为number类型

    m() { return this.x; } // 正常
}

class C extends A {
    declare x: { a: number }; // 仅为{ a: number }类型

    m() { return this.x; } // 正常
}

class D extends A {
    declare x: number & { a: number }; // 交叉类型的两部分都符合预期

    m() { return this.x; } // 正常
}

class E extends A {
    declare x: number & { a: string }; // 交叉类型中有部分不符合预期（a是string而非number）

    m() { return this.x; } // 应该报错，但当前不报错
}

class F extends A {
    declare x: string & { a: number }; // 交叉类型中有部分不符合预期（类型是string而非number）

    m() { return this.x; } // 应该报错，但当前不报错
}

解决方案 #

我们可以借助TypeScript的条件类型和never类型，约束子类的返回类型必须完全由目标联合类型的成员组成：

1. 定义辅助约束类型

type AllowedReturn = number | { a: number };

// 检查类型T是否仅由AllowedReturn的成员交叉而成
type IsValidReturnType<T> = 
  T extends any 
    ? (Exclude<T, AllowedReturn> extends never ? T : never)
    : never;

这个类型的核心逻辑是：如果T中所有部分都属于AllowedReturn的成员，就返回T；否则返回never，触发类型不匹配错误。

2. 修改抽象类方法的返回类型

abstract class A {
    abstract m(): IsValidReturnType<AllowedReturn>;
}

修改后，类E和类F的m()方法会因为返回类型包含不符合AllowedReturn的部分而报错，而B、C、D则能正常通过类型检查。

原理 #

• 对于非法交叉类型（如number & { a: string }），Exclude<T, AllowedReturn>会提取出不属于AllowedReturn的部分（{ a: string }），此时IsValidReturnType返回never，与子类返回类型不匹配，触发报错。
• 对于合法交叉类型（如number & { a: number }），Exclude后结果为never，IsValidReturnType返回原类型，符合约束。

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