TypeScript 泛型下映射类型收窄失效，无法约束属性值类型如何解决

问题核心根因 #

你之前定义的OnlyPropertiesWithSpecificType映射类型本身逻辑没有问题：它会准确提取出目标对象中，值类型可匹配指定规则的所有属性名，在具体类型（比如直接写死Person类型）的场景下能正常运行。
泛型场景下的报错本质是 TypeScript的泛型索引推导断链：

• 入参校验环节能正常工作，是因为TS会对比传入的属性名是否属于「T中值为string的属性名联合类型」，这个匹配逻辑是完全有效的
• 但函数内部执行obj[param]索引访问时，TS只会把param当成一个独立的联合类型，没法自动建立「这个联合里的每一个key，对应T里的属性值一定是string」的关联，最终把索引返回值推导成T里所有可能属性值的宽泛联合类型（比如对Person类来说就是string | number），自然无法匹配返回值要求的string类型，触发TS2322报错。

之前尝试切换TypeScript版本、给泛型T加object约束都没法解决，是因为这些操作既没有修复推导断链的问题，也没有改变TS对泛型索引访问的底层推导逻辑。

正确实现方式 #

要修复这个问题，需要把属性名从「提前定义好的固定联合类型」改成 独立的泛型参数，让TS能在传入具体实参时，自动推导选中的具体属性名，进而关联到对应的属性值类型：

// 原有属性提取工具逻辑保留，不需要修改
export type OnlyPropertiesWithSpecificType<TYPE, T> = {
  [K in keyof T]: T[K] extends TYPE ? K : never;
}[keyof T];

// 改造泛型函数：新增独立的key类型参数K，绑定对应约束
function someGenericFunction<T, K extends OnlyPropertiesWithSpecificType<string, T>>(
  obj: T,
  param: K
): string {
  // 现在obj[param]会被自动推导为string类型，不会再触发TS2322报错
  return obj[param];
}

实现效果说明 #

改造完成后，所有原有校验逻辑完全保留，同时解决了内部索引访问的报错问题：

• 传入包含name: string、age: number的Person实例时，只有'name'是合法入参，传'age'会被TS直接拦截报错
• 函数内部访问obj[param]时，TS会顺着泛型推导链，识别到K是被约束为「值为string的属性名」，自动把返回值推导为string类型，符合函数返回值要求
• 这种写法是TypeScript处理「约束对象属性名+关联属性值类型」场景的通用写法，兼容所有3.x以上的TypeScript版本，不需要依赖特定版本的新特性
• 如果后续需要灵活匹配属性值类型（而不是固定返回string），只需要把函数返回值类型改成T[K]，TS就会自动根据选中的属性名匹配对应的属性值类型。

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