如何为继承ActiveRecord的User类实例实现完整TypeScript类型标注？

你的问题本质是TypeScript类型系统无法自动识别Object.assign为实例添加的UserModel属性，导致user实例仅被标记为User类型而非User & UserModel。以下是几种可行的解决方案：

方案一：修改ActiveRecord构造函数的返回类型（推荐） #

通过指定构造函数返回this & T，让TypeScript自动将泛型类型T的属性合并到实例类型中：

type UserModel = {
  id: number;
  email: string;
};

export class ActiveRecord<T> {
  constructor(fields: T): this & T {
    Object.assign(this, fields);
    return this as this & T;
  }
}

class User extends ActiveRecord<UserModel> {}

const user = new User({ id: 1, email: "foo" });
// 此时user会被识别为User & UserModel类型，自动补全id、email等属性

这种方案只需修改一次父类，所有继承自ActiveRecord的子类都能自动获得模型类型的属性补全，是最优雅的解决方式。

方案二：为子类显式声明实现的模型接口 #

若不想修改父类，可以让子类implements对应的模型类型，同时忽略TypeScript对未声明属性的检查：

type UserModel = {
  id: number;
  email: string;
};

export class ActiveRecord<T> {
  constructor(fields: T) {
    Object.assign(this, fields);
  }
}

// 使用@ts-ignore忽略未显式声明属性的错误
// @ts-ignore
class User extends ActiveRecord<UserModel> implements UserModel {}

const user = new User({ id: 1, email: "foo" });

注意：这种方式需要为每个子类添加implements声明，且依赖类型忽略注释，适合临时场景。

方案三：显式声明实例的交叉类型 #

在创建实例时，直接指定变量类型为User & UserModel：

type UserModel = {
  id: number;
  email: string;
};

export class ActiveRecord<T> {
  constructor(fields: T) {
    Object.assign(this, fields);
  }
}

class User extends ActiveRecord<UserModel> {}

// 显式定义实例类型为交叉类型
type UserInstance = User & UserModel;
const user: UserInstance = new User({ id: 1, email: "foo" });

这种方式无需修改类定义，但需要手动为每个实例类型创建交叉类型别名，适合少量子类的场景。

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