本文介绍如何使用typescript泛型与索引访问类型，构建一个类型安全的api调用函数，确保`api`、`route`和`params`三者间严格联动，实现编译时精准推导与错误拦截。
在构建多API集成系统时，若仅依赖字符串字面量联合类型（如 "google" | "yahoo"）定义接口，容易因参数错配引发运行时错误。理想方案是让 TypeScript 在调用 execute(api, route, params) 时，自动根据 api 值限定可用 route，再根据 api + route 组合精确推导 params 的结构——即实现三层深度约束。
核心问题在于原始实现中 RouteParams 的嵌套索引写法：
type RouteParams<A extends APINames, R extends Routes<A>> = {
google: { /* ... */ };
yahoo: { /* ... */ };
}[A][R]; // ❌ 错误：R 是联合类型（如 'endpoint1' | 'endpoint2'），无法安全索引不同结构的对象字段TypeScript 不允许对联合类型进行交叉索引（[A][R] 中 R 可能对应多个不兼容的子类型），导致类型检查失败。
✅ 正确解法是显式建模 API 映射关系为嵌套对象接口，再通过 keyof 和索引访问类型分步约束：
SerpApi Flights (Google Flights)
下载
通过 SerpApi 查询 Google Flights，获取航班时刻表、价格及舱位等级信息。当用户询问航班 / 机票 / 航班价格、时刻表或对比信息时使用。
interface ApiMap {
google: {
endpoint1: { name: string };
endpoint2: { otherName: string };
};
yahoo: {
endpoint3: { otherOtherName: string };
};
}
const execute = <A extends keyof ApiMap, R extends keyof ApiMap[A]>(
api: A,
route: R,
params: ApiMap[A][R]
) => {
// 实际HTTP请求逻辑（此处省略）
console.log(`Calling ${api}/${route} with`, params);
};该写法优势显著：
- keyof ApiMap 精确生成 "google" | "yahoo"，替代手工维护的 APINames；
- keyof ApiMap[A] 是分布式的：当 A 为 "google" 时，keyof ApiMap["google"] 自动推导为 "endpoint1" | "endpoint2"；同理 yahoo 仅得 "endpoint3"；
- ApiMap[A][R] 此时是确定类型（非联合索引），例如 ApiMap["google"]["endpoint1"] → { name: string }，完全无歧义。
调用时获得完整类型保护：
execute('google', 'endpoint1', { name: 'George Washington' }); // ✅ 正确
execute('google', 'endpoint2', { otherName: 'Abraham Lincoln' }); // ✅ 正确
execute('yahoo', 'endpoint3', { otherOtherName: 'FDR' }); // ✅ 正确
execute('google', 'endpoint3', {}); // ❌ TS2345：'endpoint3' 不在 google 的 routes 中
execute('google', 'endpoint1', { otherName: 'x' }); // ❌ TS2322：缺少 'name'，多余 'otherName'? 进阶提示：
- 若 API 结构动态变化，可将 ApiMap 接口抽离至独立配置文件，配合构建脚本自动生成，提升可维护性；
- 对接 Axios/Fetch 时，可在函数体内添加泛型返回值
() => Promise ，进一步约束响应数据类型； - 避免过度嵌套：当层级超过三层（如 ApiMap[A][R][Method]），建议引入中间类型别名或使用 Record + 条件类型优化可读性。
此方案以清晰的类型契约替代脆弱的字符串拼接，真正实现“写错即报错”，是 TypeScript 工程化中泛型高阶应用的典型范例。
