TypeScript中如何用子类值类型为父类属性定义类型？

问题根源 #

错误的核心是：ClassB的泛型T可被实例化为任意类型，而StateWithChildState<T>是T与StateFromB的交叉类型。直接赋值{count:0}无法满足这个交叉类型的要求——如果T包含和count冲突的字段，或者需要必填属性，当前赋值就不合法，TypeScript因此抛出类型检查错误。

可行解决方案 #

方案一：泛型约束+类型断言 #

给ClassB的泛型T添加对象类型约束，同时用类型断言明确告知TypeScript：当前赋值是最终状态的一部分，剩余属性由子类补充。

abstract class ClassA<T> {
    readonly initialState: T;
}

interface StateFromB {
    count: number;
}

type StateWithChildState<T> = T & StateFromB;

// 约束T必须是对象类型，避免与StateFromB交叉后出现类型矛盾
abstract class ClassB<T extends object> extends ClassA<StateWithChildState<T>> {
    // 通过Partial断言，标记当前值是完整状态的一部分
    initialState: StateWithChildState<T> = {
        count: 0
    } as Partial<StateWithChildState<T>> as StateWithChildState<T>;
}

interface StateFromC {
    allItems: any[];
}

class ClassC extends ClassB<StateFromC> {
    initialState: StateWithChildState<StateFromC> = {
        ...super.initialState,
        allItems: []
    } as const;
}

方案二：构造函数初始化（类型更安全） #

不在ClassB中直接赋值initialState，而是把基础状态片段通过构造函数传递，子类负责补充自身属性，最终由父类完成合并。这种方式不需要类型断言，类型检查更严格。

abstract class ClassA<T> {
    readonly initialState: T;

    constructor(initialState: T) {
        this.initialState = initialState;
    }
}

interface StateFromB {
    count: number;
}

type StateWithChildState<T> = T & StateFromB;

abstract class ClassB<T extends object> extends ClassA<StateWithChildState<T>> {
    protected readonly baseState: StateFromB = { count: 0 } as const;

    constructor(childState: T) {
        super({ ...this.baseState, ...childState });
    }
}

interface StateFromC {
    allItems: any[];
}

class ClassC extends ClassB<StateFromC> {
    constructor() {
        super({ allItems: [] });
    }
}

方案三：设置默认泛型类型 #

如果大部分子类不需要额外扩展属性，可以给ClassB的泛型设置默认值{}，这样在未指定T时也能正常通过类型检查，同时保留子类扩展的灵活性。

abstract class ClassA<T> {
    readonly initialState: T;
}

interface StateFromB {
    count: number;
}

type StateWithChildState<T> = T & StateFromB;

// 默认T为空对象，无额外属性要求
abstract class ClassB<T extends object = {}> extends ClassA<StateWithChildState<T>> {
    initialState: StateWithChildState<T> = {
        count: 0
    } as StateWithChildState<T>;
}

interface StateFromC {
    allItems: any[];
}

class ClassC extends ClassB<StateFromC> {
    initialState: StateWithChildState<StateFromC> = {
        ...super.initialState,
        allItems: []
    } as const;
}

内容的提问来源于stack exchange，提问作者Simon M.