typescript基础——泛型

泛型定义

指在定义函数，接口或者类的时候，不预先指定具体的类型，在使用的时候再指定类型的一种特性；

使用

例如：定义一个函数，创建指定长度和值的数组

function createArray(len: number, value: any): Array<any> {}

这样写的缺点是，没有准确的定义返回值的类型
使用泛型修改一下：

function createArray<T>(len: number, value: T): Array<T> {
	let result: T[] = [];
}
createArray<string>(3, '2');

函数名后的T用来指定输入的任意类型, 在使用的时候指定类型；
也可以不指定类型，由类型推论自动推算出来。

多个类型参数

定义泛型的时候可以指定多个类型

function swap<T, U>(arr: [T, U]): [U, T] {
	return [arr[1], arr[0]]
}

泛型约束

在函数内部使用泛型的时候，不确定泛型是什么类型，不能随意操作它的属性或者方法。

interface lengthwise {
   length: number;
}
// 如果不用extends lengthwise，泛型T里不一定包含length属性，编译的时候就会报错。
function logIdentity<T extends lengthwise>(arg: T):T {
   console.log(arg.length);
   return arg;
}

泛型接口

interface CreateArrayFunc {
   <T>(length: number, value: <T>): Array<T>
}
// 可以把泛型参数提到接口名上
// interface CreateArrayFunc<T> {
//    (length: number, value: <T>): Array<T>
// }

// 用第二种使用泛型接口时，必需指定泛型的类型
let createArray: CreateArrayFunc<any>;
createArray = function<T>(length: number, value: <T>): Array<T> {
   
}

泛型类

泛型也可以用在类的类型定义中

class MyClass<T> {
   zeroValue: T;
   constructor(zeroValue: T){
      this.zeroValue = zeroValue
   };
   add: (x: T, y: T) => T;
}
let myClass = new MyClass<number>(12);

泛型参数指定默认值

ts2.3以后，泛型中的类型参数可以指定默认值，使用泛型时，没指定类型也无法推断出类型时，就会采用默认值

function createArray<T = string>(len: number, value: T): Array<T> {
	let result: T[] = [];
}
createArray(3, '2');