TypeScript类型守卫在复杂业务逻辑中的推断技巧

在处理包含多态数据结构的复杂业务逻辑时，TypeScript 的联合类型往往会导致类型宽泛，使得编译器无法精确识别当前对象的属性。为了在运行时确保类型安全并自动收窄类型范围，我们需要掌握类型守卫的推断技巧。本文将以“支付网关回调处理”为例，演示如何从简单的属性检查进阶到自定义类型守卫。

1. 使用 in 操作符进行基础属性判断

当处理来自后端的异构对象时，最直接的方式是检查特定属性是否存在。

定义一个包含多种支付方式的联合类型。

interface AlipayResponse {
  type: 'alipay';
  tradeNo: string;
  receiptAmount: number;
}

interface WechatPayResponse {
  type: 'wechat';
  transactionId: string;
  openid: string;
}

type PaymentCallback = AlipayResponse | WechatPayResponse;

编写处理函数，使用 in 关键字判断属性归属。

function processPayment(callback: PaymentCallback) {
  if ('receiptAmount' in callback) {
    // TypeScript 自动推断 callback 为 AlipayResponse
    console.log(`支付宝金额: ${callback.receiptAmount}`);
  } else if ('openid' in callback) {
    // TypeScript 自动推断 callback 为 WechatPayResponse
    console.log(`微信用户: ${callback.openid}`);
  }
}

注意，in 操作符会检查对象及其原型链，若需精确匹配自身属性，建议配合 hasOwnProperty 使用。

2. 定义自定义类型守卫函数

当类型判断逻辑较为复杂（例如涉及深层次对象或数值范围校验）时，简单的 if 语句难以复用。此时需要定义返回值为 value is Type 的谓词函数。

创建一个类型守卫函数，用于识别“未知的”响应数据是否符合支付宝接口规范。

function isAlipay(data: unknown): data is AlipayResponse {
  return (
    typeof data === 'object' &&
    data !== null &&
    (data as AlipayResponse).type === 'alipay' &&
    typeof (data as AlipayResponse).tradeNo === 'string'
  );
}

应用该守卫处理 unknown 类型的输入，确保类型安全。

function handleUnknownResponse(rawData: unknown) {
  if (isAlipay(rawData)) {
    // 此处 rawData 被明确推断为 AlipayResponse
    console.log(rawData.receiptAmount.toFixed(2));
  } else {
    console.log('非支付宝数据');
  }
}

通过这种方式，将复杂的校验逻辑封装在函数内部，业务代码保持整洁且类型推断精准。

3. 利用判别联合实现自动推断

如果在数据结构设计阶段有控制权，应优先使用判别联合模式。通过在类型中增加一个公共的字面量属性，让 TypeScript 根据 switch 或 if 语句自动收窄类型。

重构接口，确保所有类型都包含 type 字段，且值为字面量。

interface ApiResponseSuccess {
  status: 'success';
  data: { id: number; result: string };
}

interface ApiResponseError {
  status: 'error';
  code: number;
  message: string;
}

type ApiResponse = ApiResponseSuccess | ApiResponseError;

使用 switch 语句处理响应，无需额外的类型断言。

function analyzeResponse(res: ApiResponse) {
  switch (res.status) {
    case 'success':
      // res 自动推断为 ApiResponseSuccess
      console.log(res.data.result);
      break;
    case 'error':
      // res 自动推断为 ApiResponseError
      console.error(res.message);
      break;
    default:
      // 穷尽性检查，确保处理了所有情况
      const _exhaustiveCheck: never = res;
      return _exhaustiveCheck;
  }
}

4. 处理数组过滤中的类型推断

在过滤数组时，TypeScript 的 .filter 方法有时无法根据回调函数的布尔返回值自动更新数组元素的类型。我们需要显式地告诉编译器过滤后的类型。

定义一个包含混合类型的列表。

const items = (Math.random() > 0.5 ? 'hello' : 123) as string | number;
const mixedArray: Array<string | number> = [items, 'world', 42, 'test'];

执行过滤操作，并使用“类型谓词”作为 is 类型守卫。

function isString(value: unknown): value is string {
  return typeof value === 'string';
}

// 错误示例：filter 不会自动收窄类型
// const strings = mixedArray.filter(isString); 
// strings 仍然是 (string | number)[]

// 正确做法：显式断言或在函数中定义守卫
const strings = mixedArray.filter(isString) as string[];

// 或者使用 Array.prototype.find 的推断
const firstString = mixedArray.find(isString); // 推断为 string | undefined

为了更好地理解类型守卫在逻辑流转中的作用，可以参考下面的判断流程图：

5. 类型守卫技巧对比

为了在不同场景下选择最合适的守卫方式，请参考下表对比不同方法的优劣势。

掌握这些技巧后，面对复杂业务中的多态数据，即可写出既健壮又易于维护的类型安全代码。