为何TypeScript类型守卫无法收窄联合类型？

问题的核心在于TypeScript的结构类型系统特性：你定义的GroupContact是通过Omit<Contact, "contactInfo">得到的，仅包含id和name两个属性。而Contact类型除了这两个属性外还多了contactInfo——这意味着所有Contact类型的实例都完全满足GroupContact的类型要求（结构类型只检查是否拥有目标类型的所有属性，不限制额外属性），所以Contact是GroupContact的子类型。

在这种情况下，联合类型Contact | GroupContact中的Contact实例同时也属于GroupContact范畴。当你的类型守卫isGroupContact返回true时，TypeScript无法区分当前值是纯粹的GroupContact（无contactInfo）还是Contact实例（有contactInfo但符合GroupContact结构），因此无法将类型收窄为GroupContact。

要解决这个问题，你需要修改GroupContact的定义，明确禁止contactInfo属性存在，而不仅仅是从类型中省略它。可以通过交叉类型实现：

type Contact = {
    id: string;
    name: string;
    contactInfo: {
        isStarred: boolean;
    }
}

// 交叉{ contactInfo?: never }，明确禁止该属性存在
type GroupContact = Omit<Contact, "contactInfo"> & { contactInfo?: never };

function isGroupContact(contact: Contact | GroupContact): contact is GroupContact {
    return !("contactInfo" in contact);
}

function foo(contact: Contact | GroupContact) {
    if (isGroupContact(contact)) {
        console.log("group", contact); // 此处contact类型已正确收窄为GroupContact
    } else {
        console.log("not group", contact); // 此处contact类型为Contact
    }
}

这样修改后，TypeScript会识别出GroupContact不能包含contactInfo属性，类型守卫的判断逻辑就能正确将联合类型收窄为对应的具体类型。

内容的提问来源于stack exchange，提问作者Misha Moroshko