很多时候我们需要一个函数或者一个类支持多种数据类型。
泛型：
概念：不预先确定的数据类型，具体的类型在使用的时候才能确定。
好处：1.函数和类可以轻松地支持多种类型，增强程序的扩展性
2.不必写多条函数重载，冗长的联合类型声明，增强代码可读性
3.灵活控制类型之间的约束
泛型函数
function log<T> (value: T): T {
console.log(value)
return value;
}
log<string[]>(['a','b']) // 调用
log(['a','b']) // 类型推断 调用
泛型函数类型
type Log = <T>(value: T) => T
let myLog: Log = log
泛型接口
interpace Log<T> {
(value: T) : T
}
let myLog: Log<number> = log
myLog(1)
interpace Log<T = string> {
(value: T) : T
}
let myLog: Log = log
myLog('1')
泛型类
class Log<T> { // 约束所有类的成员，但是不能约束static成员
run(value: T) {
console.log(value)
return value
}
}
let log1 = new Log<number>()
log1.run(1) //值必须为number类型
let log2 = new Log() //当不指定类型参数的时候,value的值可以是任意的值
log2.run({a:1})
log2.run('111')
泛型约束
function log<T extends Length> (value: T): T { // 让类型T继承Length接口
console.log(value, value.length) // 打印length属性，提示T类型上不存在length属性
return value;
}
不存在length属性，这时候用到泛型约束
interface Length {
length: number
}
log([111])
log(['1231'])
log({length: 1})
// 以上只要有length属性都可以
