0Pricing
TypeScript Academy · Урок

Функции-предикаты и оператор satisfies

Пишите пользовательские защиты типов с возвращаемыми типами-предикатами и проверяйте объекты оператором satisfies без расширения типов.

«Функции-предикаты и оператор satisfies» — бесплатный урок TypeScript Academy на CoddyKit. Это урок 2 из 3. Ты можешь прочитать весь урок бесплатно ниже — а потом практиковать его прямо в браузере с встроенным редактором кода и ИИ-репетитором 24/7. Это часть пути обучения 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 проверяет соответствие выражения типу конфигурации, но сохраняет литеральный тип переменной.

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» бесплатно доступен здесь в веб-версии. Чтобы практиковать его интерактивно (встроенный редактор кода и ИИ-репетитор 24/7) и разблокировать остальной курс TypeScript Academy, подпишись на CoddyKit PRO. Курс TypeScript Academy содержит 3 уроков всего.

Чему я научусь в уроке «Функции-предикаты и оператор satisfies»?

Пишите пользовательские защиты типов с возвращаемыми типами-предикатами и проверяйте объекты оператором satisfies без расширения типов. Ты практикуешь TypeScript Academy с помощью реального кода, который запускаешь прямо в браузере, и ИИ-репетитор 24/7 отвечает на твои вопросы во время урока.

Нужен ли мне опыт, чтобы начать TypeScript Academy?

Предыдущий опыт не требуется. TypeScript Academy на CoddyKit структурирован для всех уровней — от новичков до продвинутых, поэтому ты можешь начать отсюда или с самого начала и учиться в своем темпе. Это урок 2 из 3.

Сколько времени занимает урок «Функции-предикаты и оператор satisfies»?

Большинство уроков CoddyKit занимают около 5–10 минут. Каждый из них компактный и интерактивный, поэтому ты постоянно делаешь прогресс и продолжаешь с того же места в веб-версии и приложении.

Можно ли писать и запускать код в этом уроке TypeScript Academy?

Да. Каждый урок TypeScript Academy включает встроенный редактор кода, поэтому ты пишешь и запускаешь реальный код прямо в браузере и получаешь моментальную обратную связь от AI — локальная установка не требуется.

Все уроки этого курса

  1. Полные switch и проверки с never
  2. Функции-предикаты и оператор satisfies
  3. Уточнение объединений на границах функций
← Назад к TypeScript Academy