1、简介
泛型是一种编程语言特性,允许在定义函数、类、接口等使用占位符来表示类型,而不是具体的类型。
泛型是一种在编写可重用、灵活且类型安全的代码时非常有用的功能。
使用泛型的主要目的是为了处理不特定类型的数据,使得代码可以适用于多种类型而不失去类型检查。
泛型的优势:
2、泛型标识符
在泛型中,通常使用一些约定俗成的标识符,比如常见的T、U、V等,但实际上你可以使用任何标识符。
1)、T:代表“Type”,是最常用的泛型类型参数名。
function identity(arg: T): T {
return arg;
}
2)、K、V用于标识键(key)和值(Value)的泛型类型参数。
interface KeyValuePair {
key: K;
value: V;
}
3)、E:用于表示数组元素的泛型类型参数
function printArray(arr: E[]): void {
arr.forEach(item => console.log(item));
}
4)、R:表示函数返回值的泛型类型参数
function printArray(arr: E[]): void {
arr.forEach(item => console.log(item));
}
5)、U、V:通常用于表示第二、第三个泛型类型参数
function combine(first: U, second: V): string {
return `${first} ${second}`;
}
名称。关键是使得代码易读和易于理解,所以建议在泛型类型参数上使用描述性的名称,以便于理解其用途。
3、泛型函数
使用泛型来创建一个可以处理不同类型的函数。
实例:
function identity(arg: T): T {
return arg;
}
// 使用泛型函数
let result = identity("Hello");
console.log(result); // 输出: Hello
let numberResult = identity(42);
console.log(numberResult); // 输出: 42
解析: 以上例子中,identity 是一个泛型函数,使用
4、泛型接口
可以使用泛型来定义接口,使接口的成员能够使用任意类型:
// 基本语法
interface Pair {
first: T;
second: U;
}
// 使用泛型接口
let pair: Pair = { first: "hello", second: 42 };
console.log(pair); // 输出: { first: 'hello', second: 42 }
解析: 这里定义了一个泛型接口 Pair,它有两个类型参数 T 和 U。然后,使用这个泛型接口创建了一个对象 pair,其中 first 是字符串类型,second 是数字类型。
5、泛型类
泛型也可以应用于类的实例变量和方法:
// 基本语法
class Box {
private value: T;
constructor(value: T) {
this.value = value;
}
getValue(): T {
return this.value;
}
}
// 使用泛型类
let stringBox = new Box("TypeScript");
console.log(stringBox.getValue()); // 输出: TypeScript
解析: 在这个例子中,Box 是一个泛型类,使用
6、泛型与默认值
可以给泛型设置默认值,使得在不指定类型参数时能够使用默认类型:
// 基本语法
function defaultValue(arg: T): T {
return arg;
}
// 使用带默认值的泛型函数
let result1 = defaultValue("hello"); // 推断为 string 类型
let result2 = defaultValue(42); // 推断为 number 类型
说明:这个例子展示了带有默认值的泛型函数。函数 defaultValue 接受一个泛型参数 T,并给它设置了默认类型为 string。在使用时,如果没有显式指定类型,会使用默认类型。在例子中,第一个调用中 result1 推断为 string 类型,第二个调用中 result2 推断为 number 类型。