TypeScript中如何为as const对象泛型化定义flags参数类型？

算力阿峰

2026-7-6

要给parseNames的flags参数定义类型，让它只接受用as const断言的这类只读键值对对象，你可以用泛型+只读对象约束的方式，既能精准匹配这类对象，还能保留类型推断能力。

具体改造代码：

static parseNames<F extends Readonly<Record<string, number>>>(flags: F, value: string): string {
  const hexNumber = parseInt(value, 16);
  const flagNames: string[] = [];

  for (const key in flags) {
    if (hexNumber & flags[key]) {
      flagNames.push(key);
    }
  }

  return flagNames.join('|');
}

为什么这样写：

Readonly<Record<string, number>>约束了flags必须是只读的、键为字符串、值为数字的对象，正好匹配as const断言后的对象特性（as const会把对象变成只读，同时把值锁定为数字字面量）。
泛型F会自动推断传入对象的具体类型，比如传入FooSettings时，F会被推断为{ readonly Sound: 0x4; readonly Rotate: 0x2; readonly Blink: 0x1; }，保留了精确的类型信息。

更精准的类型约束（可选）：

如果想让类型检查更严格，甚至让返回值的类型更贴合实际拼接结果，可以进一步优化泛型：

static parseNames<
  F extends Readonly<Record<string, number>>,
  K extends keyof F = keyof F
>(flags: F, value: string): string {
  const hexNumber = parseInt(value, 16);
  const flagNames: K[] = [];

  for (const key in flags) {
    if (hexNumber & flags[key]) {
      flagNames.push(key as K);
    }
  }

  return flagNames.join('|');
}

这样当你传入FooSettings时，TypeScript会明确知道flagNames的元素是'Sound'|'Rotate'|'Blink'，避免不必要的类型模糊。