TypeScript类泛型支持子类型兼容，方法泛型为何失效？

问题背景 #

现有BaseType及派生接口DerivedType，使用类级泛型的BaseInterface1可以正常派生DerivedInterface1，但将泛型移至m1方法级时，两种派生尝试均出现类型错误：

1. DerivedInterface2将方法泛型约束从BaseType改为DerivedType，报错：Property 'b' is missing in type 'BaseType' but required in type 'DerivedType'
2. DerivedInterface3直接将m1参数设为DerivedType，报错：Type 'T' is not assignable to type 'DerivedType'

实际场景中方法数量较多，不希望使用类级泛型，需解决该问题并理解错误原因。

原始代码示例 #

interface BaseType {
    a: number;
}

interface DerivedType extends BaseType{
    b: number;
}

// 类级泛型：正常运行
interface BaseInterface1<T extends BaseType> {
    m1(p: T): T
}

interface DerivedInterface1 extends BaseInterface1<DerivedType> {
    m1(p: DerivedType): DerivedType
}

// 尝试1：方法泛型缩小约束报错
interface BaseInterface2 {
    m1<T extends BaseType>(p: T): T
}

interface DerivedInterface2 extends BaseInterface2 {
    m1<T extends DerivedType>(p: T): T
}

// 尝试2：固定参数类型报错
interface BaseInterface3 {
    m1<T extends BaseType>(p: T): T
}

interface DerivedInterface3 extends BaseInterface3 {
    m1(p: DerivedType): DerivedType
}

错误原因解析 #

尝试1错误原因 #

TypeScript要求接口派生时，方法签名必须完全兼容基接口。基接口BaseInterface2的m1允许传入任意BaseType子类型（包括BaseType本身），但DerivedInterface2的m1仅接受DerivedType子类型。若将DerivedInterface2当作BaseInterface2使用，调用m1({a:1})会违反DerivedInterface2的约束，因此TypeScript禁止这种缩小泛型约束的操作。

尝试2错误原因 #

BaseInterface3的m1是泛型方法，支持所有BaseType子类型的输入输出；而DerivedInterface3的m1是固定类型方法，仅能处理DerivedType。当把DerivedInterface3赋值给BaseInterface3类型变量时，调用方期望传入BaseType，但实际无法处理，违反了类型协变/逆变规则，导致报错。

可行解决方案 #

方案1：条件类型约束泛型 #

在基接口方法中使用条件类型，让派生接口既能限制输入为DerivedType，又保持与基接口的签名兼容：

interface BaseInterface4 {
    m1<T extends BaseType>(p: T): T extends DerivedType ? DerivedType : T
}

interface DerivedInterface4 extends BaseInterface4 {
    m1<T extends DerivedType>(p: T): T
}

// 验证
const obj4: DerivedInterface4 = {
    m1(p) {
        return { ...p, b: p.b || 0 };
    }
}

方案2：接口方法重载 #

通过为派生接口添加方法重载，同时保留基接口的泛型方法声明，兼顾兼容性与专属类型处理：

interface BaseInterface5 {
    m1<T extends BaseType>(p: T): T
}

interface DerivedInterface5 extends BaseInterface5 {
    // 优先匹配DerivedType的重载
    m1(p: DerivedType): DerivedType;
    // 显式声明基接口泛型方法，保证兼容性
    m1<T extends BaseType>(p: T): T;
}

// 验证
const obj5: DerivedInterface5 = {
    m1(p) {
        if ('b' in p) {
            return { ...p, b: p.b * 2 };
        }
        return p;
    }
}

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