ts

泛型 理解 泛型是一种类型变量，作用于类型，而不是作用于值 示例 infer 理解 infer相当于给extends之后的变量设置了一个类型变量，只能出现在extends子语句中 示例