泛型类型(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
作为值类型。