TypeScript联合类型参数处理报错，求无需拆分函数的解决方法

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

手动编写类型守卫函数，明确告诉编译器当前分支的具体类型，就能安全访问对应类型的独有属性。比如针对Address类型写一个守卫：

// 自定义类型守卫，判断参数是否为Address类型
function isAddress(address: VerifiedStandardAddress | VerifiedExtendedAddress | Address): address is Address {
  return 'state' in address;
}

function buildAddress(address: VerifiedStandardAddress | VerifiedExtendedAddress | Address) {
  if (isAddress(address)) {
    // 这里编译器明确知道address是Address类型，可直接访问state
    return { ...address, region: address.state };
  } 
  // 针对VerifiedExtendedAddress，也可以写类似守卫或用独有属性判断
  else if ('extendedInfo' in address) {
    // 处理VerifiedExtendedAddress的逻辑
    return { ...address, extra: address.extendedInfo };
  } 
  // 剩下的就是VerifiedStandardAddress类型
  else {
    return { ...address };
  }
}

如果三个类型本身有可辨识的唯一属性（比如都有type字段：type: 'standard'/'extended'/'basic'），直接用switch判断即可，TS会自动收窄类型，这是最推荐的原生方案。

2. 类型断言（谨慎使用） #

如果你能100%确定当前分支的参数类型，可通过as关键字强制断言，跳过编译器的类型检查。但注意这是“不安全”操作，一旦类型判断出错会导致运行时问题：

function buildAddress(address: VerifiedStandardAddress | VerifiedExtendedAddress | Address) {
  if ('state' in address) {
    // 断言为Address类型，直接访问state
    return { ...address, state: (address as Address).state };
  }
  // 其他分支处理
}

3. 可选链+空值合并处理非必选属性 #

如果state属性不存在时你有默认值，可以用可选链?.避免报错，配合空值合并??设置默认值，无需严格区分类型：

function buildAddress(address: VerifiedStandardAddress | VerifiedExtendedAddress | Address) {
  return {
    ...address,
    // 若state存在则用原值，否则用默认值
    state: address.state ?? 'Unknown'
  };
}

这种方案适合不需要精准区分类型，只是兼容属性存在/不存在场景的情况。

4. 基于公共基类的泛型约束 #

先提取三个类型的公共属性定义基类，再用泛型约束参数，配合类型守卫处理独有属性，让编译器对类型的识别更清晰：

// 定义公共基类
type BaseAddress = {
  street: string;
  city: string;
  zipCode: string;
};

// 基于基类扩展各类型
type VerifiedStandardAddress = BaseAddress & {
  verified: true;
  standardTag: string;
};

type VerifiedExtendedAddress = BaseAddress & {
  verified: true;
  extendedTag: string;
};

type Address = BaseAddress & {
  state: string;
};

function buildAddress<T extends BaseAddress>(address: T) {
  if ('state' in address) {
    return { ...address, state: (address as Address).state };
  }
  // 其他分支逻辑
}

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