TS-泛型T

什么是泛型

• 泛型就是在定义类，接口，函数不预先指定类型，而是在使用的时候在指定类型的一种特性

泛型的具体应用

function f12<T>(x:T,y:T):T[] {
  return [x,y]
}
f12<string | number>('a',2) // 传入联合类型
f12<number>(1,2)
f12(1,'2') // 类型推断

泛型在箭头函数中的写法

// 函数表达式的写法
 var f16 = function<N>(x:N):N {
  return x
}
f16<number>(1)
// 箭头函数的写法（箭头函数其实是函数表达式的简写）
let f17 = <T>(x:T):T => x;
f17<number>(1)

泛型约束

那么如何让泛型被约束呢，要求类型必须有length属性,我们可以使用接口interface来约束

interface Length {
  length:number
}

function f19<T extends Length>(arg:T):void { // 类型必须有length属性
  console.log(arg.length)
}
f19('124')

泛型接口的写法

// 泛型接口的第一种写法
interface IndexOfFun1 {
  <T>(a:T,b:T):boolean
}
// 函数类型的类型检测 输入类型和输出类型
var f21:IndexOfFun1 = function(src:T,str:T):boolean {
  var i = src.indexOf(str);
  return i!=-1
}
f21<string>('abc','a')

// 泛型接口的第二种写法
interface IndexOfFun2<T>{
  (a:T,b:T):boolean
}
// 函数类型的类型检测 输入类型和输出类型
var f22:IndexOfFun2<string> = function<T>(src:T,str:T):boolean {
  return src === str
}
f22('abc','a')

泛型在类中的写法

class A2<T> {
  n:T;
  constructor(num:T) {
    this.n = num
  }
  add(x:T):T {
    return x
  }
}
var a2 = new A2<number>(1)
a2.add(3)