TypeScript中返回void的函数类型与Function类型有何区别？

一、() => void 与 Function 类型的核心区别 #

• 类型严格度不同
  () => void是精确的函数类型定义：明确指定了函数无输入参数，返回值类型为void（即调用后不应该使用返回值）。而Function是TS中最宽泛的函数类型，它可以匹配任意函数——不管参数的数量、类型，也不管返回值是什么，几乎没有类型约束。
• 调用时的约束不同
  声明为() => void的函数，调用时不能传递参数（除非函数本身定义了可选参数，但类型签名是无参数），TS会直接报错；而Function类型的函数，调用时可以传任意数量、任意类型的参数，TS不会进行检查。
• 返回值处理不同
  对于() => void类型的函数，即使实际函数返回了有效值（比如() => 123），TS也会忽略这个返回值，你无法在代码中使用它；而Function类型的函数，返回值可以是任意类型，你能正常读取和使用返回值。

二、接口A与接口B的差异 #

结合你给出的两个接口：

interface A {
  func: () => void;
} 

interface B {
  func: Function;
}

它们的差异完全来自于func的类型定义：

• 实现时的类型检查
  • 实现接口A时，func必须是兼容() => void的函数：比如无参数的函数，或者有可选参数的函数（如(x?: number) => void）；如果给func赋值一个需要必填参数的函数（如(x: number) => void），TS会直接报错。另外，即使你给func赋值一个有返回值的函数，TS不会阻止，但你无法使用这个返回值。
  • 实现接口B时，func可以是任何函数：不管是(a: string) => number，还是(x: boolean, y: number) => void，甚至是带剩余参数的函数，都能正常赋值，TS不会做任何限制。
• 调用时的行为约束
  • 使用接口A的实例调用func时，不能传参数，否则TS报错；同时即使func实际有返回值，你也不能写const res = obj.func()这种代码（TS会提示res是void类型）。
  • 使用接口B的实例调用func时，可以传任意参数，比如obj.func(123, "abc")，TS不会报错；而且如果函数有返回值，你可以正常接收和使用，比如const res = obj.func()，res的类型会被推断为unknown。
• 类型推断能力
  • 接口A的func类型是明确的，TS会基于() => void做精确的类型推断，在后续代码中提供准确的类型提示。
  • 接口B的func类型是宽泛的Function，TS无法进行细致的类型推断，相当于放弃了对这个函数的类型校验，在调用或使用时不会有准确的类型提示。

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