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

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

1. 泛型概述

在JavaScript中，我们一直致力于通过类型系统将其固有的灵活性进行形式化。虽然我们为动态类型语言添加了静态类型，以明确意图、获得工具支持并提前捕获错误，但JavaScript的某些部分并不真正关心静态类型。例如， isKeyAvailableInObject 函数只需检查对象中是否存在某个键，而无需了解具体类型。

TypeScript的泛型为我们提供了鱼与熊掌兼得的方法，既能保证灵活性，又能获取类型信息。泛型可以描述复杂的关系，并为尚未定义的数据形式化结构。它与映射类型、类型映射、类型修饰符和辅助类型一起，开启了元类型编程的大门，让我们可以基于现有类型创建新类型，并在生成新类型时检查原始代码中可能存在的错误。

2. 泛化函数签名

2.1 问题描述

有两个功能相同但处理不同且基本不兼容类型的函数。

2.2 解决方案

使用泛型来泛化这些函数的行为。

2.3 详细讨论

假设我们正在编写一个应用程序，该程序将多个语言文件（如字幕）存储在一个对象中，键为语言代码，值为URL。为确保语言代码的正确性和有效性，我们创建了 isLanguageAvailable 函数：

type Languages = {
  de: URL;
  en: URL;
  pt: URL;
  es: URL;
  fr: URL;
  ja: URL;
};