TypeScript泛型泛型泛型的类型变量可以有多个，并且类型变量之间还可以约束（比如，第二个类型变量受第一个类型变量

泛型

泛型的类型变量可以有多个，并且类型变量之间还可以约束（比如，第二个类型变量受第一个类型变量约束）。

比如，创建一个函数来获取对象中属性的值：

function getProp<Type, key extends keyof Type>(obj: Type, key: key) {
    return obj[key]
}

getProp({ name: "laoliu", age: 21 }, "age")
getProp({ name: "laoliu", age: 21 }, "name")


let Person = { name: "jack", age: 21 }
getProp(Person, "name")

解释：

添加了第二个类型变量key，两个类型变量之间使用（，）逗号分隔。
keyof关键字接受一个对象类型，生成其键名称（可能是字符串或数字）的联合类型。
本示例中keyof Type 实际上获取的是person对象所有键的联合类型，也就是：'name'|'age'。
类型变量key受Type约束，可以理解为：key只能是Type所有键中的任意一个，或者只能访问对象中存在的属性。

泛型接口

泛型接口：接口也可以是配合泛型来使用，以增加其灵活性，增强其复用性。

interface IdFunc<Type> {
    id: (value: Type) => Type
    ids: () => Type[]
}

let obj: IdFunc<number> = {
    id(value) {
        return value
    },
    ids() {
        return [1, 2, 5]
    }
}

解释：

在接口名称的后面添加<类型变量>,那么,这个接口就变成了泛型接口。
接口的类型变量，对接口中所有其他成员可见。也就是接口中所有成员都可以使用类型变量。
使用泛型接口时，需要显式指定具体的类型（比如，此处的ldFunc <number> )
此时,id方法的参数和返回值类型都是number; ids方法的返回值类型是number[]。

泛型接口-数组

实际上，JS中的数组在TS中就是一个泛型接口。

数组泛型.png

数组数字泛型.png

解释：当我们在使用数组时，TS 会根据数组的不同类型，来自动将类型变量设置为相应的类型。

技巧: 可以通过Ctrl＋鼠标左键（Mac: option+鼠标左键）来查看具体的类型信息。

泛型类

泛型类：表示类中有一个未知的类型

定义方式： public class 类名 < T >{} T表示的是一种类型，是泛型的类型参数，可以使用任意标识，一般使用T、E、K、V等

可以在类内部使用T，表示一个对象的类型在使用类时需要在类名后通过 <类型> 指定具体的类型在JDK7中支持泛型的类型推断：类名<类型> 对象名=new 类名<>();

  //泛型类
public class GenericTypeClass {
     public static void main(String[] args) {
		  
    	// 可以为Student类指定任意一种属性
    	//一旦指定后则不能再修改属性的种类，但可以修改值
 		Student student = new Student();
 		
 		// student.name = "tom";
 		// student.age=20;
 		// student.height=180.5;
 		
 	// 可以任意赋值，缺乏类型安全
 		student.field = 20;
 		student.field="tom"; 

 		// 在使用类时需要在类名通过<类型>指定具体的类型
 		//  泛型必须使用包装类型，不可以用基本数据类型
 		//即应该Stu<Integer> stu而不是Stu<int> stu
 		Stu<String> stu=new Stu<>();
 		//stu.field=20;
 		//stu.field="tom"; // 类型安全
 		
 		//field为String类
 		//stu.field=180.5;
 		stu.field="tom"; 
 		 
 		System.out.println(stu.field.getClass());
	
     }
}


 //普通类
 
class Student {
	// 在没有出现泛型之前是通过Object来实现
	//但Object缺乏类型安全，Java引入泛型的好处：安全、简单
	public Object field;

}

// 泛型类
//T表示一种类型，但暂时不知道具体的类型，称为参数化类型，
//在使用该类时要使用具体的类型
class Stu<T>{ 
	T field;
}

泛型工具类型

泛型工具类型：TS内置了一些常用的工具类型,来简化TS中的一些常见操作。

说明:它们都是基于泛型实现的（泛型适用于多种类型，更加通用)，并且是内置的，可以直接在代码中使用。这些工具类型有很多,主要学习以下几个:

Partial<Type>

Readonly<Type>

Pick<Type, Keys>

Record<keys, Type>

Partial<Type> 用来构造（创建)一个类型，将Type的所有属性设置为可选。

interface Props{
    id:string
    children:number[]
}
type PartialProps = Partial<Props>

解释：构造出来的新类型PartialProps结构和Props相同，但所有属性都变为可选的。

Readonly<Type> 用来构造一个类型,将Type的所有属性都设置为readonly（只读)。

interface Props{
    id:string
    children:number[]
}
type ReadonlyProps = Readonly<Props>

let p1:ReadonlyProps = {
    id:'1',
    children:[1,3]
}
p1.id = "2"

解释：构造出来的新类型ReadonlyProps结构和Props相同，但所有属性都变为只读的。

报错.png

当我们想重新给id属性赋值时，就会报错:无法分配到"id"，因为它是只读属性。

Pick<Type, Keys> 从Type中选择一组属性来构造新类型。

interface Props{
    id:string
    title:string
    children:number[]
}
type PickProps = Pick<Props, "id"| 'title'>

解释：

Pick工具类型有两个类型变量:1表示选择谁的属性2表示选择哪几个属性。
其中第二个类型变量，如果只选择一个则只传入该属性名即可。
第二个类型变量传入的属性只能是第一个类型变量中存在的属性。
构造出来的新类型PickProps，只有id和title两个属性类型。

Record<keys, Type>构造一个对象类型,属性键为 Keys，属性类型为 Type。

type RecordObj = Record<'a'|'b'|'c',string[]>
let obj:RecordObj = {
    a:['1'],
    b:['2'],
    c:['3'],
}

解释：

Record工具类型有两个类型变量:1表示对象有哪些属性2表示对象属性的类型。
构建的新对象类型RecordObj表示:这个对象有三个属性分别为a/b/c，属性值的类型都是string[]。