TypeScript中return;与return undefined;的类型兼容性疑问

这个行为的核心是TypeScript针对undefined返回类型的特殊赋值兼容规则，以及联合类型的严格匹配要求：

1. 为什么() => undefined允许无返回/return;的函数 #

在JavaScript中，没有显式return语句或者使用return;的函数，实际执行时会返回undefined。TypeScript为了贴合JS的实际行为并减少冗余代码，做了一个特殊的宽松处理：当目标类型是() => undefined时，允许将返回类型为void的函数（即无返回/return;的函数）赋值给它。

这是因为void在这里被视为“实际返回undefined，但开发者不关心返回值”的情况，TypeScript认为这种场景下的赋值是安全且符合预期的。

2. 为什么() => string | undefined不允许无返回/return;的函数 #

当返回类型是包含undefined的联合类型（比如string | undefined）时，TypeScript会启用严格的类型匹配规则：函数的返回值必须明确属于联合类型中的某一个成员。

无返回/return;的函数会被TypeScript推断为() => void，而void并不是string | undefined的成员——void表示“不关心返回值是什么”，而联合类型要求函数必须返回string或者明确的undefined。此时如果允许void类型赋值，可能会隐含开发者没有考虑到的返回值情况，破坏类型安全性，因此TypeScript会抛出类型错误。只有当函数明确返回undefined时，才符合联合类型的要求。

示例验证 #

type UndefinedFunction = () => undefined;
// 合法：符合宽松赋值规则
const valid1: UndefinedFunction = () => {};
const valid2: UndefinedFunction = () => { return; };

type MaybeUndefinedFunction = () => string | undefined;
// 错误：() => void 不属于联合类型成员
const invalid1: MaybeUndefinedFunction = () => {};
const invalid2: MaybeUndefinedFunction = () => { return; };
// 合法：明确返回undefined，匹配联合类型
const valid3: MaybeUndefinedFunction = () => { return undefined; };

内容的提问来源于stack exchange，提问作者Daniel Cruz