TypeScript类与类型的对象化程度及枚举映射类失败问题

想要将Enum映射到类类型（而非实例，是类本身），用于创建类实例（如new map['className']()）、获取类属性类型等操作。查阅资料得知TypeScript支持该操作，但实际实现时出现异常：FooData.types未被填充，类型检查失效。同时存在两个核心疑问：

1. 在TypeScript中，类与类型能多大程度作为对象处理？
2. TypeScript的运行时反射与类型管理能力范围是怎样的？

附上核心代码及运行报错信息：

enum FooTypes {
  Bar = "Bar",
  Baz = "Baz"
}

module FooDataTypes {
  export class Bar implements FooData {
    readonly type: FooTypes = FooTypes.Bar;
    data: string = "default";
  }
  export class Baz implements FooData {
    readonly type: FooTypes = FooTypes.Baz;
    data: number = 100;
  }
}

abstract class FooData {
  abstract readonly type: FooTypes;
  static readonly types: { [key in FooTypes]: { new(...args: any[]): FooData } } = {
    Bar: FooDataTypes.Bar,
    Baz: FooDataTypes.Baz
  };
}

运行报错：

[WRN]: "Skipped member 'data' in Foo Data instance due to invalid type; was 'string' instead of 'undefined'.
Partial: {"type":"Bar","data":"bar"}
Object: {"type":"Bar","data":"default"}
Class: undefined
FooData.types: {}"

解决方案与疑问解答 #

一、修复FooData.types为空的问题 #

问题根源在于初始化顺序错误：FooData抽象类的静态属性types在类定义内部初始化时，FooDataTypes模块中的类还未完成加载，导致赋值失败，最终types为空对象。

修改方案：将静态属性的初始化逻辑移到类定义外部，确保所有类都已完成定义后再赋值：

enum FooTypes {
  Bar = "Bar",
  Baz = "Baz"
}

module FooDataTypes {
  export class Bar implements FooData {
    readonly type: FooTypes = FooTypes.Bar;
    data: string = "default";
  }
  export class Baz implements FooData {
    readonly type: FooTypes = FooTypes.Baz;
    data: number = 100;
  }
}

abstract class FooData {
  abstract readonly type: FooTypes;
  // 用非空断言告知TypeScript后续会赋值，避免编译错误
  static readonly types!: { [key in FooTypes]: { new(...args: any[]): FooData } };
}

// 确保类加载完成后再初始化映射
FooData.types = {
  Bar: FooDataTypes.Bar,
  Baz: FooDataTypes.Baz
};

修改后FooData.types会被正确填充，后续通过new FooData.types[FooTypes.Bar]()就能正常创建实例。

二、核心疑问解答 #

1. TypeScript中类与类型作为对象的处理程度

• 类是运行时可操作的对象：TypeScript编译后，类会转为JavaScript的构造函数对象，你可以将它作为参数传递、存入对象/数组，甚至动态修改其静态属性（不推荐）。比如把FooDataTypes.Bar存入FooData.types，本质就是存储构造函数对象，运行时可直接用new创建实例。
• 类型仅存在于编译阶段：TypeScript的类型（接口、类型别名等）会在编译为JavaScript时被完全擦除，无法在运行时直接操作类型，比如不能用类型作为对象键、无法动态查询类型定义。
• 类兼具类型与值的双重身份：一个类既可以作为类型（如let bar: Bar），也可以作为运行时的值（如new Bar()），这是它和纯类型（如接口）的核心区别。

2. TypeScript的运行时反射与类型管理能力范围

TypeScript无内置运行时反射机制，所有类型信息编译后都会消失，能用到的运行时能力均来自JavaScript本身：

• 可通过typeof、instanceof判断值的基本类型或构造函数实例，但无法获取编译时定义的接口、类型别名信息。
• 可通过Object.getOwnPropertyNames、Object.getPrototypeOf等方法获取对象的属性、原型信息，但这属于JavaScript原生能力，与TypeScript类型系统无关。
• 若需要类似反射的功能，需借助第三方库（如reflect-metadata），但它是通过装饰器在编译阶段注入元数据，并非TypeScript原生支持的运行时类型查询。
• 编译时类型检查仅能保证代码符合类型定义，运行时的外部数据（如API返回的JSON）无法自动进行类型校验，需自行编写校验逻辑或使用io-ts这类库。

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