Что такое утверждения типов и когда они рискованны?

Question

Accepted Answer

**Утверждение типа** говорит компилятору «поверь мне, это значение имеет тип X» с помощью `as`. Оно **не выполняет преобразование или проверку во время выполнения** — оно только меняет, как компилятор обрабатывает значение.

```ts
const el = document.getElementById("app") as HTMLInputElement;
el.value = "hi"; // compiler now allows .value (it assumed HTMLInputElement)

const data = JSON.parse(str) as User; // assert the parsed shape
```

## Почему это рискованно

Утверждение переопределяет суждение компилятора — если вы ошибаетесь, вы получите крах во время выполнения без предупреждения:

```ts
const x = "hello" as unknown as number; // double assertion — compiler stops complaining
x.toFixed(2); // 💥 runtime error: x.toFixed is not a function
```

Утверждение не *делает* значение этим типом; оно просто отключает проверку. Вы взяли ответственность за корректность на себя, отняв её у компилятора.

## Более безопасные альтернативы

```ts
// 1. type guard — actually verify at runtime
if (typeof input === "string") { /* input is string, proven */ }

// 2. validation library (zod) for external data
const user = UserSchema.parse(data); // throws if shape is wrong
```

## `as const` — это другое

```ts
const point = { x: 1 } as const; // not a risky cast — narrows to literal/readonly
```

## Почему это важно

Утверждения иногда необходимы (DOM API, сужение `unknown`, которое вы уже проверили), но каждое из них — место, где компилятор не может защитить вас.

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

Почему это рискованно

Более безопасные альтернативы

as const — это другое

Почему это важно

`as const` — это другое