泛型类型(Generic Types)是编程语言中提供的一种强大特性,它允许开发者创建可以适应多种类型的数据结构和算法。在 TypeScript 中,泛型允许我们定义在编译时不知道具体类型的函数、类或接口。通过使用占位符类型(称为类型参数),泛型可以帮助我们编写更加通用、可复用的代码,同时保留静态类型检查的优势。
举例来说,在 TypeScript 中定义一个泛型函数或泛型类:
泛型函数示例:
function identity<T>(arg: T): T { return arg; } let output1 = identity<string>("Hello World"); // 输出类型为 string let output2 = identity<number>(42); // 输出类型为 number
在这个例子中,<T>
是一个类型参数,当调用 identity
函数时,我们可以指定 T
为任何类型。
泛型类示例:
class Box<T> { value: T; constructor(value: T) { this.value = value; } } let stringBox = new Box<string>("Hello"); let numberBox = new Box<number>(42); // stringBox.value 的类型是 string // numberBox.value 的类型是 number
在这个 Box 类中,T 是一个泛型类型参数,它代表了存储在 value 属性中的实际类型。创建 Box 类的实例时,我们可以指定 T 为任何类型。
通过这种方式,泛型增强了代码的可复用性和类型安全性,避免了不必要的类型转换和潜在的运行时错误。
更多 TypeScript 中泛型的例子:
泛型函数 - 映射函数
function mapArray<T, U>(array: T[], mapper: (item: T) => U): U[] { return array.map(mapper); } let numbers = [1, 2, 3, 4, 5]; let strings = mapArray(numbers, (n) => n.toString()); // strings 的类型是 string[]
在这个例子中,mapArray 函数接受一个类型为 T 的数组和一个映射函数,返回一个类型为 U 的数组。在调用时,根据传入的参数类型,编译器能够推断出返回值的类型。
泛型类 - 货币转换器
class CurrencyConverter<CurrencyFrom, CurrencyTo> { conversionRate: number; constructor(rate: number) { this.conversionRate = rate; } convert(value: number): number { return value * this.conversionRate; } } const usdToEurConverter = new CurrencyConverter<USD, EUR>(0.85); let convertedAmount = usdToEurConverter.convert(100); // convertedAmount 的类型是 number
这里,CurrencyConverter
类接受两个泛型参数,代表货币类型,虽然这个例子中并未实际利用这些类型参数(只是为了展示泛型类的使用),但在实际开发中,类型参数可以用于限制输入输出的货币类型。
泛型接口 - 键值对集合
interface KeyValuePairs<K, V> { [key: K]: V; } let myPairs: KeyValuePairs<string, number> = { "apple": 1, "banana": 2, "cherry": 3, };
此 KeyValuePairs
接口使用了索引签名和泛型,表示它可以存储任意数量的键值对,其中键的类型为 K
,值的类型为 V
。在实例化时,我们指定了 string
作为键类型,number
作为值类型。