# 1. 前言
我们可以把泛型比喻为一个类型占位符,它告诉编译器:“嘿,这里有一个类型参数,我现在不确定具体是什么类型,但稍后会告诉你。”
通过使用泛型,我们可以编写更灵活、更可复用的代码。它允许我们在定义函数、类或接口时使用类型占位符来表示类型,而不直接指定具体的类型。这样,在实际使用时,我们可以传入不同的类型参数,使得代码可以适用于多种情况。
例如,让我们看一个简单的例子,来解释泛型的使用。假设我们有一个名为 identity
的函数,它接受一个参数并返回该参数:
function identity<T>(value: T): T {
return value;
}
在上述代码中,<T>
表示这是一个泛型函数,T
是一个类型参数,可以是任何类型。函数的参数 arg
的类型为 T
,返回值的类型也是 T
。这样,我们可以在函数调用时传入不同的类型参数,使得函数适用于各种类型的参数。
例如,我们可以这样调用 identity
函数:
let result1 = identity<number>(42); // 传入 number 类型
let result2 = identity<string>("Hello, TypeScript"); // 传入 string 类型
在第一次调用时,类型参数 number
被传递给 identity
函数,所以返回值的类型也是 number
。而在第二次调用时,类型参数 string
被传递给 identity
函数,所以返回值的类型是 string
。
通过使用泛型,我们可以编写出更加通用的函数,不限于特定的类型。这样一来,我们能够避免代码的重复编写,提高代码的可复用性和灵活性。
泛型主要用在四个场合:函数、接口、类和别名。
# 基本使用
泛型使用尖括号 <T>
来表示,并在定义函数、类或接口时指定类型参数。下面是一些基本的使用示例:
// 示例1: 创建一个泛型函数
function identity<T>(arg: T): T {
return arg;
}
// 示例2: 使用泛型函数
let output = identity<string>("Hello");
console.log(output); // 输出: Hello
// 示例3: 使用类型推断,自动推断泛型类型
let output2 = identity("Hello");
console.log(output2); // 输出: Hello
在示例 1 中,函数 identity
使用了泛型类型参数 T
,表示参数和返回值的类型可以是任何类型。示例 2 和示例 3 展示了如何使用泛型函数并指定参数的类型。
。
# 2. 使用泛型变量:
泛型变量允许我们在函数或类中使用一种不确定的类型,而在实际使用时才确定具体的类型。
举个例子,考虑一个简单的函数identity
,它接受一个参数并返回相同的值:
function identity<T>(arg: T): T {
return arg;
}
在这个例子中,我们使用了泛型变量T
,它可以代表任意类型。当我们调用函数identity
时,编译器会根据传入的参数类型自动推断T
的具体类型。
例如:
代码语言:javascript复制let result = identity<string>("Hello");
console.log(result); // 输出:Hello
let value = identity<number>(42);
console.log(value); // 输出:42
通过使用泛型变量,函数identity
可以适用于不同类型的参数,提供了更高的灵活性和可重用性。
# 3. 泛型类型:
泛型类型允许我们创建可以适用于不同类型的变量、函数或类。
举个例子,考虑一个简单的数组反转函数reverse
:
function reverse<T>(array: T[]): T[] {
return array.reverse();
}
在这个例子中,我们定义了一个泛型函数reverse
,接受一个数组参数,并返回反转后的数组。泛型类型T
用于指定数组的元素类型。
例如:
代码语言:javascript复制let numbers: number[] = [1, 2, 3, 4, 5];
let reversedNumbers = reverse(numbers);
console.log(reversedNumbers); // 输出:[5, 4, 3, 2, 1]
let strings: string[] = ["apple", "banana", "orange"];
let reversedStrings = reverse(strings);
console.log(reversedStrings); // 输出:["orange", "banana", "apple"]
通过使用泛型类型,函数reverse
可以适用于不同类型的数组,提供了更高的灵活性和可重用性。
# 4. 泛型类:
泛型类允许我们创建可以适用于多种类型的类。类中的成员可以使用泛型类型进行声明和使用。
举个例子,考虑一个简单的Box
类,用于存储任意类型的值:
class Box<T> {
private value: T;
constructor(value: T) {
this.value = value;
}
getValue(): T {
return this.value;
}
}
在这个例子中,我们定义了一个泛型类Box
,它具有一个私有成员value
和一个公共方法getValue
用于获取值。
例如:
代码语言:javascript复制let box1 = new Box<number>(42);
console.log(box1.getValue()); // 输出:42
let box2 = new Box<string>("Hello");
console.log(box2.getValue()); // 输出:Hello
过使用泛型参数<T>
,可以在类的定义中引入类型变量来表示未知的类型。这样一来,我们可以在类实例化时指定具体的类型,从而创建适用于不同类型数据的类的实例。
# 5. 泛型约束:
泛型约束允许我们限制泛型类型的范围,使其满足特定条件
# 5.1. 确保属性存在
举个例子,假设我们想编写一个函数getLength
,用于获取对象的长度。但是并不是所有的对象都有length
属性,所以我们需要对泛型类型进行约束,确保它具有该属性。
例如:
代码语言:javascript复制interface HasLength {
length: number;
}
function getLength<T extends HasLength>(obj: T): number {
return obj.length;
}
在这个例子中,我们使用泛型约束T extends HasLength
来限制泛型类型T
必须满足HasLength
接口的要求,即具有length
属性。
例如:
代码语言:javascript复制let str = "Hello";
console.log(getLength(str)); // 输出:5
let arr = [1, 2, 3, 4, 5];
console.log(getLength(arr)); // 输出:5
通过使用泛型约束,函数getLength
可以接受具有length
属性的对象,并返回其长度。
# 5.2 检查对象的 key
1、keyof typescript 中检测类型的方法,以联合类型的方式方返回类型的所有 key
2、搭配泛型约、<T,K extends keyof T >
refshttps://juejin.cn/post/6844904184894980104#heading-0open in new window 使用泛型,可以让我们在编译前发现错误。
# 6 泛型接口:
泛型接口允许我们定义可以适用于不同类型的接口。
举个例子,考虑一个简单的Transformer
接口,它定义了一个将输入值转换为输出值的转换器:
interface Transformer<T, U> {
transform(input: T): U;
}
在这个例子中,我们定义了一个泛型接口Transformer
,它有两个类型参数T
和U
,用于定义输入类型和输出类型。
例如,我们可以实现一个字符串到数字的转换器:
代码语言:javascript复制class StringToNumberTransformer implements Transformer<string, number> {
transform(input: string): number {
return parseFloat(input);
}
}
通过定义实现了Transformer
接口的类,我们可以创建不同类型的转换器。
例如:
代码语言:javascript复制let transformer = new StringToNumberTransformer();
let result = transformer.transform("3.14");
console.log(result); // 输出:3.14
通过使用泛型接口,我们可以定义可重用、可灵活的接口,适用于不同类型的转换操作。
# 接口搭配泛型,应用在 calss 类上
extend people 约束泛型类 在 people 接口范围内 此时是 泛型变量占位符,在实例化 class 类是传递类型
代码语言:javascript复制interface people {
name: string;
age: number;
}
class Popele<T extends people> {
data: T;
constructor(data: T) {
this.data = data;
}
hi() {
return `${this.data.name},,${this.data.age}`;
}
}
let zhagnsan = new Popele<people>({ name: "张三", age: 18 });
总结: 泛型在 TypeScript 中提供了更灵活、可重用的代码编写方式。它可以用于定义函数、类以及接口,让我们能够编写适用于不同类型的代码。