Typescript之 范型

范型

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可以是接口或类