随着 JavaScript 的发展，开发者们可以使用的特性也越来越多。其中，TypeScript 是一个强类型的 JavaScript 超集，为前端开发提供了更多的语言特性和类型检查支持。在 TypeScript 中，有很多高级类型可以帮助开发者更好地编写代码。
交叉类型
交叉类型是指将多个类型合并成一个类型。在 TypeScript 中，使用 & 符号进行合并。
-- -------------------- ---- ------- --------- -------------- - ----- ------- - --------- --------------- - ---- ------- - ---- ----------------- - -------------- - ---------------- ----- ------- ----------------- - - ----- ------ ---- -- --
在上面的代码中，我们定义了包含 name 和 age 属性的两个接口，然后使用 & 符号将它们合并成一个新的接口 CombinedInterface。最后，我们创建了一个对象 person，它满足了 CombinedInterface 的属性要求。
联合类型
联合类型是指一个值可以是多种类型之一。在 TypeScript 中，使用 | 符号进行联合类型。
function print(value: string | number) {
console.log(value);
}
print("hello"); // 输出 "hello"
print(123); // 输出 123在上面的代码中，我们定义了一个名为 print 的函数，它的参数可以是字符串或者数字类型。在函数内部，我们将参数打印出来。
类型别名
类型别名是给一个类型定义一个别名。在 TypeScript 中，使用关键字 type 进行定义。
type SaveData = string | number | boolean;
在上面的代码中，我们定义了一个名为 SaveData 的类型别名，它可以是字符串、数字或者布尔类型。
在类型中使用泛型
在类型定义中，也可以使用泛型。泛型是指在定义接口、函数或者类时不指定具体类型，而是在实现时再赋值。在 TypeScript 中，使用 <T> 表示泛型类型。
-- -------------------- ---- ------- --------- -------- - ------- ------- -------------- ----- ------- ------------------- ------- -- ------ ------- ------ ---- -- ----- --------- ----- ----- - ----- ---- ------------- - ----- ---- ----- -------------- -- -- -------------- -- ------ -------- -- ---- -------- -- --- ---------- -- --------- -- ---- ---------
在上面的代码中，我们定义了一个名为 Array 的接口，它使用泛型 <T> 表示数组中的元素类型。在创建 arr 数组时，我们指定了它的元素类型为字符串。当我们尝试向数组中添加数字类型的元素时，TypeScript 会提示错误。
条件类型
条件类型是指根据某个类型判断另一个类型的定义。在 TypeScript 中，使用条件类型可以实现更加复杂的类型定义。
type IsString<T> = T extends string ? "yes" : "no"; type A = IsString<string>; // "yes" type B = IsString<number>; // "no"
在上面的代码中，我们定义了一个名为 IsString 的条件类型，它判断传入的类型是否为字符串类型，是则返回字符串类型 "yes"，否则返回字符串类型 "no"。在创建类型 A 和类型 B 时，我们分别对应传入了字符串类型和数字类型，通过条件类型返回了不同的结果。
结论
在 TypeScript 中，高级类型可以帮助开发者编写更加复杂的类型定义，并提供更好的类型检查支持。交叉类型、联合类型、类型别名、泛型和条件类型也是 TypeScript 中常用的高级类型。通过深入了解这些类型特性，可以让我们更加高效地编写 TypeScript 代码，提高代码的质量和可维护性。
来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/66f0ef166fbf960197346cc1