TypeScript如何定义排除特定值的字符串类型？

你遇到的核心问题是：BasicContact的type定义为string时，会和Customer/Supplier的type字面量产生重叠（字面量属于string的子集），导致TypeScript无法在switch语句中正确收窄类型——它无法确定匹配'customer'或'supplier'的项到底是对应类型还是BasicContact，因此访问专属属性时会编译报错。

而Exclude<string, 'customer' | 'supplier'>无效的原因是：string是原始类型而非联合类型，Exclude对它不起作用，结果仍然是string，无法区分排除后的字符串。

以下是几种可行的解决方案：

方案1：自定义类型守卫（类型安全，推荐） #

编写类型守卫函数，明确告诉TypeScript如何识别特定类型：

type ContactBase = {
  email: string;
}

type Customer = ContactBase & {
  type: 'customer';
  accountId: number;
}

type Supplier = ContactBase & {
  type: 'supplier';
  deliveryArea: 'Europe'
}

// 定义排除特定字面量的类型（仅用于类型标注，实际仍需守卫辅助）
type BasicContact = ContactBase & {
  type: Exclude<string, 'customer' | 'supplier'>;
}

type Contact = Customer | Supplier | BasicContact;

// 类型守卫函数
function isCustomer(item: Contact): item is Customer {
  return item.type === 'customer';
}

function isSupplier(item: Contact): item is Supplier {
  return item.type === 'supplier';
}

// 遍历处理
const data: Contact[] = [
  { type: 'customer', accountId: 42, email: 'bill@corp.bzh' },
  { type: 'supplier', deliveryArea: 'Europe', email: 'support@corp.com' },
  { type: 'AnotherTypeOfContact', email: 'rene@lataupe.com' }
];

for (const item of data) {
  if (isCustomer(item)) {
    console.log(`${item.email} is a customer with account id ${item.accountId}`);
  } else if (isSupplier(item)) {
    console.log(`${item.email} is a supplier which ships in ${item.deliveryArea}`);
  } else {
    console.log(`${item.email} is a contact of type ${item.type}`);
  }
}

方案2：switch分支中使用类型断言 #

如果不想写守卫函数，可以在switch的case分支里用类型断言明确指定类型：

// 类型定义同方案1
const data: Contact[] = [
  { type: 'customer', accountId: 42, email: 'bill@corp.bzh' },
  { type: 'supplier', deliveryArea: 'Europe', email: 'support@corp.com' },
  { type: 'AnotherTypeOfContact', email: 'rene@lataupe.com' }
];

for (let i = 0; i < data.length; i++) {
  const item = data[i];

  switch (item.type) {
    case 'supplier':
      // 断言为Supplier类型
      const supplier = item as Supplier;
      console.log(`${supplier.email} is a supplier which ships in ${supplier.deliveryArea}`);
      break;
    case 'customer':
      // 断言为Customer类型
      const customer = item as Customer;
      console.log(`${customer.email} is a customer with account id ${customer.accountId}`);
      break;
    default:
      console.log(`${item.email} is a contact of type ${item.type}`)
      break;
  }
}

方案3：利用TS 4.9+的satisfies运算符（可选） #

如果使用TypeScript 4.9及以上版本，可以用satisfies确保数据符合类型定义，同时保留字面量类型信息，帮助TypeScript自动收窄：

type ContactBase = {
  email: string;
}

type Customer = ContactBase & {
  type: 'customer';
  accountId: number;
}

type Supplier = ContactBase & {
  type: 'supplier';
  deliveryArea: 'Europe'
}

type BasicContact = ContactBase & {
  type: string;
}

type Contact = Customer | Supplier | BasicContact;

// 先定义数据，用satisfies约束类型
const data = [
  { type: 'customer', accountId: 42, email: 'bill@corp.bzh' },
  { type: 'supplier', deliveryArea: 'Europe', email: 'support@corp.com' },
  { type: 'AnotherTypeOfContact', email: 'rene@lataupe.com' }
] satisfies Contact[];

// 此时遍历switch会自动收窄类型
for (const item of data) {
  switch (item.type) {
    case 'supplier':
      console.log(`${item.email} is a supplier which ships in ${item.deliveryArea}`);
      break;
    case 'customer':
      console.log(`${item.email} is a customer with account id ${item.accountId}`);
      break;
    default:
      console.log(`${item.email} is a contact of type ${item.type}`)
      break;
  }
}

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