如何创建继承类T且含from_T方法的泛型类型L的实例？

问题场景 #

想要在泛型函数中创建类型L的实例，要求L必须继承类T，并且提供一个静态方法from_T，可以从T的实例生成L的实例。尝试编写的代码存在错误，尤其是const a = L::from_T(new T(42));这一行，原代码如下：

class T {
    x: number;
    constructor(x: number){
        this.x = x;
    }
}

interface FromT {
    from_T(a: T): FromT;
}

function test<L extends T & FromT>(): L{
    const a = L::from_T(new T(42));
    return a;
}

问题分析与修正 #

原代码存在三个核心问题：

• TypeScript中访问静态方法的语法是.，而非::
• FromT接口定义的是实例方法，但from_T应该是静态方法
• from_T的返回值类型应该是泛型L，而非FromT，否则无法保证返回实例符合泛型约束

修正后的代码如下：

class T {
    x: number;
    constructor(x: number){
        this.x = x;
    }
}

// 定义包含静态from_T方法的接口，指定返回类型为L
interface FromT<L> {
    from_T(a: T): L;
}

// 泛型约束：L继承T，且L类本身实现FromT<L>静态接口
function test<L extends T>(LConstructor: FromT<L> & typeof T): L{
    const a = LConstructor.from_T(new T(42));
    return a;
}

// 示例实现类
class LImpl extends T {
    // 实现静态from_T方法
    static from_T(a: T): LImpl {
        const instance = new LImpl(a.x);
        // 可添加额外初始化逻辑
        return instance;
    }
}

// 调用测试
const result = test(LImpl);
console.log(result.x); // 42

关键修正点说明 #

1. 静态方法接口定义：将FromT改为接收泛型参数的接口，明确from_T静态方法返回L类型的实例
2. 语法修正：用.替代::访问静态方法
3. 泛型约束优化：通过传入类构造函数的方式，确保L同时满足继承T和拥有from_T静态方法的要求，TypeScript可以正确推导类型

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