TypeScript：类构造器使用this类型及子类继承参数约束优化

问题说明 #

我有一个抽象类A，仅作为基类被其他类继承，其构造器用于初始化自身属性。需求是：构造器仅接收包含子类成员的对象作为参数，传入额外属性时触发类型错误。

最初尝试的写法（存在语法问题）：

abstract class A {
    constructor(initializer: Partial<this>) { // TypeScript不允许在构造器中使用this类型!
        for (const [key,value] of Object.entries(initializer)) {
            Object.defineProperty(this, key, { value, enumerable: true })
        }
    }
    static someStaticMethod() {}
    someInstancemethod() {}
}

子类继承示例，期望传入d时触发错误：

class B extends A {
    a?: string
    b?: number
    c?: boolean
}

new B({ a: "hello", b: 1, c: true, d: "this must error" }) // 希望这里d属性触发类型错误

已知但不够优雅的方案 #

可以给抽象类添加泛型参数，让子类指定自身类型：

abstract class A<T> {
    constructor(initializer: Partial<T>) {
        for (const [key,value] of Object.entries(initializer)) {
            Object.defineProperty(this, key, { value, enumerable: true })
        }
    }
    static someStaticMethod() {}
    someInstancemethod() {}
}

class B extends A<B> {
    a?: string
    b?: number
    c?: boolean
}

缺点是子类继承时必须重复写A<B>，作为库的外部API不够简洁，希望能直接用class B extends A的语法。

可行替代方案 #

方案1：静态工厂方法（推荐，API简洁） #

将实例化逻辑放到静态方法中，利用TypeScript的多态this类型自动推断子类类型：

abstract class A {
    static create<T extends A>(this: new () => T, initializer: Partial<T>): T {
        const instance = new this();
        for (const [key, value] of Object.entries(initializer)) {
            Object.defineProperty(instance, key, { value, enumerable: true });
        }
        return instance;
    }
    static someStaticMethod() {}
    someInstancemethod() {}
}

class B extends A {
    a?: string;
    b?: number;
    c?: boolean;
}

// 正确用法，无类型错误
B.create({ a: "hello", b: 1, c: true });
// 传入额外属性，触发类型错误
B.create({ d: "error" });

优势：子类继承时只需class B extends A，无需额外泛型声明；类型约束严格，符合需求。唯一不足是需要通过静态方法create创建实例，而非直接new。

方案2：装饰器自动绑定类型（支持new实例化） #

通过装饰器动态调整基类的构造器类型，让子类自动推断自身类型，需启用experimentalDecorators编译选项：

function AutoBindBase<T extends new (...args: any[]) => any>(base: T) {
    return base as new <U extends InstanceType<T>>(initializer: Partial<U>) => U;
}

@AutoBindBase
abstract class A {
    constructor(initializer: Partial<any>) {
        for (const [key, value] of Object.entries(initializer)) {
            Object.defineProperty(this, key, { value, enumerable: true });
        }
    }
    static someStaticMethod() {}
    someInstancemethod() {}
}

class B extends A {
    a?: string;
    b?: number;
    c?: boolean;
}

// 正确用法
new B({ a: "hello", b: 1, c: true });
// 额外属性触发类型错误
new B({ d: "error" });

优势：支持直接用new实例化，子类写法简洁；缺点是依赖实验性特性，需要调整编译配置。

方案3：简化泛型声明的写法 #

如果不想用装饰器或静态方法，可以通过InstanceType简化泛型声明：

abstract class A<T> {
    constructor(initializer: Partial<T>) {
        for (const [key, value] of Object.entries(initializer)) {
            Object.defineProperty(this, key, { value, enumerable: true });
        }
    }
    static someStaticMethod() {}
    someInstancemethod() {}
}

class B extends A<InstanceType<typeof B>> {
    a?: string;
    b?: number;
    c?: boolean;
}

优势：无需额外特性，写法比A<B>稍简洁；缺点是仍需在继承时声明泛型参数，不够彻底。

结论 #

TypeScript目前不支持直接在抽象类构造器中使用this类型约束参数，无法完全实现class B extends A且构造器自动约束子类属性的语法。如果可以接受静态工厂方法，方案1是最优选择；如果必须使用new实例化，装饰器方案（方案2）能实现简洁的API；方案3则是折中选择。

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