TypeScript中能否在构造函数参数上使用泛型而非类声明

首先直接给出结论：不能像示例中Class2那样直接在参数类型里写T extends SomeInterface（这是语法错误），但可以通过给构造函数单独声明泛型参数来实现类似需求。

为什么Class2的写法不行？ #

TypeScript要求泛型参数必须先声明才能使用。示例里的Class2没有提前声明泛型T，直接在参数类型中写T extends SomeInterface会被编译器报错，因为它不知道T是什么。

正确的替代方案：构造函数级泛型 #

如果不想在类级别定义泛型，可以给构造函数单独添加泛型声明，写法如下：

interface SomeInterface {
    work(): void;
}

class Class2 {
    // 在构造函数名后声明泛型T，再约束参数类型
    constructor<T extends SomeInterface>(public item: T) { }
}

这种写法的效果 #

• 每次调用new Class2(...)时，TypeScript会自动推断泛型T的具体类型，既保证item符合SomeInterface的约束，又能保留传入对象的具体类型信息。
• 类本身不是泛型类，所以类的其他成员无法直接复用T类型；如果类的其他方法需要依赖这个类型，还是得用Class1那种类级泛型的写法。

对比两种写法的差异 #

• 类级泛型（Class1）：整个类绑定泛型T，类的所有成员（比如后续添加的方法）都能使用T类型，适合需要在类的多个地方复用泛型的场景。
• 构造函数级泛型（修改后的Class2）：仅构造函数使用泛型，类本身不绑定泛型，适合只在构造时需要类型约束，且希望保留传入对象具体类型的场景。

示例验证：

class Worker implements SomeInterface {
    work() { console.log('正在工作') }
    extraMethod() { console.log('额外方法') }
}

// 使用修改后的Class2
const obj2 = new Class2(new Worker());
obj2.item.extraMethod(); // 正常执行，因为TypeScript推断出item是Worker类型

// 如果直接把item类型设为SomeInterface，会丢失具体类型
class Class3 {
    constructor(public item: SomeInterface) { }
}
const obj3 = new Class3(new Worker());
obj3.item.extraMethod(); // 报错：类型SomeInterface不存在extraMethod方法

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