Type assertions भनेको के हो र तिनीहरू कहिले जोखिमपूर्ण हुन्छन्?

Question

Accepted Answer

एक **type assertion** ले compiler लाई "मलाई विश्वास गर, यो मान X प्रकारको हो" भन्छ `as` प्रयोग गरेर। यसले **कुनै runtime conversion वा checking गर्दैन** — यो केवल compiler ले मान लाई कसरी व्यवहार गर्छ भन्ने कुरा परिवर्तन गर्छ।

```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 ले compiler को판断लाई अवरुद्ध गर्छ — यदि तपाई गलत हुनुहुन्छ, तपाई कुनै पूर्वचेतना बिना runtime crash पाउनुहुन्छ:

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

Asserting ले मान लाई त्यो प्रकार बनाउँदैन; यो केवल checker लाई मौन राख्छ। तपाईले compiler बाट सही हुने जिम्मेवारी लिएको हुनुहुन्छ।

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

```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` लाई संकीर्ण गर्ने जो तपाईले पहिले नै जाँच गरेको हुनुहुन्छ), तर प्रत्येक एक यो ठाउँ हो जहाँ compiler ले तपाईलाई सुरक्षित गर्न सक्दैन।

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

यो किन जोखिमपूर्ण छ

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

as const फरक छ

यो किन महत्त्वपूर्ण छ

`as const` फरक छ