本文介绍如何通过条件类型让异步函数根据是否传入处理器函数，自动推导出 string[] 或自定义泛型 T 的返回类型，避免 unknown 问题，并支持 T 默认化。
本文介绍如何通过条件类型让异步函数根据是否传入处理器函数，自动推导出 `string[]` 或自定义泛型 `t` 的返回类型，避免 `unknown` 问题，并支持 `t` 默认化。
在 TypeScript 中，当一个泛型函数的返回类型依赖于某个可选参数是否存在时，直接使用 T 会导致调用无参版本时类型收窄失败（如推导为 unknown）。根本原因在于：TypeScript 无法在未显式指定 T 且 process 为 undefined 时，自动回退到默认类型——除非我们主动用条件类型告诉编译器：“若 process 未提供，则返回 string[]；否则返回 T”。
以下是推荐的解决方案：
async function getData<t string>(
process?: (data: Awaited<returntype fetchdata>>) => T
): Promise<t extends undefined string : t> {
const response = await fetchData();
return process ? process(response) : (response as any) as T extends undefined ? string[] : T;
}</t></returntype></t>
⚠️ 注意：上面写法中 T extends undefined ? string[] : T 并不准确（因为 T 是泛型而非值类型），正确写法应基于 process 参数的类型是否为 undefined 进行判断。更健壮、符合 TS 最佳实践的实现如下：
type ProcessedReturn<t f> = F extends (data: any) => infer R ? R : T;
async function getData<t string>(
process?: (data: Awaited<returntype fetchdata>>) => T
): Promise<processedreturn typeof process>> {
const response = await fetchData();
return process ? process(response) : (response as string[]);
}</processedreturn></returntype></t></t>
但最简洁、可读性高且被广泛验证的写法是使用 typeof process extends undefined 的条件类型（需确保 process 类型明确可判）：
async function getData<t string>(
process?: (data: Awaited<returntype fetchdata>>) => T
): Promise<undefined extends typeof process string : t> {
const response = await fetchData();
return process ? process(response) : (response as string[]);
}</undefined></returntype></t>
✅ 使用效果：
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 封装、状态选择器、响应拦截器等，是构建类型安全、灵活可扩展工具函数的核心技巧之一。
