与 JavaScript 类似，要在 TypeScript 中将函数作为参数传递，定义一个函数期望接收回调函数的参数，然后在父函数内部触发回调函数。 例如，请注意我们在以下示例中调用 foo 函数时如何将 bar 作为回调函数传递：

但是，此代码存在问题。如果复制此代码到 JavaScript 文件中，不会出现任何语法错误，因为我们没有使用任何 TypeScript 类型。此外，我们遇到了传递任何参数值的可能性，这意味着我们可以提供非函数的任意类型作为 foo 的参数，而不会“出错”，直到代码执行。因为这里callback被默认解释为any类型。

使用Function定义函数参数类型

现在我们把 callback 指定为函数类型，

如果我们再传入非函数，就会报错了！

定义从 Function 类型返回的期望值

使用 Function 类型是防止由于 JavaScript 中缺少类型定义而导致的常见错误的一大步。 但是，使用 Function 类型仍然会为逻辑中的潜在错误留下空间。

如果接收回调函数的函数使用回调函数的返回值来运行额外的进程怎么办？ 为了使这个假设更清楚，让我们对 foo 函数进行更改。

注意 foo 函数不仅调用回调函数，而且还使用回调函数返回的值来获取该值的平方根，假设回调函数返回的值是一个数字。如果你回顾返回函数的定义，如果这个函数没有返回任何东西，默认返回值是undefined。

它返回undefined

因此，如果我们将 bar 作为 foo 的回调函数传递，在运行时可能可能会出现意外行为。

所以，我们可以通过定义回调函数的返回值的类型来防止 TypeScript 中出现这种意外行为。 于是我们就不能在这里继续使用Function类型。 相反，使用返回类型的箭头函数表达式来提供有效的类型定义。 让我们再修改一下 foo 函数的定义来理解这个概念，

现在我们定义了函数参数的返回值类型，所以现在的bar函数将不再满足，因为它返回是undefined, 自然它就会报错。

我们修改一下bar函数，让它满足callback的函数签名，就可以解决了。现在运行代码就安全多了。