嘿，这个问题挺典型的——TypeScript的结构类型系统有时候会让你觉得“怎么还能这么玩”，其实是因为它默认的联合类型检查是“宽松”的：只要对象满足联合类型中至少一个成员的结构要求，就会被认为是合法的。你写的那个payment对象虽然同时有email（属于PayPal）和cardNumber/securityCode（属于CreditCard），但因为它满足PayPal的结构要求（有email），所以TypeScript没报错，但这显然不是你想要的“严格二选一”效果。

解决方法1：判别式联合（Discriminated Unions） #

这是TypeScript里实现严格互斥联合类型最常用的方案，核心是给每个接口加一个唯一的字面量类型字段，让TypeScript能明确区分不同类型。

示例代码 #

// 给每个接口添加判别式字段作为唯一标识
interface PayPal {
  type: 'paypal';
  email: string;
  someCode: string;
}

interface CreditCard {
  type: 'credit-card';
  cardNumber: string;
  securityCode: string;
}

// 定义带判别式的联合类型
type PaymentMethod = PayPal | CreditCard;

// ✅ 合法的PayPal对象
const validPayPal: PaymentMethod = {
  type: 'paypal',
  email: 'd@d.d',
  someCode: 'xyz123'
};

// ✅ 合法的CreditCard对象
const validCreditCard: PaymentMethod = {
  type: 'credit-card',
  cardNumber: '1234',
  securityCode: 'abc'
};

// ❌ 非法！TypeScript会直接报错（指定paypal类型却混入信用卡字段）
const invalidPayment: PaymentMethod = {
  type: 'paypal',
  email: 'd@d.d',
  cardNumber: '1234',
  securityCode: 'abc'
};

解决方法2：用never类型实现互斥属性 #

如果你不想加额外的判别式字段，可以通过never类型来“禁用”另一种类型的属性，强制对象只能属于其中一种结构：

interface PayPal { email: string; someCode: string; }
interface CreditCard { cardNumber: string; securityCode: string; }

// 定义严格互斥的类型：PayPal类型不能有CreditCard的属性，反之亦然
type StrictPayPal = PayPal & { cardNumber?: never; securityCode?: never };
type StrictCreditCard = CreditCard & { email?: never; someCode?: never };
type StrictPaymentMethod = StrictPayPal | StrictCreditCard;

// ❌ 非法！混合字段会直接报错
const invalid: StrictPaymentMethod = {
  email: 'd@d.d',
  cardNumber: '1234',
  securityCode: 'abc'
};

严格约束行为的意义 #

1. 提前拦截逻辑错误：比如支付场景中，一个支付请求不可能同时是PayPal和信用卡，混合字段会导致后端处理混乱，严格约束能在编译期就发现这类问题，避免运行时bug。
2. 类型安全的分支处理：用判别式联合后，TypeScript会在分支判断中自动推断类型，比如：

   function processPayment(method: PaymentMethod) {
     if (method.type === 'paypal') {
       // 这里TypeScript明确知道method是PayPal类型，可安全访问email和someCode
       console.log('Processing PayPal payment:', method.email);
     } else {
       // 自动推断为CreditCard类型
       console.log('Processing credit card:', method.cardNumber);
     }
   }
   

3. 明确业务边界：让代码意图更清晰——哪些字段属于哪种类型，避免模糊的混合结构，提升代码可读性和维护性。

适用场景 #

• 支付系统：区分不同的支付方式（PayPal、信用卡、数字钱包等），确保每个支付请求只能是一种类型。
• 表单/数据提交：比如个人信息表单和企业信息表单，字段完全不同，严格约束避免提交混合数据。
• 状态管理（如Redux）：不同的Action类型有不同的Payload，用判别式联合能确保Action结构正确，避免dispatch错误的Action。
• API请求参数：不同的接口需要不同的参数，严格约束能避免传错参数导致接口报错。

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