为何基类缺少构造函数会导致TypeScript类型不兼容？

核心原因：构造函数的类型兼容性规则 #

TypeScript对类的构造函数类型兼容性有严格检查，具体到你的场景：

1. 基类无显式构造函数时：
   TypeScript会自动给BaseDataModel生成一个无参数的默认构造函数，此时typeof BaseDataModel（即基类的构造函数类型）的要求是：这个类可以被无参数实例化（new 类名()）。
   但你的Bar类定义了一个必须传入参数的构造函数，无法满足“无参数实例化”的要求，因此typeof Bar和typeof BaseDataModel类型不兼容，触发报错。

2. 基类有显式构造函数时：
   你给BaseDataModel定义了constructor(obj?: any)（参数可选），此时基类的构造函数允许无参数调用。TypeScript会认为，即使Bar的构造函数要求传参，但从类型系统层面，typeof BaseDataModel代表的构造函数签名（支持无参）是Bar构造函数的超集，因此允许typeof Bar赋值给typeof BaseDataModel。

额外提醒：代码的潜在运行时问题 #

需要注意的是，你的fromJson方法里用了new this()无参数实例化类，这对于Bar来说是非法的（因为Bar的构造函数必须传参），即使TypeScript编译通过，运行时会抛出错误。你需要调整fromJson的实现（比如给new this()传入参数），或者把Bar的构造函数参数改为可选类型。

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