1 什么是「infer」 1.1 概念 infer 只能在 条件类型（conditional types） 中使用，用来 在类型推断时声明一个待推断的类型变量。 语法为： 可以这么理解： 如果 T 能