TypeScript混入与继承问题：string无法赋值给string|number|symbol

问题根源 #

你遇到的错误是因为TypeScript在处理泛型类+混入的组合时，对泛型参数的类型推断出现偏差。父类VingRecord<'User'>的set方法泛型参数K被推断为string | number | symbol，而子类中指定的K extends keyof TProps<'User'>虽然逻辑等价，但TypeScript无法自动识别这种一致性，导致类型不兼容错误。

修复方案 #

方案1：统一set方法的泛型约束 #

由于TProps<T>是Partial<TModel[T]>，其键集合和TModel[T]完全一致（Partial仅修改属性可选性，不改变键），因此可以将父类和子类的set方法泛型约束统一为keyof TModel[T]，让TypeScript明确识别类型一致性：

type TModel = {
    'User' : {
        username : string,
        password : string  | undefined,
    },
    'APIKey' : {
        privateKey: string,
    }
};
type TProps<T extends keyof TModel> = Partial<TModel[T]>;

type Constructor<T = {}> = new (...args: any[]) => T;

class VingRecord<T extends keyof TModel> {
    constructor(private props: TProps<T>) { }

    // 修改泛型约束为keyof TModel[T]
    public set<K extends keyof TModel[T]>(_key: K) {}
}

function RoleMixin<T extends Constructor>(Base: T) {
    return class RoleMixin extends Base {  };
}

class UserRecord extends RoleMixin(VingRecord<'User'>) {
    // 子类使用完全一致的泛型约束
    public set<K extends keyof TModel['User']>(_key: K) {}
}

方案2：用override明确标记重写（推荐） #

如果需要在子类中重写set方法，使用override关键字明确标记重写意图，帮助TypeScript更准确地进行类型校验：

class UserRecord extends RoleMixin(VingRecord<'User'>) {
    public override set<K extends keyof TProps<'User'>>(_key: K) {
        super.set(_key);
        // 添加子类自定义逻辑
    }
}

额外说明 #

当使用混入包装泛型类时，TypeScript对泛型参数的传递会变得敏感。确保父类和子类的泛型约束完全对齐，或者利用override关键字明确重写意图，都能有效避免这类类型不兼容问题。

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