Extract

Extract 允许你基于条件从联合类型中挑选出特定类型来创建新类型。本质上，它会对联合类型进行过滤，仅保留那些可分配给指定类型的成员。当你需要将联合类型中的可能类型缩小到仅满足特定条件的部分时，这会非常有用。