Tür iddiası (type assertion) nedir ve ne zaman risklidir?

Question

Accepted Answer

Bir **tür iddiası**, `as` kullanarak derleyiciye "bana güven, bu değer X tipidir" der. **Hiçbir çalışma zamanı dönüşümü veya kontrol yapmaz** — yalnızca derleyicinin değeri nasıl ele aldığını değiştirir.

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

## Neden risklidir

Bir iddia derleyicinin yargısını geçersiz kılar — yanılırsanız, uyarı olmadan çalışma zamanı hatası alırsınız:

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

Iddia değeri o tip *yapmaz*; sadece kontrol cihazını susturur. Derleyiciye olan doğruluk sorumluluğunu üstlenmiş oldunuz.

## Daha güvenli alternatifler

```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` farklıdır

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

## Neden önemli

İddialar bazen gereklidir (DOM API'leri, zaten kontrol ettiğiniz `unknown` daraltmak), ancak her biri derleyicinin sizi koruyamayacağı bir yerdir.

Güvenilmeyen veriler için tür korumaları veya şema doğrulamasını tercih edin ve her `as` öğesini küçük, kasıtlı bir "daha iyi biliyorum" olarak değerlendirin.

Neden risklidir

Daha güvenli alternatifler

as const farklıdır

Neden önemli

`as const` farklıdır