TypeScript泛型报错：'T'仅为类型却被用作值的解决问询

这个报错其实是TypeScript在直白地提醒你：你把类型层面的标记和实际可执行的值搞混啦！

错误原因拆解 #

泛型参数T本质上只是一个类型约束标记，它只存在于TypeScript的编译检查阶段，编译成JavaScript后就会被完全擦除。你写new T(n)的时候，相当于试图用一个根本不存在的“值”去实例化对象——T从来都不是可执行的构造函数，只是用来约束类型的规则，自然会触发报错。

而你的非泛型版本能正常运行，是因为Test1既是一个类型（用来标注返回值类型），也是一个值（类本身就是一个可执行的构造函数对象），所以new Test1(n)是完全合法的操作。

修复方案：传递构造函数并添加构造签名约束 #

要解决这个问题，你需要让函数拿到实际的构造函数值，同时用泛型约束确保这个构造函数能生成T类型的实例。具体代码如下：

class Test { constructor(i: number) { } }
class Test1 extends Test { }
class Test2 extends Test { }

// 泛型约束T继承Test，同时要求传入的ctor是能接收number参数的构造函数，返回T实例
function f<T extends Test>(ctor: new (n: number) => T, n: number): T {
  return new ctor(n);
}

// 使用示例
const test1Instance = f(Test1, 100); // test1Instance会被自动推断为Test1类型
const test2Instance = f(Test2, 200); // test2Instance会被自动推断为Test2类型

这里的关键是new (n: number) => T这个构造签名，它告诉TypeScript：传入的ctor必须是一个构造函数，接受一个number参数，并且返回T类型的实例。这样既保证了类型安全，又能拿到可执行的构造函数来实例化对象。

如果你之前尝试过定义构造函数接口但没成功，可能是接口写法有误，正确的构造函数接口应该是这样的：

interface TestConstructor<T extends Test> {
  new(n: number): T;
}

// 函数可以改成这样使用接口约束
function f<T extends Test>(ctor: TestConstructor<T>, n: number): T {
  return new ctor(n);
}

核心总结 #

TypeScript的泛型是类型系统的工具，只能用来做类型检查和推断，不能直接当作可执行的值使用。要实例化泛型对应的类，必须显式传入该类的构造函数，并通过构造签名约束来保证类型匹配。

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