TypeScript Academy · Урок

satisfies и утверждение as

Узнайте, почему satisfies безопаснее приведения с помощью as

«satisfies и утверждение as» — бесплатный урок TypeScript Academy на CoddyKit. Это урок 3 из 4. Ты можешь прочитать весь урок бесплатно ниже — а потом практиковать его прямо в браузере с встроенным редактором кода и ИИ-репетитором 24/7. Это часть пути обучения TypeScript Academy, и твой прогресс синхронизируется между веб-версией и приложением CoddyKit. Курс TypeScript Academy содержит 4 уроков всего.

Что делает утверждение типа

Утверждение as сообщает компилятору, что в отношении типа ему следует доверять Вам. Оно не проверяет, действительно ли значение соответствует типу, а лишь переопределяет выведенный тип.

const value = { color: "red" } as { color: string; size: number };
// No error even though size is missing!
console.log(value.color);

Утверждение типа обходит защиту

Поскольку as пропускает проверку, оно может скрыть настоящие ошибки. В приведённом выше объекте отсутствует size, однако TypeScript не сообщает об этом.

type Config = { color: string; size: number };
const broken = { color: "red" } as Config;
// broken.size is typed number but is actually undefined at runtime
console.log(broken.size); // undefined

satisfies выполняет проверку

Замена as на satisfies превращает эту незаметную ошибку в понятную ошибку компиляции, поскольку объект действительно должен соответствовать типу.

type Config = { color: string; size: number };
// const c = { color: "red" } satisfies Config; // Error: size missing
const c = { color: "red", size: 10 } satisfies Config;
console.log(c.size);

Утверждение типа может принудительно задать неверный тип

С помощью двойного утверждения можно даже указать полностью несовместимые типы, что опасно и должно применяться редко.

const n = "hello" as unknown as number;
// n is typed number but is actually a string
console.log(typeof n); // "string"

satisfies не искажает типы значений

В отличие от as, satisfies нельзя использовать, чтобы заявить о несовместимом типе. Оно лишь подтверждает, что значение уже соответствует типу.

// const x = "hello" satisfies number; // Error: string not assignable to number
const y = 42 satisfies number;
console.log(y);

Утверждение типа теряет проверку лишних свойств

При использовании as лишние ключи и ключи с опечатками проходят незамеченными. satisfies по-прежнему отмечает их и помогает обнаруживать опечатки.

type Config = { mode: string };
const withAs = { mdoe: "dark" } as Config;   // typo passes silently
// const withSat = { mdoe: "dark" } satisfies Config; // Error: mdoe
console.log(JSON.stringify(withAs));

Когда утверждение типа действительно необходимо

У as есть оправданные применения: например, сужение типа unknown после проверки во время выполнения или работа с DOM. Но для объектов конфигурации предпочитайте satisfies.

const data: unknown = JSON.parse("{ }");
// After your own runtime validation, as can express the result.
const obj = data as Record<string, unknown>;
console.log(typeof obj);

Предпочитайте satisfies для конфигурации

Для конфигураций, карт маршрутов и палитр satisfies обеспечивает проверку и точное выведение типов. as не обеспечивает ни проверки, ни гарантии.

type Palette = Record<string, string>;
const safe = { primary: "blue", accent: "gold" } satisfies Palette;
console.log(safe.primary);

Конструкция as const устроена иначе

Не путайте as const с утверждением типа. as const сужает типы до литералов и делает значения доступными только для чтения; это безопасная конструкция, которая часто используется вместе с satisfies.

type Nums = readonly number[];
const xs = [1, 2, 3] as const satisfies Nums;
console.log(xs[0]);

Кратко о рисках

as: переопределяет решения компилятора, не выполняет проверку и может скрыть ошибки. satisfies: взаимодействует с компилятором, выполняет полную проверку и сохраняет выведение типов. По умолчанию выбирайте satisfies.

type Config = { level: number };
// const risky = {} as Config; // compiles, level is undefined
const safe = { level: 1 } satisfies Config;
console.log(safe.level);

Замена утверждения типа на satisfies

Полезная привычка: увидев as SomeObjectType у литерала, которым Вы управляете, попробуйте заменить его на satisfies и исправить все появившиеся ошибки.

type Config = { url: string; retries: number };
// Before: const c = { url: "/api" } as Config;
const c = { url: "/api", retries: 3 } satisfies Config;
console.log(c.url, c.retries);

Быстрая проверка: satisfies и утверждение типа

Проверьте, понимаете ли Вы разницу между satisfies и утверждением типа.

Итоги: satisfies и утверждение типа

Вы узнали, что as обходит проверки и может скрывать ошибки, а satisfies проверяет значение и сохраняет точное выведение типов. Для управляемых Вами объектов конфигурации предпочитайте satisfies.

type Config = { color: string; size: number };
const c = { color: "red", size: 10 } satisfies Config;
console.log(c.color, c.size);

Часто задаваемые вопросы

Урок «satisfies и утверждение as» бесплатный?

Да — полный текст урока «satisfies и утверждение as» бесплатно доступен здесь в веб-версии. Чтобы практиковать его интерактивно (встроенный редактор кода и ИИ-репетитор 24/7) и разблокировать остальной курс TypeScript Academy, подпишись на CoddyKit PRO. Курс TypeScript Academy содержит 4 уроков всего.

Чему я научусь в уроке «satisfies и утверждение as»?

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

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

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

Сколько времени занимает урок «satisfies и утверждение as»?

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

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

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

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

← Назад к TypeScript Academy