高级 TypeScript：探索泛型、条件类型和索引访问类型
作者：Alex Martinez
来源：https://lyricalstring.medium.com/advanced-typescript-exploring-generics-conditional-types-and-indexed-access-types-f606768f1250

---

高级 TypeScript：探索泛型、条件类型和索引访问类型

引言

近年来，TypeScript 因其能够为 JavaScript 带来静态类型而获得了巨大的流行，为开发者构建大型、复杂的应用程序提供了强大的工具集。在本文中，我们将深入探讨高级 TypeScript 概念：泛型、条件类型和索引访问类型。

泛型

泛型是 TypeScript 中一个非常强大的特性，它使我们能够编写灵活且可重用的代码，同时不牺牲类型安全性。它们允许你编写一个函数或类，可以与不同类型的数据一起工作，同时仍然保持类型信息。

function identity<T>(arg: T): T {return arg;
}let output = identity<string>("hello world");

在这个例子中，T 是一个类型变量。它作为任何类型的占位符。我们定义了一个 identity 函数，它可以与任何类型一起工作，并仍然保持该类型的信息。

条件类型

TypeScript 中的条件类型允许你引入类型逻辑，并创建依赖于条件的类型。它们遵循这个模式：T extends U ? X : Y。

type NonNullable<T> = T extends null | undefined ? never : T;

索引访问类型

索引访问类型（也称为查找类型）允许我们查找另一个类型上的属性类型。这是通过写 T[K] 来完成的，其中 T 是某些类型，K 是可以作为 T 的索引使用的类型。

type Person = {name: string;age: number;
}type Age = Person["age"]; // Age 是 number 类型

在这里，Age 是 Person 中 age 属性的类型，它是 number 类型。

结论

掌握泛型、条件类型和索引访问类型无疑会提升你的 TypeScript 水平。它们为编写动态且可重用的代码提供了强大的工具集，同时不牺牲类型安全性。成为这些高级 TypeScript 特性的熟练掌握者的最佳方法是通过实践，所以不要犹豫在你的项目中使用它们。编码愉快！

---