टाइप assertions क्या हैं और वे कब जोखिम भरे होते हैं?

Question

IT Interview Practice · Accepted Answer

एक **टाइप assertion** कंपाइलर को बताता है "मुझ पर विश्वास करो, यह मान X प्रकार का है" `as` का उपयोग करके। यह **कोई runtime रूपांतरण या जांच नहीं करता** — यह केवल बदलता है कि कंपाइलर मान को कैसे मानता है।

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

## यह जोखिम भरा क्यों है

एक assertion कंपाइलर के निर्णय को override करता है — यदि आप गलत हैं, तो आपको कोई चेतावनी के बिना runtime क्रैश मिलता है:

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

Assertion मान को वह प्रकार *नहीं बनाता*; यह केवल checker को शांत करता है। आपने कंपाइलर से सही होने की जिम्मेदारी ले ली है।

## सुरक्षित विकल्प

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

## यह क्यों महत्वपूर्ण है

Assertions कभी-कभी आवश्यक होते हैं (DOM APIs, `unknown` को संकीर्ण करना जिसे आपने पहले ही जांच लिया है), लेकिन प्रत्येक एक जगह है जहां कंपाइलर आपकी रक्षा नहीं कर सकता।

अविश्वसनीय डेटा के लिए type guards या schema validation पसंद करें, और प्रत्येक `as` को एक छोटी, जानबूझकर "मुझे बेहतर पता है" के रूप में मानें जिसके बारे में आप निश्चित होना चाहिए।

यह जोखिम भरा क्यों है

सुरक्षित विकल्प

as const अलग है

यह क्यों महत्वपूर्ण है

संबंधित प्रश्न

`as const` अलग है