TypeScript复用keyof类型数组常量时丢失类型安全如何解决

问题复现 #

实现类型安全的字段投影查询时，直接传入数组字面量可正常推导类型，提取公共常量后类型约束失效。
基础类型与查询函数定义：

interface User {
  _id: string
  username: string
  foo: string
}

function getUserById<Field extends keyof User>(
  id: string,
  fields: Field[]
): Pick<User, Field> {   
  // 实际业务逻辑会根据传入字段过滤返回对象
  return {} as Pick<User, Field>
}

直接传字面量时类型工作正常：

const user1 = getUserById('myId', ['_id', 'username'])
// user1类型推导为 Pick<User, '_id' | 'username'>
user1.foo // 触发TS报错：Property 'foo' does not exist，符合预期

提取公共常量后类型失效：

const DEFAULT_USER_FIELDS: (keyof User)[] = ['_id', 'username']
const user2 = getUserById('myId', DEFAULT_USER_FIELDS)
// user2类型被错误推导为 Pick<User, keyof User>
user2.foo // 无任何报错，存在类型安全隐患

问题原因 #

显式给常量标注(keyof User)[]类型时，TypeScript会将数组元素类型拓宽为keyof User（即'_id' | 'username' | 'foo'），丢失了数组内具体字段的字面量类型信息，泛型Field无法推导出精确的字段联合，最终返回类型包含所有User字段。 #

解决方法 #

方法1：as const 常量断言（推荐） #

去掉常量上的宽泛类型标注，使用as const将数组转为只读元组，保留精确的字面量类型，同时修改函数参数支持只读数组：

// 加as const断言，不标注宽泛类型
const DEFAULT_USER_FIELDS = ['_id', 'username'] as const

// 修改函数参数为readonly数组，兼容as const生成的只读元组
function getUserById<Field extends keyof User>(
  id: string,
  fields: readonly Field[]
): Pick<User, Field> {   
  return {} as Pick<User, Field>
}

const user2 = getUserById('myId', DEFAULT_USER_FIELDS)
user2.foo // 正常触发类型错误

如果需要校验常量内字段的合法性（避免拼写错误），可加编译时校验：

const DEFAULT_USER_FIELDS = ['_id', 'username'] as const
// 若常量内存在非User字段，该行会触发类型错误
type _ValidFields = typeof DEFAULT_USER_FIELDS[number] extends keyof User ? true : false
const _assert: _ValidFields = true

方法2：泛型辅助函数（无需修改原函数） #

如果不想改动原getUserById函数定义，可以写一个轻量的泛型辅助函数创建字段常量，既保证字段合法性，又保留精确字面量类型：

// 辅助函数约束字段类型，同时不拓宽类型
const defineUserFields = <T extends keyof User>(fields: T[]) => fields
const DEFAULT_USER_FIELDS = defineUserFields(['_id', 'username'])
// DEFAULT_USER_FIELDS类型为 ('_id' | 'username')[]，不会被拓宽

const user2 = getUserById('myId', DEFAULT_USER_FIELDS)
user2.foo // 正常触发类型错误

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