梗概

因为泛型其实就是一个特殊的参数, 所以为了规范传入的类型参数, 可以用其他类型来约束泛型参数, 如用接口、类、type定义的类型别名等

语法

child::

function 函数名<泛型参数名 extends 其他类型 = 默认类型>(参数1: 类型): 类型 {
    //代码中可以使用 泛型参数名 作为一种类型
}