TypeScript中User联合交叉类型解构提示属性不存在，如何解决？

你定义的类型结构如下：

type Place = {
   address: string
}

type Location = {
   latLng: string
}

type User = {
  name: string
} & (Place | Location)

当尝试解构const { name, address, latLng } = user;时，TypeScript会报错：Property 'address' does not exist on type 'User'。这是因为TypeScript无法确定当前user到底是带address的Place分支，还是带latLng的Location分支，必须通过类型收窄让编译器明确具体类型。

下面是几种可行的解决方式：

1. 自定义类型守卫做类型收窄 #

写两个类型守卫函数，用来判断当前user属于哪个分支，之后就能安全解构对应属性：

// 判断是否为Place类型的User
function isPlaceUser(user: User): user is User & Place {
  return 'address' in user;
}

// 判断是否为Location类型的User
function isLocationUser(user: User): user is User & Location {
  return 'latLng' in user;
}

// 使用示例
if (isPlaceUser(user)) {
  const { name, address } = user;
  // 处理带address的逻辑
} else {
  // TypeScript会自动推断出是Location类型
  const { name, latLng } = user;
  // 处理带latLng的逻辑
}

2. 给联合类型添加判别式（推荐） #

修改Place和Location类型，增加一个共同的判别属性，让TypeScript能自动区分分支，这种方式更清晰且不易出错：

type Place = {
   type: 'place', // 判别属性
   address: string
}

type Location = {
   type: 'location', // 判别属性
   latLng: string
}

type User = {
  name: string
} & (Place | Location)

// 使用示例
switch (user.type) {
  case 'place':
    const { name, address } = user;
    break;
  case 'location':
    const { name, latLng } = user;
    break;
}

3. 非空断言或类型断言（不推荐，仅限确定数据合规场景） #

如果你能100%保证数据符合业务规则（address和latLng二选一），可以用断言强制告诉TypeScript属性存在，但这种方式会跳过类型检查，风险较高：

// 方式1：整体断言为包含可选属性的类型
const { name, address, latLng } = user as { 
  name: string; 
  address?: string; 
  latLng?: string 
};

// 方式2：单独对属性做非空断言
const address = user.address!;
const latLng = user.latLng!;

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