10、TypeScript泛型：灵活与类型安全的完美结合

TypeScript泛型：灵活与类型安全的完美结合

1. 泛型概述

在编程中，我们常常希望在保证代码灵活性的同时，也能获得类型系统带来的优势，如明确的意图表达、良好的工具支持以及提前发现潜在的错误。JavaScript本身具有很强的灵活性，但缺乏静态类型检查。而TypeScript则为动态类型的JavaScript添加了静态类型，以解决这些问题。

然而，JavaScript中的某些部分并不真正关心静态类型。例如，一个 isKeyAvailableInObject 函数只需要检查对象中是否存在某个键，而不需要知道具体的类型。为了规范这样的函数，我们可以使用TypeScript的结构类型系统，但这可能会在信息完整性和灵活性之间做出权衡。

泛型（Generics）就是解决这个问题的关键。它让我们能够描述复杂的关系，并为尚未定义的数据形式化结构。泛型及其相关的映射类型、类型映射、类型修饰符和辅助类型，为元类型编程打开了大门，我们可以基于现有类型创建新类型，并在新类型生成的过程中检查原始代码是否存在潜在的错误。

2. 泛化函数签名

2.1 问题描述

在实际开发中，我们可能会遇到两个功能相同，但处理不同且基本不兼容类型的函数。例如，在一个应用程序中，我们需要加载语言文件和媒体数据，分别编写了 isLanguageAvailable 和 isElementAllowed 两个类型守卫函数：

type Languages = {
  de: URL;