条件类型，听名字就有点像是在类型系统里写if-else。没错，它的核心思想就是这样：根据一个类型关系检查，在编译时动态选择两种可能的类型之一。这玩意儿是TypeScript类型编程里真正的“分水岭...