0Pricing
TypeScript Academy · 课时

谓词函数与 satisfies 运算符

使用谓词返回类型编写自定义类型守卫，并通过 satisfies 运算符校验对象，同时避免类型扩大。

谓词函数与 satisfies 运算符 是 CoddyKit 上的免费 TypeScript Academy 课时。 这是第 2 节课，共 3 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 TypeScript Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 TypeScript Academy 课程共包含 3 节课。

简介

目标：构建能够收窄类型的谓词函数（例如 value is T），并使用 satisfies 在不扩大类型的情况下检查形状。

  • 自定义守卫 = 可复用的运行时检查
  • satisfies = 编译时形状检查，同时保留字面量

谓词基础

谓词函数返回 x is Type。检查完成后，变量会在该作用域中被收窄。

function isNumber(x: unknown): x is number {
  return typeof x === "number"
}

function demo(a: unknown) {
  if (isNumber(a)) {
    // inside: a is number
    return a.toFixed(2)
  }
  return "not a number"
}

形状守卫

守卫会检查对象的形状；如果检查通过，类型就会被收窄为 User，并可以安全使用。

type User = { id: number; name: string }

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

function printUser(u: unknown) {
  if (isUser(u)) {
    console.log(u.name.toUpperCase())
  } else {
    console.log("invalid user")
  }
}

跨越边界

守卫可确保数据安全地跨越函数边界：外部是 unknown，内部是受控的 User。

function fetchAndPrint(json: string) {
  const value: unknown = JSON.parse(json)
  if (isUser(value)) {
    // value narrowed to User
    console.log(`User #${value.id}: ${value.name}`)
  } else {
    console.log("Bad payload")
  }
}

satisfies（配置）

satisfies 会检查表达式是否符合 Confige，同时保留变量的字面量类型。

type Config = { mode: "dev" | "prod"; retries: number }

const cfg = {
  mode: "prod",
  retries: 3,
  // timeout: 1000, // Error with satisfies if not in type
} satisfies Config

// cfg.mode is still the literal "prod" (not widened to string)
// and adding unknown keys raises an error at compile-time

satisfies（数组）

在数组中，使用 as const satisfies 验证元素形状；字面量值会得到保留，并且自动补全功能会得到增强。

type Route = { path: `/${string}`; method: "GET" | "POST" }

const routes = [
  { path: "/", method: "GET" },
  { path: "/login", method: "POST" }
] as const satisfies ReadonlyArray<Route>

// each element is checked against Route, literals preserved for DX

satisfies 检查

快速检查：satisfies 实际上做了什么？

回顾

回顾：谓词（x is T）定义契约；satisfies 确认形状并保留字面量类型。请将二者结合使用。

常见问题解答

「谓词函数与 satisfies 运算符」课时是免费的吗？

是的 — 「谓词函数与 satisfies 运算符」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 TypeScript Academy 课程的其余内容，请升级到 CoddyKit PRO。 TypeScript Academy 课程共包含 3 节课。

「谓词函数与 satisfies 运算符」这节课中我会学到什么？

使用谓词返回类型编写自定义类型守卫，并通过 satisfies 运算符校验对象，同时避免类型扩大。 你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 TypeScript Academy 需要有经验吗？

无需任何先前经验。CoddyKit 上的 TypeScript Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。 这是第 2 节课，共 3 节。

「谓词函数与 satisfies 运算符」课时需要多长时间？

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。

我能在这节 TypeScript Academy 课中编写并运行代码吗？

能。每节 TypeScript Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

  1. 穷尽式 switch 与 never 检查
  2. 谓词函数与 satisfies 运算符
  3. 跨函数边界细化联合类型
← 返回 TypeScript Academy