TypeScript联合类型交叉后属性访问报错，如何正确处理？

问题分析与解决方案 #

核心问题 #

你遇到的错误主要来自三个点：

1. 属性大小写不匹配：定义的类型里属性是大写开头（Name/Surname/Fullname/Age），但函数里误用了小写开头的属性名，TypeScript严格区分大小写，导致提示属性不存在。
2. 联合类型无法自动缩小：直接用hasOwnProperty无法让TypeScript识别当前对象属于联合类型的哪个分支，需要明确的类型守卫逻辑。
3. 互斥属性未明确约束：原Person类型没有明确排除互斥属性（比如带Fullname的对象不能有Surname），导致TypeScript无法确定对象的具体结构。

正确实现代码 #

1. 定义严格约束的Person类型

先抽离公共属性，再分别定义两个互斥分支，明确排除对方的属性：

// 公共基础属性：所有Person都必须包含Name和Age
type BasePerson = {
  Name: string;
  Age: number | string; // 保留你原需求中Age的两种类型，若需统一可改为number或string
};

// 带Fullname的Person分支：明确排除Surname
type PersonWithFullname = BasePerson & {
  Fullname: string;
  Surname?: never;
};

// 带Surname的Person分支：明确排除Fullname
type PersonWithSurname = BasePerson & {
  Surname: string;
  Fullname?: never;
};

// 最终Person类型：只能是上述两个分支之一
type Person = PersonWithFullname | PersonWithSurname;

// 最终对象类型：Person加上额外字段
type finalObject = Person & {
  someField: string;
};

2. 修正函数逻辑

统一属性大小写，利用in操作符直接做类型判断（或自定义类型守卫）缩小类型范围：

function myFunction(params: finalObject) {
  if ('Surname' in params) {
    return {
      Name: params.Name,
      Surname: params.Surname,
      Age: params.Age,
      someField: params.someField
    };
  } else {
    // TypeScript会自动推断这里是PersonWithFullname类型
    return {
      Name: params.Name,
      Age: params.Age,
      Fullname: params.Fullname,
      someField: params.someField
    };
  }
}

额外说明 #

• 如果不需要Age同时支持number和string，可以把BasePerson里的Age改为单一类型（比如number），让类型更严谨。
• 也可以封装自定义类型守卫函数替代in操作符，逻辑一致但复用性更强。

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