如何正确检测TypeScript可选参数类型并实现返回类型约束？

方案1：函数重载 #

通过定义多个重载签名，明确不同调用场景的参数与返回类型对应关系，实现签名处理通用逻辑：

// 无参数调用时，返回undefined
function fn(): undefined;
// 传入参数T时，返回同类型的T
function fn<T>(p: T): T;
// 通用实现逻辑
function fn<T>(p?: T): T | undefined {
  return p;
}

const a = fn(1); // 类型推导为number
const b = fn();  // 类型推导为undefined

这种方式完全匹配需求：无参调用返回undefined，传参时返回与参数一致的类型，且无需额外类型断言。TypeScript会根据调用时的参数数量自动匹配对应重载签名，给出精准的类型提示。

方案2：条件类型+默认泛型 #

借助泛型默认值和条件类型，让返回类型自动适配参数传入情况：

function fn<T = undefined>(p?: T): T extends undefined ? undefined : T {
  return p as ReturnType<typeof fn>;
}

const a = fn(1); // 类型推导为number
const b = fn();  // 类型推导为undefined

这里给泛型T设置默认值undefined，不传参数时T即为undefined，条件类型会让返回值为undefined；传入参数时T是参数的实际类型，条件类型返回T本身。实现里的类型断言仅用于通过TypeScript的类型检查，实际运行逻辑安全可靠。

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