Infer 关键字用于条件中的类型推导。 Typescript 官网也拿 ReturnType 这一经典例子说明它的作用： 理解为：如果 T 继承了 extends (...args: any[])