javascript - TypeScript:具有空对象的可区分联合

Question

我有以下类型的用户:

type User = {
    name: string;
    email: string;
} | {};

所以本质上，用户可以是具有名称和电子邮件属性的对象，也可以是空对象。

当我尝试检查给定的用户对象是哪个时，TypeScript 显示错误。

if (user.name) { // ERROR
    // do something if user object is populated
}

特别是上面的代码抛出了错误:

Property 'url' does not exist on type 'PrismicImage'.
Property 'url' does not exist on type '{}'

是否可以有一个接口(interface)是空对象的有区别的联合？

Answer 1

您可以在 https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-the-in-operator

if (user.name) { // error
    user // typeof user is User | {}
    user.name // error
    user.email // error 
}

if ('name' in user) {
    user // ok, typeof user is User
    user.name  // string 
    user.email // string
}

tsplayground