基于配置对象智能约束参数类型：TypeScript类型问题求助

问题描述 #

• 定义了三个配置对象configA、configB、configC，每个对象包含固定type属性和带特定参数类型的getPath方法，合并为CONFIGS对象
• 希望编写add函数，让参数能根据传入的type自动匹配对应query类型，实现类型安全（比如type为'C'时传入错误query会触发TypeScript警告）
• 当前写法无法实现预期效果，且调用config.getPath(inputs.query)时出现类型错误：Argument of type '{} | { foo: string; } | { bar: number; }' is not assignable to parameter of type '{ foo: string; } & { bar: number; }'

技术名称 #

该技术核心是TypeScript泛型约束+索引访问类型，结合联合类型的类型窄化，实现参数间的动态类型关联，本质是利用泛型让函数参数的类型依赖关系显性化。

修复方案 #

通过明确配置类型、使用泛型绑定type与query的关联关系，解决类型不匹配问题：

// 定义单个配置的精确类型
type ConfigA = {
  type: 'A';
  getPath: (query: {}) => string;
};
type ConfigB = {
  type: 'B';
  getPath: (query: { foo: string }) => string;
};
type ConfigC = {
  type: 'C';
  getPath: (query: { bar: number }) => string;
};

// 合并为联合类型，确保type与getPath参数强关联
type ConfigType = ConfigA | ConfigB | ConfigC;

// 定义CONFIGS的类型，保证键与配置type严格对应
const CONFIGS: Record<ConfigType['type'], ConfigType> = {
  A: {
    type: 'A',
    getPath: () => '/pathA'
  },
  B: {
    type: 'B',
    getPath: (query) => `/pathB/${query.foo}`
  },
  C: {
    type: 'C',
    getPath: (query) => `/pathC/${query.bar}`
  }
};

// 提取对应type的query类型
type ConfigQuery<T extends ConfigType['type']> = Parameters<typeof CONFIGS[T]['getPath']>[0];

// 泛型函数实现type与query的类型联动
function add<T extends ConfigType['type']>(inputs: {
  type: T;
  query: ConfigQuery<T>;
}) {
  const config = CONFIGS[inputs.type];
  // 此时query类型与getPath参数自动匹配，无类型错误
  const path = config.getPath(inputs.query);
  console.log(path);
}

// 测试用例：类型安全校验生效
add({ type: 'A', query: {} }); // 正常
add({ type: 'B', query: { foo: 'test' } }); // 正常
add({ type: 'C', query: { bar: 123 } }); // 正常
add({ type: 'C', query: { foo: 'wrong' } }); // 触发TypeScript警告，符合预期

关键修复点 #

1. 强关联配置类型：用联合类型ConfigType绑定每个配置的type和getPath参数类型，避免类型发散
2. 泛型绑定参数关系：通过泛型T约束type，再用索引访问类型提取对应query类型，实现type与query的动态匹配
3. 精准定义CONFIGS类型：使用Record确保CONFIGS的键与配置的type严格对应，让TypeScript能准确推导配置类型

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