TS的泛型是什么有什么用

TypeScript 的泛型可以让我们编写可重用的代码组件，这些组件可以支持多种类型。泛型是 TypeScript 的一个强大特性，它可以在函数、类、接口中使用。 泛型的基本语法是在函数名或类名后加上 "<T>"（T可以是任何标识符），这个T表示类型变量，它可以代表任意类型。例如： ```typescript function identity<T>(arg: T): T { return arg; } let output = identity<string>("hello world"); console.log(output); // 输出 hello world ``` 在上面的例子中，我们定义了一个名为 identity 的函数，它接收一个参数 arg，并返回该参数。在函数名后面加上了 "<T>"，这样我们就可以在函数中使用类型变量 T，代表任意类型。 调用 identity 函数时，我们可以明确指定 T 的类型，例如：identity<string>("hello world")，这表示 T 的类型是 string。也可以不指定 T 的类型，TypeScript 会根据传入的参数自动推断出 T 的类型，例如：identity("hello world")，TypeScript 会自动将 T 推断为 string。 泛型还可以用于类和接口中，例如： ```typescript interface GenericIdentityFn { <T>(arg: T): T; } class Identity<T> { private value: T; constructor(value: T) { this.value = value; } getValue(): T { return this.value; } } let myIdentityFn: GenericIdentityFn = identity; let myIdentity = new Identity<string>("hello"); console.log(myIdentity.getValue()); // 输出 hello ``` 在上面的例子中，我们定义了一个名为 GenericIdentityFn 的接口，它定义了一个泛型函数。我们还定义了一个名为 Identity 的类，该类接收一个类型参数 T，并存储一个类型为 T 的值。 通过泛型，我们可以编写可重用的代码组件，它可以支持多种类型，提高代码的复用性和灵活性。

### TypeScript 泛型使用指南与示例 #### 1. 泛型的基本概念 泛型（Generics）是 TypeScript 中一种强大的工具，用于创建可重用的组件。它允许在定义函数、接口或类时，指定一个或多个类型参数[^3]。通过这种方式，可以在不牺牲类型安全的情况下实现更高的灵活性。 #### 2. 泛型函数 以下是一个简单的泛型函数示例，展示如何使用泛型来确保类型安全： ```typescript function getFirstElement<T>(arr: T[]): T | undefined { return arr[0]; } const num = getFirstElement([1, 2, 3]); // number 类型 const str = getFirstElement(["a", "b"]); // string 类型 ``` 在这个例子中，`T` 是一个类型参数，表示数组 `arr` 的元素类型。通过使用 `<T>`，TypeScript 能够自动推断出返回值的类型。 #### 3. 泛型类 泛型不仅限于函数，还可以应用于类。以下是一个泛型类的示例： ```typescript class MyClass<T> { prop: T; constructor(prop: T) { this.prop = prop; } } const myClassInstance = new MyClass<string>("Hello"); console.log(myClassInstance.prop); // 输出: Hello ``` 在这个例子中，`T` 表示类的属性 `prop` 的类型。通过构造函数传递具体的类型参数，可以确保类的实例化具有正确的类型[^4]。 #### 4. 泛型接口 泛型也可以用于定义接口，以提高代码的复用性。以下是一个泛型接口的示例： ```typescript interface GenericIdentityFn<T> { (arg: T): T; } function identity<T>(arg: T): T { return arg; } let myIdentity: GenericIdentityFn<number> = identity; console.log(myIdentity(5)); // 输出: 5 ``` 在这个例子中，`GenericIdentityFn<T>` 是一个泛型接口，约束了函数的输入和输出类型必须一致[^4]。 #### 5. 使用 `keyof` 和泛型 结合 `keyof` 操作符，可以实现更复杂的类型约束。以下是一个综合示例： ```typescript function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] { return obj[key]; } const user = { name: "Alice", age: 25 }; console.log(getProperty(user, "name")); // 输出: Alice // console.log(getProperty(user, "invalid")); // 编译错误 ``` 在这个例子中，`K extends keyof T` 确保了 `key` 参数只能是对象 `obj` 的合法键名[^2]。 #### 6. 泛型约束 有时需要对泛型参数进行约束，以确保其具备某些特性。以下是一个使用 `extends` 关键字的示例： ```typescript function longest<T extends { length: number }>(a: T, b: T): T { return a.length >= b.length ? a : b; } const longerArray = longest([1, 2], [1, 2, 3]); // [1, 2, 3] const longerString = longest("hello", "world!"); // "world!" ``` 在这个例子中，`T` 被约束为必须包含 `length` 属性的类型[^3]。 ---