Was sind Type Assertions und wann sind sie riskant?

Question

Accepted Answer

Eine **Type Assertion** teilt dem Compiler mit "vertrauen Sie mir, dieser Wert ist vom Typ X" mittels `as`. Sie führt **keine Runtime-Konvertierung oder -Überprüfung durch** — sie ändert nur, wie der Compiler den Wert behandelt.

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

## Warum es wichtig ist

Eine Assertion außer Kraft setzt das Urteilsvermögen des Compilers — wenn Sie unrecht haben, erhalten Sie einen Runtime-Absturz ohne Warnung:

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

Die Assertion macht den Wert nicht zu diesem Typ; sie stummt nur die Überprüfung ab. Sie haben die Verantwortung für die Korrektheit vom Compiler übernommen.

## Sicherere Alternativen

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

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

## Warum es wichtig ist

Assertions sind manchmal notwendig (DOM-APIs, Eingrenzung von `unknown`, das Sie bereits überprüft haben), aber jede einzelne ist ein Ort, an dem der Compiler Sie nicht schützen kann.

Ziehen Sie Type Guards oder Schema-Validierung für nicht vertrauenswürdige Daten vor, und behandeln Sie jedes `as` als ein kleines, absichtliches "Ich weiß es besser", das Sie sicher sein müssen.

Warum es wichtig ist

Sicherere Alternativen

as const ist anders

Warum es wichtig ist

`as const` ist anders