TypeScript实现子类属性仅允许使用泛型类型的键

我懂你想要实现的效果——让Model子类里的protected casts属性只能使用泛型类型中存在的键，比如当泛型是{name: string}时，casts里只能出现name作为键对吧？之前尝试用keyof的时候遇到了TypeScript的报错，我来给你梳理下正确的实现方式。

正确的类型约束实现方案 #

我们可以通过泛型+映射类型来精准约束casts的键只能来自泛型T的键集合，同时允许你选择其中部分键（如果需要强制必须包含所有键，可以去掉Partial）：

// 定义基类Model，泛型T代表数据结构
class Model<T extends object> {
  // 使用Partial<Record<keyof T, any>>约束：键只能是T的键，值任意（可根据需求替换any）
  protected casts: Partial<Record<keyof T, any>> = {};
}

// 子类继承时指定泛型为具体的数据结构
class UserModel extends Model<{ name: string; age: number }> {
  protected casts = {
    name: String, // ✅ 合法：name是泛型T中的键
    age: Number,  // ✅ 合法：age也是泛型T中的键
    // email: String, // ❌ 报错：email不在泛型T的键集合中，符合预期
  };
}

关键知识点解释 #

1. keyof T：获取泛型T的所有键组成的联合类型，比如上面例子中keyof {name: string; age: number}就是"name" | "age"。
2. Record<Keys, Type>：创建一个对象类型，键是Keys，值是Type，这里我们用keyof T作为键的范围，确保casts的键不会超出泛型定义的范围。
3. Partial<Type>：将Type的所有属性变为可选，如果你希望casts必须包含泛型T的所有键，可以去掉Partial，直接用Record<keyof T, any>。

为什么你之前用keyof可能报错？ #

大概率是基类的类型约束没写对，比如：

• 没有给基类的泛型T加上extends object的约束，导致keyof T可能是never或者不符合预期的类型；
• 子类赋值casts时，TypeScript没有自动推断出它需要符合基类的约束，这时候可以显式标注类型（不过上面的写法已经能自动推断）。

比如显式标注的写法：

class UserModel extends Model<{ name: string }> {
  protected casts: Partial<Record<keyof typeof this['casts'], any>> = {
    name: String,
  };
}

这样就能完美实现你想要的约束效果啦！

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