泛型函数中带继承类的条件类型实现问题

原始代码结构 #

class ClassA<T> {}

class ClassB<T> extends ClassA<T> {}

class ClassC<T> extends ClassA<T> {}

function doSomething<T>(classInstance: ClassA<T>) {

}

需求 #

修改doSomething函数，添加一个可选参数，满足：

• 当第一个参数是ClassC实例时，不允许传入第二个参数
• 当第一个参数是ClassA或ClassB实例时，允许传入第二个参数（可选）

预期的调用行为：

class ClassA<T> {}
class ClassB<T> extends ClassA<T> {}
class ClassC<T> extends ClassA<T> {}

// 以下调用均应被允许
doSomething<string>(new ClassA<string>());
doSomething<string>(new ClassA<string>(), "abcd");
doSomething<string>(new ClassB<string>(), "abcd");
doSomething<string>(new ClassB<string>());
doSomething<string>(new ClassC<string>());

// 以下调用应被禁止
doSomething<string>(new ClassC<string>(), "abcd"); // 报错

尝试的错误方案 #

使用条件类型尝试约束，但未达到预期：

type ValueType<T extends ClassA<any>, K> = T extends ClassC<any> ? never : K;

function doSomething<T>(
    classInstance: ClassA<T>,
    someValue?: ValueType<typeof classInstance, T>
) {
}

正确实现方法 #

要实现这种基于参数类型的条件约束，函数重载是更可靠的方案。通过定义多个重载签名，精准匹配不同的参数组合：

class ClassA<T> {}
class ClassB<T> extends ClassA<T> {}
class ClassC<T> extends ClassA<T> {}

// 重载1：匹配ClassC实例，不允许第二个参数
function doSomething<T>(classInstance: ClassC<T>): void;
// 重载2：匹配ClassA或ClassB实例，允许可选的第二个参数
function doSomething<T>(classInstance: ClassA<T> | ClassB<T>, someValue?: T): void;
// 函数实现体
function doSomething<T>(classInstance: ClassA<T>, someValue?: T) {
    // 业务逻辑
}

为什么之前的方案不行？ #

你之前用的typeof classInstance在泛型函数的参数约束中，TypeScript会将其推断为最宽泛的ClassA<T>类型，无法细化到具体的子类ClassC，因此条件类型ValueType始终会返回K（即T），起不到约束作用。

而函数重载可以直接针对不同的参数类型定义不同的签名，TypeScript在调用时会根据传入的实例类型匹配对应的重载，从而实现预期的约束效果。

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