什么是用户定义的类型守卫？

Question

什么是用户定义的类型守卫？

IT Interview Practice · Accepted Answer

**用户定义的类型守卫**是一个返回类型为**类型谓词**（`x is T`）的函数。当它返回 `true` 时，编译器会在调用代码中将参数缩小到 `T` — 让你能够封装自定义的运行时检查。

```ts
interface Cat { meow(): void; }
interface Dog { bark(): void; }

// the magic is the return type `pet is Cat`, not just `boolean`
function isCat(pet: Cat | Dog): pet is Cat {
  return "meow" in pet;
}

function speak(pet: Cat | Dog) {
  if (isCat(pet)) {
    pet.meow(); // ✅ narrowed to Cat
  } else {
    pet.bark(); // ✅ narrowed to Dog
  }
}
```

如果没有 `pet is Cat` 谓词，`isCat` 返回 `boolean` 会*无法*缩小 `pet` 的类型 — 编译器在 `if` 内仍然会看到 `Cat | Dog`。谓词正是教会编译器的东西。

## 验证来自外部的未知数据

```ts
interface User { id: number; name: string; }

function isUser(x: unknown): x is User {
  return (
    typeof x === "object" && x !== null &&
    typeof (x as any).id === "number" &&
    typeof (x as any).name === "string"
  );
}

const data: unknown = await res.json();
if (isUser(data)) data.name; // ✅ safely typed as User
```

## 注意事项

编译器**信任**你的谓词 — 如果函数体的逻辑有误，你会得到不安全的类型缩小。对于复杂的数据结构，使用 schema 验证器（如 zod）可以为你生成正确的守卫。

## 为什么这很重要

类型守卫让你能够将任意的运行时检查转化为可复用的缩小函数 — 对于在 API 边界验证 `unknown` 数据和区分联合类型成员至关重要，尤其是当简单的 `typeof`/`in` 检查本身不够用的时候。

相关问题

验证来自外部的未知数据

注意事项

为什么这很重要