范型
typescript
在javascript基础上扩充了类型,并且可以进行静态类型检查。它在某种成都上限制javascript的灵活性,但是这种限制是必要的,在类型体系内提供灵活性,才是可控的。范型在类型系统的体系内,给程序提供了灵活性,避免去写除了类型不同其他都相同的代码.范型可以代表任意的类型,这个范围太大了,有时侯我们希望缩小它代表的范围,还可以对它添加约束
适用范围
- 函数
- 接口
- 类
- 别名
范型函数
function identity(arg: number): number {
return arg;
}
function identity(arg: any): any {
return arg;
}
// 适用范型
function identity<T>(arg: T): T {
return arg;
}
const identify =<T>(arg:T):T =>{ return arg};
复制代码
形式上在函数括号前加上
<T>
范型接口
interface GenericIdentityFn<T> {
(arg: T): T;
}
复制代码
形式上 接口名后面加上
<T>
范型类
class GenericNumber<T> {
zeroValue: T;
add: (x: T, y: T) => T;
}
复制代码
形式上 在类名后面加上
<T>
别名
type Container<T> = { value: T };
复制代码
约束
形式上<T extend B>
,B
可以是接口或类