TypeScript 泛型条件返回类型：实现参数驱动的精准类型推导

本文介绍如何通过条件类型让异步函数根据是否传入处理器函数，自动推导出 string[] 或自定义泛型 T 的返回类型，避免 unknown 问题，并支持 T 默认化。

本文介绍如何通过条件类型让异步函数根据是否传入处理器函数，自动推导出 `string[]` 或自定义泛型 `T` 的返回类型，避免 `unknown` 问题，并支持 `T` 默认化。

在 TypeScript 里，如果一个泛型函数的返回类型要跟着某个可选参数是否传入而变化，那么只写 T 往往不够用。问题通常出在这里：一旦调用的是无参版本，类型收窄就容易失效，结果常常被推成 unknown。说到底，原因并不复杂——当没有显式指定 T，同时 process 又是 undefined 时，TypeScript 并不会自动退回到默认类型。要让编译器真正理解这层逻辑，就得主动借助条件类型把规则写清楚：如果 process 没传，那返回 string[]；如果传了，再返回 T。

以下是推荐的解决方案：

async function getData(
process?: (data: Awaited>) => T
): Promise {
const response = await fetchData();
return process ? process(response) : (response as any) as T extends undefined ? string[] : T;
}

⚠️ 注意：上面写法中 T extends undefined ? string[] : T 并不准确（因为 T 是泛型而非值类型），正确写法应基于 process 参数的类型是否为 undefined 进行判断。更健壮、符合 TS 最佳实践的实现如下：

type ProcessedReturn = F extends (data: any) => infer R ? R : T;

async function getData(
process?: (data: Awaited>) => T
): Promise> {
const response = await fetchData();
return process ? process(response) : (response as string[]);
}

但最简洁、可读性高且被广泛验证的写法是使用 typeof process extends undefined 的条件类型（需确保 process 类型明确可判）：

async function getData(
process?: (data: Awaited>) => T
): Promise {
const response = await fetchData();
return process ? process(response) : (response as string[]);
}

✅ 使用效果：

const arr = await getData(); // ✅ 类型为 string[]
const len = await getData(data => data.length); // ✅ 类型为 number
const upper = await getData(data => data.map(s => s.toUpperCase())); // ✅ 类型为 string[]

? 关键要点总结：

• undefined extends typeof process 是判断 process 是否可能为 undefined 的可靠方式（比 typeof process === 'undefined' 更适合类型层面）；
• T = string[] 提供了泛型默认值，使 getData() 调用无需显式指定类型；
• 强制类型断言 (response as string[]) 是必要的，因 TS 无法在分支中自动统一类型路径，但该断言安全——因为我们已通过条件类型保证了逻辑一致性；
• 避免使用 as any，它会破坏类型安全性；优先采用最小必要断言。

此模式适用于任何“可选转换器 + 统一数据源”的场景，如 API 封装、状态选择器、响应拦截器等，是构建类型安全、灵活可扩展工具函数的核心技巧之一。