为何TypeScript允许参数为string的函数适配参数为any的函数类型？

先看你给出的代码：

function foo(x: string) {
  return x;
}

function bar(fn: (x: any) => string): string {
  const obj = fn({
    name: 'phillip'
  });
  return obj;
}

const result = bar(foo); // 这里为什么不报错？foo的参数类型明明是string
console.log(result);

核心原因：any类型的特殊性打破了函数参数的逆变规则 #

TypeScript里函数类型的兼容性默认遵循逆变原则：如果一个函数类型A要兼容另一个函数类型B，A的参数类型需要比B的参数类型更宽泛（或者说，B的参数类型是A参数类型的子类型）。比如(x: Animal) => void可以兼容(x: Dog) => void，因为Dog是Animal的子类型，逆变要求参数类型更宽泛。

但any是个例外：它既是所有类型的子类型，也是所有类型的超类型。当目标函数的参数是any时，TypeScript会认为任何函数都能匹配这个参数要求——不管你的函数期望的是string、number还是其他类型，TypeScript都会默认你传入的函数可以处理any类型的输入（哪怕实际运行时根本不行）。

为什么编译不报错但运行会出问题？ #

编译阶段，TypeScript只做静态类型检查。因为bar要求的回调参数是any，它不会去验证你传入的foo实际能不能处理{name: 'phillip'}这个对象——any相当于告诉TypeScript“别管这个类型，我自己负责”。但运行时，foo拿到的是对象而非string，虽然它会直接返回这个对象，但bar的返回值类型标注是string，这就导致实际返回值和类型系统的预期不匹配。

如果想要避免这种问题，不要用any，换成更具体的类型（比如定义一个包含name属性的接口），TypeScript就会立刻检测出foo和bar的回调类型不兼容。

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