如何通过抽象类静态方法创建子类实例？解决TS2693报错

错误原因 #

你在静态方法buildIfDefined里犯了TypeScript的基础错误：泛型参数C是类型，不是可调用的运行时值。TypeScript的类型系统和运行时的值系统完全分离，你试图用类型C去访问constructor并实例化，这在语法上是不允许的，因此触发TS2693错误。

正确实现方式 #

利用静态方法中的this上下文解决问题——当子类调用父类的静态方法时，this会指向子类的构造函数本身。通过泛型约束明确this的类型，既能正确创建子类实例，又能适配不同子类的构造函数参数。

基础版本（适配单参数构造函数） #

abstract class ValueObject<T> {
    protected props: T;

    protected constructor(props: T) {
        this.props = props;
    }

    // P表示子类构造函数的参数类型，This表示子类实例类型
    public static buildIfDefined<P, This extends ValueObject<any>>(
        this: new (args: P) => This,
        props?: P
    ): This | undefined {
        return props !== undefined ? new this(props) : undefined;
    }
}

interface ExampleProps {
    value: number;
}

class Example extends ValueObject<ExampleProps> {
    constructor(value: number) {
        super({ value });
    }
}

function buildExampleIfValueDefined(value: number | undefined): Example | undefined {
    return Example.buildIfDefined(value);
}

进阶版本（适配多参数构造函数） #

如果子类构造函数需要多个参数，可将泛型P改为元组类型，支持不定参数：

abstract class ValueObject<T> {
    protected props: T;

    protected constructor(props: T) {
        this.props = props;
    }

    public static buildIfDefined<P extends any[], This extends ValueObject<any>>(
        this: new (...args: P) => This,
        ...props: [...P] | [undefined]
    ): This | undefined {
        if (props[0] === undefined) return undefined;
        return new this(...props as P);
    }
}

// 多参数子类示例
class MultiParamExample extends ValueObject<{a: number; b: string}> {
    constructor(a: number, b: string) {
        super({a, b});
    }
}

// 调用示例
const instance = MultiParamExample.buildIfDefined(123, "test"); // 正常生成实例
const undefinedInstance = MultiParamExample.buildIfDefined(undefined); // 返回undefined

核心逻辑说明 #

• 通过给静态方法添加this参数约束，让TypeScript明确调用该方法的是能生成子类实例的构造函数。
• 泛型P接收子类构造函数的参数类型，确保传入参数与子类构造函数匹配，保留类型安全性。
• 彻底避免了“用类型作为值”的错误，同时实现了“仅当参数存在时创建实例”的需求。

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