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

问题核心

在 TypeScript 里，如果一个泛型函数的返回类型要跟着某个可选参数是否传入而变化，单独写 T 往往不够用。

常见问题在于：一旦调用的是无参版本，类型收窄就容易失效，结果常常被推成 unknown。

根本原因是，当没有显式指定 T，同时 process 又是 undefined 时，TypeScript 并不会自动退回到默认类型。

要让编译器真正理解这层逻辑，就需要借助条件类型把规则写清楚：

• 如果 process 没传，返回 string[]
• 如果传了 process，返回 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 封装
• 状态选择器
• 响应拦截器

它是构建类型安全、灵活可扩展工具函数的核心技巧之一。