先从一个 ts 的语法开始： Test<T> 这个高级类型，有一个泛型参数 T，当 T 传入的类型为联合类型的时候，有两种情况： 如果 checkType（extends 左边的类型） 是 T，则把联