TypeScript 类型推断

在 TypeScript 中，不必总是注释类型。当没有类型注释形式的显式信息时，TypeScript 编译器会推断类型信息。

在 TypeScript 中，TypeScript 编译器会在以下情况下推断类型信息：

• 变量和成员被初始化
• 设置参数的默认值
• 确定函数返回类型

例如

在上面，变量“x”的类型推断为数字。类型推断发生在初始化变量和成员、设置参数默认值以及确定函数返回类型时。

让我们再举一个例子。

在上面的例子中，我们得到了一个错误，因为在推断类型时，TypeScript 将变量“x”的类型推断为字符串，并将变量“y”的类型推断为数字。当我们尝试将 y 赋值给 x 时，编译器会生成一个错误，即数字类型不能赋值给字符串类型。

最佳通用类型：类型推断

当没有显式类型注释时，类型推断有助于类型检查。在类型推断中，可能存在一个对象可以使用多种类型初始化的情况。

例如

在上面的例子中，我们有一个数组，其值为 10、20、null 和 30。在这里，我们为**数组**的类型提供了两个选择：数字和 null。最佳通用类型算法选择与所有类型兼容的类型，即数字和 null。

让我们再举一个例子。

在上面的例子中，数组包含数字和字符串类型的值。现在，TypeScript 编译器使用最常见的类型算法并选择与所有类型兼容的类型。在这种情况下，编译器会将类型视为数组中所有类型的并集。这里，类型将是（字符串或数字），这意味着数组可以保存字符串值或数值。

函数的返回类型也由返回值推断。例如

在上面的例子中，函数 **sum** 的返回类型是 **number**。因此，它的结果将存储在 number 类型的变量中，而不是 string 类型的变量中。