TypeScript如何在保留静态属性类型的同时获取动态对象精确类型

• 定义了包含静态属性params的类，通过TypeScript范畴外的底层实现逻辑，类的每个实例都可访问this.params，内容为静态params属性的副本。
• 静态params的类型标注为Record<string, ParamDef>，其中ParamDef存在多种不同结构，该标注可在为静态params新增属性时提供类型辅助提示。
• 当前this.params的类型标注为typeof Test.params，访问this.params.a.value时，得到的类型为string | number，需要在保留静态属性原有类型校验能力的前提下，获取到精确类型（即a对应的value类型为string）。

原有问题代码：

type ParamDef = {
  type: "Text",
  value: string
} | {
  type: "Number",
  value: number
}

class Test {
  params!: typeof Test.params;

  constructor() {
    this.params.a.value; // 当前推导类型为string | number，期望为string
  }
  static params: Record<string, ParamDef> = {
    a: {
      type: "Text",
      value: "someText"
    },
    b: {
      type: "Number",
      value: 3
    }
  }
}

问题根源：显式给静态params标注Record<string, ParamDef>类型时，TypeScript会直接将该属性的类型确定为这个宽泛的索引类型，丢失对象内部具体属性的字面量类型信息，导致后续通过typeof Test.params获取实例属性类型时，无法拿到每个键对应的精确结构。

方案1：使用satisfies运算符（推荐，TS 4.9+支持） #

使用satisfies代替显式类型标注，它会校验赋值内容符合Record<string, ParamDef>的类型约束，同时不会扩宽类型、丢失对象内部的具体结构信息：

type ParamDef = {
  type: "Text",
  value: string
} | {
  type: "Number",
  value: number
}

class Test {
  params!: typeof Test.params;

  constructor() {
    this.params.a.value; // 推导类型为string，符合预期
    this.params.b.value; // 推导类型为number，符合预期
  }
  static params = {
    a: {
      type: "Text",
      value: "someText"
    },
    b: {
      type: "Number",
      value: 3
    }
  } satisfies Record<string, ParamDef>;
}

该方案完全保留原有类型校验能力：给静态params新增不符合ParamDef结构的属性时，TypeScript会正常抛出类型错误，不影响新增属性时的类型提示。

方案2：泛型辅助函数（兼容TS 4.9以下版本） #

如果使用的TypeScript版本不支持satisfies，可以通过泛型辅助函数实现相同效果：泛型会约束入参符合Record<string, ParamDef>结构，同时保留入参的精确类型：

type ParamDef = {
  type: "Text",
  value: string
} | {
  type: "Number",
  value: number
}

// 泛型辅助函数，做类型校验同时保留精确类型
const defineParams = <T extends Record<string, ParamDef>>(params: T) => params;

class Test {
  params!: typeof Test.params;

  constructor() {
    this.params.a.value; // 推导类型为string
  }
  static params = defineParams({
    a: {
      type: "Text",
      value: "someText"
    },
    b: {
      type: "Number",
      value: 3
    }
  });
}

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