TypeScript 中的推导类型与初始化

TypeScript 是一种静态类型语言，它允许开发者在编写代码时明确地指定变量和函数的类型。然而，这并不意味着每个变量或函数都必须显式地声明其类型。TypeScript 还支持类型推导，这允许编译器在某些情况下自动推导出变量或函数的类型，从而使代码更简洁、更易于维护。

推导变量类型

TypeScript 可以推导变量的类型，例如：

let name = "John"; // TypeScript 推导出 `name` 的类型为 `string`
const age = 30; // TypeScript 推导出 `age` 的类型为 `number`

在这种情况下，TypeScript 编译器会根据变量的初始化器推导出变量的类型，并将其用作变量的类型注释。

推导变量类型的优点是可以使代码更简洁、更易于理解和维护。但是，当变量的类型不明确时，可能需要显式地声明变量的类型以避免错误。例如：

let x; // TypeScript 推导不出 `x` 的类型
x = 10;
x = "hello"; // 这里会报错，因为 `x` 已经被 TypeScript 推导为 `number` 类型，不能赋值为 `string` 类型

在这种情况下，推荐显式地声明变量的类型：

let x: number;
x = 10;
x = "hello"; // 这里会报错，因为 `x` 已经被声明为 `number` 类型，不能赋值为 `string` 类型

推导函数类型

与变量一样，TypeScript 可以推导函数的返回值类型和参数类型，例如：

function add(x: number, y: number) {
  return x + y;
} // TypeScript 推导出此函数的类型为 `(x: number, y: number) => number`

在这里，编译器根据函数的参数类型和返回类型自动推导出函数的类型。推导函数类型可以避免手动编写冗长的类型注释，并使代码更加易于维护。

当然，也可以显式地声明函数的类型：

function add(x: number, y: number): number {
  return x + y;
} // 这里显式地声明函数的类型为 `(x: number, y: number) => number`

初始化

有时，在声明变量或函数时，我们需要指定一个初始值。这可以通过推断类型和初始化器来实现：

let x = 10; // TypeScript 推断 `x` 的类型为 `number`，并将其初始化为 `10`

在这里，因为我们提供了初始化器 10，所以编译器可以自动推断出 x 的类型为 number。注意，我们也可以显式地声明 x 的类型，例如 let x: number = 10;。

类似地，在函数参数和返回值中，我们也可以使用类型推断和初始化器来优化代码。

function splitName(fullName: string = "") { // 推断 fullName 的类型为 string，初始值为空字符串
  const [firstName, lastName] = fullName.split(" ");
  return { firstName, lastName };
}

在这里，我们使用了一个默认的参数初始化器 ""，从而使编译器能够推断出 fullName 的类型为 string。

结论

在 TypeScript 中，类型推导和初始化器使得代码更加简洁、易于理解和维护。当然，我们也应该记住，有时候显式地声明变量和函数类型是必要的。通过合理地使用类型推断和初始化器，我们可以使代码更加优雅和精简，同时还能保证类型安全和可读性。

来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/6729cfcf2e7021665e25b8e3