TypeScript 的类型兼容性采用结构化子类型系统，一个类型是否可以赋值给另一个类型，取决于结构是否兼容，而不是名称是否相同。函数类型在结构比较时重点看参数列表和返回值类型。参数在开启 strictFunctionTypes 后执行逆变检查，返回值则遵循协变规则。具体到返回值，源函数的返回类型必须能够赋值给目标函数的返回类型。这个规则在大多数情况下符合直觉，比如返回 string 的函数不能赋值给要求返回 number 的函数。但 void 作为目标返回类型时会打破这一直觉，形成一条特殊规则。
一、返回值协变是函数兼容的基础
先看一个最简单的返回值协变例子。定义两个函数类型 ReturnString 和 ReturnNumber，再尝试把一种函数赋值给另一种。TypeScript 会检查源函数返回类型 string 是否可以赋值给目标返回类型 number。由于 string 与 number 不兼容，赋值会直接失败。
type ReturnString = () => string; type ReturnNumber = () => number; const fn1: ReturnString = () => 'hello'; const fn2: ReturnNumber = fn1; // 报错：Type 'string' is not assignable to type 'number'
如果目标返回类型是 unknown 或 any，情况就不同。string 可以安全地赋值给 unknown，因此返回 string 的函数能够赋给返回 unknown 的函数。这就是返回值协变：源返回值类型必须比目标返回值类型更具体，或者说源返回类型是目标返回类型的子类型。any 在这里又是一个例外，但它的行为类似双向兼容。理解这个过程，是理解 void 特殊规则的前提。
函数返回值属于输出位置，类型系统允许输出类型变窄，因为调用方拿到目标类型后，依然可以安全使用更具体的返回值。参数则属于输入位置，需要执行逆变或双变检查。结构化类型系统通过输出协变和输入逆变来保证赋值后的函数在使用时不会出现类型错误。换句话说，如果一个函数被赋给某个类型，调用方会按照目标类型去调用它，只要源函数返回的值是目标返回类型的子类型，调用方就不会收到超出预期的值。
二、void 目标返回值打破了协变限制
当目标函数类型的返回值是 void 时，TypeScript 不再要求源函数的返回值是 void 的子类型。实际上，源函数可以返回任何类型，包括 string、number、对象，甚至 never 和 any。下面这段赋值在普通协变规则下显然不成立，但 TypeScript 不会报错。
type VoidFunc = () => void;
const vf1: VoidFunc = () => 'hello';
const vf2: VoidFunc = () => 42;
const vf3: VoidFunc = () => {
return { done: true };
};
这是因为 void 在函数返回值位置具有特殊语义：它表示调用方不会使用返回值，返回值会被直接丢弃。既然调用方不关心返回值，源函数返回什么都不会造成类型污染。TypeScript 在类型检查器中专门针对 void 返回目标做了放宽处理。注意这里说的是函数类型赋值时的返回值位置，而不是普通变量赋值。let x: void = 123 仍然会报错，因为变量赋值不会触发这个特殊规则。
void 经常被误认为和 undefined 等价。实际上在类型兼容性上两者有明显差异。如果把目标返回类型写成 undefined，返回 string 的函数赋值就会失败，因为 string 不是 undefined 的子类型。void 是一个抽象的无返回值标记，undefined 是一个具体值类型。理解这个差异能避免很多困惑。
type UndefinedFunc = () => undefined; const uf1: UndefinedFunc = () => 'hello'; // 报错：Type 'string' is not assignable to type 'undefined'
从设计角度看，void 返回值的特殊规则是为了兼顾 JavaScript 的实际情况。很多 JavaScript 函数在返回非 undefined 值时，调用方完全可以忽略它。例如事件监听器返回 false 或对象，但在浏览器环境中返回值并不会被使用。如果 TypeScript 严格套用协变规则，很多已有的 JavaScript 回调函数就无法通过类型检查。因此，返回 void 的函数类型被设计为一个宽进严出的接口：进入时可以带任意返回值，但调用方拿到的结果类型固定为 void。
三、回调函数和接口实现中的应用
这个规则在实际项目中经常出现在回调函数场景。最典型的是 Array.prototype.forEach。它的回调参数类型声明为 (value: T, index: number, array: T[]) => void。按照普通想法，传入的回调不应该返回任何值，但你可以传入一个返回 number 的函数，TypeScript 不会阻止你。甚至直接在箭头函数里写 return 某个值也没有问题。
const arr: number[] = [1, 2, 3];
function logAndDouble(n: number): number {
console.log(n);
return n * 2;
}
arr.forEach(logAndDouble); // 允许，因为回调目标返回类型为 void
arr.forEach((item) => {
return item * 2; // 同样不会报错
});
这种设计明显是为了降低使用门槛。不少工具函数只想遍历或执行副作用，并不需要回调返回值。如果强制回调必须返回 void，那么很多已经写好的返回具体值的函数就无法复用，或者需要额外包一层。允许返回任意类型，可以让 logAndDouble 这类既有函数直接传给 forEach。虽然 map 的目标返回类型不是 void，但 forEach 是，因此返回 number 的函数依然能传入。
接口方法声明返回 void 时也有同样表现。假如一个接口的 handle 方法返回类型是 void，实现类可以在方法中返回任何值，仍然满足接口要求。这符合面向对象中的宽容实现原则：实现可以比接口约定更具体或更宽松，只要调用方按照接口声明使用就不会出错。
interface Service {
handle(): void;
}
class MyService implements Service {
handle() {
return 'done';
}
}
const svc: Service = new MyService();
svc.handle(); // 返回类型为 void，调用方不能使用返回值
调用方通过接口看到 handle 返回 void，即使实现返回字符串，也不能使用返回值。类型系统在编译阶段把返回值挡住，避免调用方依赖实现细节。这个规则让接口声明更宽松，实现类可以返回额外信息，但接口契约仍然稳定。
四、边界条件和常见误解
尽管 void 目标返回类型允许任意源返回类型，但反过来不成立。一个返回 void 的函数不能赋值给返回 string 的函数，因为 void 本身不能赋值给 string。这体现了规则的单向性：放宽只发生在返回值被忽略的一方。
type VoidFunc = () => void;
type StringFunc = () => string;
const voidFn: VoidFunc = () => {};
const stringFn: StringFunc = voidFn;
// 报错：Type 'void' is not assignable to type 'string'
如果希望严格控制函数返回值，应该将目标返回类型声明为 undefined 或具体类型，而不是 void。比如一个函数确实只允许返回 undefined，写成 () => undefined 才能阻止返回其他值。很多开发者以为 void 是 undefined 的别名，实际上它们在函数类型兼容性中行为不同。
type Callback<T> = () => T; const cb1: Callback<void> = () => 'abc'; // OK const cb2: Callback<undefined> = () => 'abc'; // 报错
strictFunctionTypes 编译器选项改变的是函数参数位置的兼容性，不影响返回值规则。即使开启严格模式，返回 void 的目标函数类型依然接受返回 string 的源函数。返回值协变以及 void 的特殊处理是稳定的类型系统行为。此外，当函数返回 void 时，调用方获得的类型就是 void，即使运行时返回了值，也无法访问该值的属性或参与运算。
const fn: () => void = () => 123; const result = fn(); // result 的类型是 void // result.toFixed() 报错：Property 'toFixed' does not exist on type 'void'
运行时 result 的实际值可能是 123，但类型系统已经把 result 标记为 void，调用方无法通过编译检查去使用这个返回值。这种类型层面的丢弃行为并不会改变 JavaScript 运行结果，它只是让编译器知道调用方不应该依赖返回值。理解这一点后，在定义回调类型或接口时，就可以根据是否希望忽略返回值来决定使用 void 还是 undefined，而不会在函数赋值时感到意外。
TypeScript类型兼容性void返回值修改时间：2026-09-28 20:04:55