TypeScript模板字面量作对象键被推断为any如何做合规类型检查

以下是不同迁移阶段可以采用的类型安全方案，全部可以在编译阶段规避差一错误，不需要使用不安全的任意类型断言：

1. 快速适配现有接口（无需修改原有定义） #

首先定义通用的数值范围生成工具类型，配合模板字面量类型生成合法键集合：

// 工具类型：生成 1 ~ N 的数字联合类型
type Enumerate<N extends number, Acc extends number[] = []> = Acc['length'] extends N
  ? Acc[number]
  : Enumerate<N, [...Acc, [...Acc, 1]['length']]>

// 生成指定范围的合法 team 键联合类型
type TeamKey<Max extends number> = `team${Enumerate<Max>}`

使用时只要把数值的范围收窄到对应的联合类型，就能获得完全类型安全的索引结果：

// 你的原有接口不需要做任何修改
interface YourRecord {
  team1: string
  team2: string
  // ... 原有到 team16 的定义
  otherField: number
}

const record: YourRecord = /* 你的实际数据 */

// 用法1：变量直接限定范围，超出范围会直接编译报错
const num: Enumerate<16> = 3
const name1 = record[`team${num}` as const] // 自动推断为 string 类型，无报错

// 用法2：遍历场景用类型守卫收窄范围
function isTeamNum(num: number): num is Enumerate<16> {
  return Number.isInteger(num) && num >= 1 && num <= 16
}

for (let i = 1; i <= 16; i++) {
  if (isTeamNum(i)) {
    const name2 = record[`team${i}` as const]
    // 只有符合范围的数值会进入分支，完全避免越界问题
  }
}

2. 后续重构简化接口定义 #

当你打算重构原有大量手动定义的前缀加数字属性时，可以直接用映射类型生成接口，不用手动逐个写属性：

// 直接生成包含 team1 ~ team16 所有属性的类型
type TeamRecord<TeamMax extends number = 16> = {
  [K in `team${Enumerate<TeamMax>}`]: string
} & {
  // 其他非 team 前缀的属性定义在这里
  otherField: number
}

3. 轻量临时方案（迁移过渡期快速修复） #

如果暂时不想引入工具类型，也可以直接把拼接后的键断言为接口的合法key，比直接断言值类型安全度更高：

const name = record[`team${num}` as keyof YourRecord]
// 如果拼接出的键不属于YourRecord的属性，编译阶段就会提示错误

所有方案都可以在编译阶段就拦截数值越界的问题，避免运行时出现差一错误。

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