从类型推论与联合类型看TypeScript的强大之处

2024-01-07 13:19:23

类型推论

类型推论是TypeScript的一项重要特性，它允许编译器自动推断变量和表达式的类型。这使得你可以在不显式指定类型的情况下编写代码，从而提高了开发效率和代码的可读性。

TypeScript会根据变量的赋值或表达式的结果来推断类型。例如，以下代码中，变量name的类型会被推断为string：

let name = "John Doe";

如果你想显式指定变量的类型，可以使用:符号。例如，以下代码中，变量age的类型被显式指定为number：

let age: number = 30;

显式指定类型的好处是，它可以帮助你避免类型错误。例如，如果你不小心将一个数字赋值给了name变量，编译器会报错，提醒你name变量的类型应该是string。

联合类型

联合类型允许你将多个类型组合成一个新的类型。这意味着你可以在一个变量中存储多种不同类型的值。例如，以下代码中的变量value可以存储number或string类型的值：

let value: number | string;

你可以使用|符号来组合多个类型。例如，以下代码中的变量result可以存储number、string或boolean类型的值：

let result: number | string | boolean;

联合类型非常有用，因为它可以让你在不使用if或switch语句的情况下处理不同类型的值。例如，以下代码中的函数add可以接受两个number或string类型的值，并将它们相加：

function add(a: number | string, b: number | string): number | string {
  if (typeof a === "number" && typeof b === "number") {
    return a + b;
  } else if (typeof a === "string" && typeof b === "string") {
    return a + b;
  } else {
    throw new Error("Invalid arguments");
  }
}

类型推论与联合类型结合使用

类型推论与联合类型可以结合使用，以提高你的开发效率和代码的可维护性。例如，以下代码中的函数max可以接受两个number或string类型的值，并返回其中较大的那个：

function max(a: number | string, b: number | string): number | string {
  if (typeof a === "number" && typeof b === "number") {
    return Math.max(a, b);
  } else if (typeof a === "string" && typeof b === "string") {
    return a.localeCompare(b) > 0 ? a : b;
  } else {
    throw new Error("Invalid arguments");
  }
}