Kaj so trditve tipov in kdaj so tvegane?

Question

Accepted Answer

**Trditev tipa** (type assertion) pove prevajalniku »zaupaj mi, ta vrednost je tipa X« z uporabo `as`. **Ne izvede nobenega pretvorjenja ali preverjanja pri izvajanju** — le spremeni, kako prevajalnik obravnava vrednost.

```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
```

## Zakaj je tvegano

Trditev preglasi presojo prevajalnika — če se motite, dobite sesutje med izvajanjem brez opozorila:

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

Trditev *ne naredi* vrednosti tistega tipa; le utišči preverjalnik. Odgovornost za pravilnost ste prevzeli od prevajalnika.

## Varnejše alternative

```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` je drugače

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

## Zakaj je to pomembno

Trditve so včasih nujne (API-ji DOM, zožanje `unknown`, ki ste ga že preverili), vendar je vsaka od njih kraj, kjer vas prevajalnik ne more zaščititi.

Prednostno uporabite tipske stražarje ali preverjanje shem za nezaupljive podatke in obravnavajte vsak `as` kot majhno, namerno »vem bolje«, v katerega ste prepričani.

Zakaj je tvegano

Varnejše alternative

as const je drugače

Zakaj je to pomembno

`as const` je drugače