泛型基础

泛型（Generic）是一种在编程语言中实现参数化类型的机制，在许多编程语言中都得到了支持，包括 TypeScript。泛型允许我们编写能够适用于多种类型的代码，而不是为每种类型都编写重复的逻辑。通过使用泛型，我们可以在编写函数、类或接口时，将类型作为参数进行传递和推断。
在 Java 等编程语言中，泛型通常用于集合类（如 List、Set、Map 等），以提供类型安全的集合操作。通过使用泛型，可以避免在运行时出现类型转换异常，因为编译器会在编译期间进行类型检查。
泛型也有一些缺点，例如可能增加代码的复杂性，特别是对于初学者来说。此外，Java 中的泛型是通过类型擦除来实现的，这意味着在运行时无法获取泛型的具体类型信息。泛型是一种强大的编程工具，可以提高代码的类型安全性、可读性和效率。在使用泛型时，需要权衡其优缺点，并根据具体需求做出决策。
经典的泛型代码示例：

typescript

function identity<T>(arg: T): T {
  return arg;
}
let output = identity<string>("myString"); // type of output will be 'string'
let output2 = identity("myString"); // type of output will be 'string'

泛型诞生的原因

使用泛型前，我们需要了解泛型诞生的原因，这样就能容易得理解，为什么会存在泛型，什么时候需要使用泛型。
在非泛型编程中，当我们使用集合类（如数组、列表）来存储对象时，通常这些集合类会接受任意类型的对象。这可能导致类型不匹配的错误在运行时才被发现，增加了程序出错的风险。泛型通过提供编译时的类型检查，确保了集合中元素的类型安全，从而减少了运行时类型错误的可能性。
而当我们从集合中取出元素时，通常需要进行强制类型转换。这不仅增加了代码的复杂性，而且可能引发 ClassCastException。泛型能够确保我们取出的元素类型与期望的类型一致，从而避免了不必要的类型转换。
总之，泛型类和泛型方法能够处理多种数据类型，而无需为每种类型都编写特定的代码 并且提供类型安全的集合操作这大大提高了代码的重用性，减少了重复代码的编写。因为不需要在代码中显式地进行类型转换。这不仅可以减少出错的机会，还可以使代码更加清晰和易于维护。对于基本数据类型，使用非泛型集合时需要进行装箱和拆箱操作，这些操作会带来性能开销。而使用泛型集合可以避免这种不必要的装箱和拆箱，从而提高性能。
泛型类型是一种可以接受类型参数的类或接口。通过使用泛型类型，我们可以创建一个通用的类或接口，该类或接口可以适用于多种类型。泛型类型允许我们编写适用于多种类型的代码，而不需要为每种类型都编写重复的逻辑。

当涉及到对集合进行操作时，使用泛型可以提供类型安全的代码。下面是一些常见的集合操作的泛型代码示例：

翻转数组：

typescript

function reverseArray<T>(arr: T[]): T[] {
  return arr.reverse();
}

let numbers = [1, 2, 3, 4, 5];
let reversedNumbers = reverseArray(numbers); // 类型为number[]

在这个示例中，reverseArray函数接受一个类型为T的数组，并将其翻转后返回一个相同类型的数组。通过使用泛型，我们可以在编译时确保输入和输出的类型一致。

过滤数组：

typescript

function filterArray<T>(arr: T[], predicate: (item: T) => boolean): T[] {
  return arr.filter(predicate);
}

let numbers = [1, 2, 3, 4, 5];
let evenNumbers = filterArray(numbers, (num) => num % 2 === 0); // 类型为number[]

在这个示例中，filterArray函数接受一个类型为T的数组和一个返回布尔值的判断函数，并返回一个经过过滤后的相同类型的数组。通过使用泛型和函数类型注解，我们可以在编译时确保传入的判断函数能够正确处理数组元素的类型。

合并数组：

typescript

function mergeArrays<T>(arr1: T[], arr2: T[]): T[] {
  return arr1.concat(arr2);
}

let numbers = [1, 2, 3];
let strings = ["a", "b", "c"];
let mergedArray = mergeArrays(numbers, strings); // 类型为(number|string)[]

在这个示例中，mergeArrays函数接受两个类型为T的数组，并将它们合并为一个类型相同的数组。通过使用泛型，我们可以确保输入的数组类型一致，从而避免合并不兼容的数组。

上述示例中的泛型代码可以通过 type inference（类型推断）来自动推断传入的数组类型，并确保类型安全的操作。如果需要进行显式的类型指定，也可以通过显式指定类型参数来确保类型一致。

泛型基础 ​

泛型诞生的原因 ​

泛型基础

泛型诞生的原因