TypeScript如何实现根据字段名返回对应字段类型的函数

需求回顾 #

需要实现一个getSettings函数，传入Settings接口的字段名时，无需类型断言就能自动返回对应字段的类型，比如：

let cfg: ApiConfig = getSettings('apiConfig');
let ui: PresentationSettings = getSettings('presentation');

问题根源分析 #

你之前的两种方案都存在类型关联缺失的问题：

1. keyof直接返回联合类型：返回类型是ApiConfig | PresentationSettings，TypeScript无法根据传入的键名窄化类型，必须手动断言。
2. 泛型绑定值类型：泛型参数绑定的是字段值的联合类型，而非键名，导致TypeScript无法建立键与值的对应关系，实现时会出现类型不匹配错误。

正确实现方案 #

核心思路是用泛型参数绑定键名，让TypeScript根据传入的具体键自动推断对应的值类型：

// 先定义依赖类型（示例）
interface ApiConfig { /* 你的ApiConfig结构 */ }
interface PresentationSettings { /* 你的PresentationSettings结构 */ }
// 假设的store实例
const store = { get: (key: string) => {} };

export interface Settings {
  apiConfig?: ApiConfig;
  presentation?: PresentationSettings;
}

// 类型安全的getSettings实现
export function getSettings<K extends keyof Settings>(name: K): Settings[K] {
  // 这里的类型断言仅用于绕过store.get的泛型缺失问题（如果store本身是类型安全的可省略）
  return store.get(name) as Settings[K];
}

调用示例（无需任何断言） #

// 自动推断为 ApiConfig | undefined
const cfg = getSettings('apiConfig');
// 自动推断为 PresentationSettings | undefined
const ui = getSettings('presentation');

进阶优化（确保返回非空值） #

如果你的业务逻辑中确定目标字段一定存在，可以用NonNullable工具类型去除可选标记：

export function getSettings<K extends keyof Settings>(name: K): NonNullable<Settings[K]> {
  const value = store.get(name);
  if (!value) {
    throw new Error(`Settings field "${name}" not found`);
  }
  return value as NonNullable<Settings[K]>;
}

// 此时自动推断为 ApiConfig（无undefined）
const cfg = getSettings('apiConfig');

方案原理 #

泛型参数K被约束为keyof Settings，TypeScript会跟踪传入的具体键名，自动将返回类型关联为Settings[K]——也就是该键对应的精确类型，完美实现了键与值的类型绑定，无需手动断言。

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