TypeScript中void与Promise<void>赋值及错误差异原因问询

先看对应的代码场景：

interface ITest {
    someMethod(a: any): void;
}
const someImplementation = (a) => { return Promise.resolve(); }
const anotherImplementation = (a, b) => { return Promise.resolve(); }

// 无错误：(a: any) => Promise<void> 赋值给 (a: any): void
let test1: ITest = { someMethod: someImplementation }; 

// 无错误：() => Promise<void> 赋值给 (a: any): void
let test2: ITest = { someMethod: () => someImplementation(1) };

// 无错误：(a: any) => Promise<void> 赋值给 (a: any): void
let test3: ITest = { someMethod: (a) => someImplementation(1) };

// 报错：Type 'Promise<void>' is not assignable to type 'void'.
let test4: ITest = { someMethod: (a, b) => someImplementation(1) };

// 不同报错：Type '(a: any, b: any) => Promise<void>' is not assignable to type '(a: any) => void'.
let test5: ITest = { someMethod: anotherImplementation };

问题1：为何test1、test2、test3无报错，test4却触发返回值不兼容？ #

这是TypeScript对返回值为void的函数的特殊兼容规则，以及参数列表兼容性共同作用的结果：

• 核心规则：当目标函数的返回类型是void时，只要源函数的参数列表能兼容目标函数（源函数参数个数≤目标，或参数类型兼容），TypeScript会忽略源函数的返回值类型——因为调用返回void的函数的代码不会使用其返回值，所以返回任何值都不影响逻辑。
• test1/2/3的源函数参数个数都不超过目标（test1是1个匹配，test2是0个，test3是1个），参数列表兼容，触发了这个忽略返回值的规则，所以Promise<void>不会和void冲突。
• test4的源函数有2个参数，比目标函数的1个多，参数列表不兼容。此时TypeScript不会应用void的特殊规则，会严格检查返回值类型，因此Promise<void>无法赋值给void，触发报错。

问题2：为何test4与test5的错误提示不同？ #

这是因为两个场景的类型检查逻辑不一样：

• test4是内联箭头函数，TypeScript会先尝试用目标类型(a: any) => void做上下文推断：先检查参数个数（2个 vs 1个）不匹配，接着在未通过参数检查的情况下，会转而检查返回值类型，最终报返回值不兼容的错误。
• test5是已确定类型的变量：anotherImplementation被TypeScript推断为明确的(a: any, b: any) => Promise<void>类型。此时TypeScript直接对比两个完整的函数类型，发现源函数参数个数更多，整体函数类型不兼容，因此直接报函数类型不匹配的错误，而非返回值的问题。

问题3：是否存在void到Promise的隐式断言？ #

不存在。test1-3能赋值成功，不是因为隐式断言，而是TypeScript的函数返回值兼容规则：对于返回void的目标函数，只要参数列表兼容，源函数可以返回任意类型——这是语言设计上的实用规则，比如允许你把有返回值的函数用作forEach这类忽略返回值的回调。

内容的提问来源于stack exchange，提问作者3m3sd1