TypeScript - 泛型 - 泛型约束

谈一下什么是泛型约束

普通的泛型是比较随便的，类似于any。
但是在某些情况下，我们需要对实际传入的类型具有一定的特性，比如 该泛型要具有某个属性，
此时 就需要用到 泛型的约束了。
而这一特点也是 泛型与any之间的不同，any是理解不了这一点的。

写个例子看一看

需求 ： 
     要求 参数的泛型类型 必须具有 length 属性。

实现 ：
     使用 extends 关键字，泛型继承某个拥有length属性的类型，使泛型具有 length 属性。
     注意，此处extends 的可以是 接口，也可以是 类。
         接口 interface 本身就是 一组抽象的约束；
         类 class 也是一组 属性和方法的集合，也可以看作是一组约束。

下面以接口为例，写一下代码：

// 范型约束 ： 给范型规定一下类型的意思
interface ILength{
    length:number
}

// 约束 ： 参数value 必须是有 length 这个属性的值才可以
function getArry5<T extends ILength>(value:T):void{
    console.log(value.length)
}
//getArry5(100) // 不可以，因为number没有length属性
getArry5("aabbcc") // 正常，因为string类型有length属性

运行结果：
    6