TypeScript函数参数疑问：无参函数为何可传入需字符串参数的函数？

先看你给出的代码：

function greeter(fn: (a: string ) => void) {
  fn("Hello, World");
}
 
function printToConsole() {
  console.log(1);
}
 
greeter(printToConsole);

这是TypeScript里函数类型兼容性的典型场景，核心原因是：TypeScript允许传入参数个数更少的函数来匹配参数要求更多的函数类型。

具体来说：

• greeter要求的参数是一个能接收string类型参数的函数，但它并不要求这个函数必须使用该参数。
• 在JavaScript运行逻辑里，函数调用时传入的多余参数会被自动忽略，比如调用printToConsole("hello")，函数本身没定义参数也不会报错，只是不会用到这个参数。
• TypeScript的类型系统贴合JavaScript实际运行行为，因此认为printToConsole符合(a: string) => void的类型要求——因为greeter调用fn("Hello, World")时，printToConsole能正常执行，不会因多传参数而出问题。

如果想让编译器对这种情况报错，可开启TypeScript的strictFunctionTypes编译选项（在tsconfig.json中配置）。开启后会启用更严格的函数类型检查，要求参数列表完全匹配。

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