TypeScript函数调用中如何避免泛型类型冗余？

一、针对继承AdvancedMarket<T>的场景（如AMarket1<T>、AMarket2<T>） #

可以利用泛型推断的传递性，或者调整函数的泛型参数设计，避免重复声明V类型：

方法1：通过infer关键字提取子类的泛型参数 #

修改runATest函数，仅声明一个泛型参数T，再从T的继承关系中自动提取AdvancedMarket的泛型参数V：

abstract class AdvancedMarket<T> { /* 抽象类实现 */ }
class AMarket2<V> extends AdvancedMarket<V> { test() {} }

// 改写后的runATest
function runATest<T extends AdvancedMarket<infer V>>(market: T) {
  // V会自动从T的继承关系推导得出
  market.test();
}

// 显式指定时只需传入子类的完整泛型类型，无需重复V
runATest<AMarket2<string>>(new AMarket2<string>());

这种方式让编译器自动完成V类型的推导，显式调用时仅需指定子类的泛型类型即可。

方法2：利用类型别名简化重复书写 #

如果需要保留原函数的泛型结构，可以通过类型别名封装子类的泛型实例，减少重复：

function runATest<V, T extends AdvancedMarket<V>>(market: T) { /* 函数实现 */ }

// 封装重复的泛型组合
type AMarket2String = AMarket2<string>;
runATest<string, AMarket2String>(new AMarket2String());

适合需要多次调用同一泛型组合的场景，通过别名统一管理，避免重复输入。

二、针对未继承AdvancedMarket的场景（如AMarket3<T>） #

对于独立的泛型类，同样可以用infer提取泛型参数，或者简化函数的泛型约束：

方法1：用infer提取类的泛型参数 #

假设原runATest2定义如下：

class AMarket3<T> { /* 类实现 */ }
function runATest2<V, T extends AMarket3<V>>(market: T) { /* 函数实现 */ }

改写为仅声明一个泛型参数，自动提取类的泛型参数V：

function runATest2<T extends AMarket3<infer V>>(market: T) {
  // V会自动从T的泛型定义中推导
}

// 显式指定时只需传入AMarket3<string>，无需重复声明V
runATest2<AMarket3<string>>(new AMarket3<string>());

方法2：直接绑定类的泛型参数到函数 #

如果函数逻辑仅依赖AMarket3的泛型参数V，可以直接将函数泛型约束为V，并将参数类型设为AMarket3<V>：

function runATest2<V>(market: AMarket3<V>) { /* 函数实现 */ }

// 显式指定时仅需声明V类型即可
runATest2<string>(new AMarket3<string>());

这种方式彻底消除了类型重复，函数只需要知道核心的V类型，AMarket3<V>会自动匹配参数类型。

核心思路 #

本质是利用TypeScript的泛型推断能力和*类型提取（infer）*特性，将原本需要手动声明的多个泛型参数，通过类型间的关联关系自动推导出来；或者简化函数的泛型设计，聚焦核心类型参数，从而避免显式指定时的冗余书写。

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