كيف يعمل استدلال النوع (Type Inference)؟

Question

IT Interview Practice · Accepted Answer

**استدلال النوع** هو قيام TypeScript بتحديد الأنواع تلقائياً من السياق، بحيث لا تضطر إلى إضافة تعليقات توضيحية لكل شيء. يتم الاستدلال من القيم الأولية والعبارات المرجعية والاستخدام.

```ts
let x = 10;          // inferred: number
let s = "hi";        // inferred: string
const arr = [1, 2];  // inferred: number[]
const obj = { a: 1, b: "x" }; // inferred: { a: number; b: string }
```

## الاستدلال في الدوال والـ Callbacks

```ts
function double(n: number) { return n * 2; } // return inferred as number

[1, 2, 3].map(n => n * 2); // `n` inferred as number from the array — no annotation needed
```

هذا **الاستدلال السياقي** هو السبب في أن الـ callbacks نادراً ما تحتاج إلى تعليقات توضيحية للمعاملات — TypeScript يعرف أن `map` على `number[]` يمرر `number`.

## let مقابل const وتوسيع النوع

```ts
let a = "hello";     // widened to string (let can be reassigned)
const b = "hello";   // narrowed to the literal type "hello"
```

`const` يستدل بـ *النوع الحرفي* لأنه لا يمكن أن يتغير أبداً؛ `let` يتوسع إلى النوع العام. هذا مهم للـ unions:

```ts
const dir = "up";              // type "up"
let dir2 = "up";               // type string
```

## متى تضيف تعليقات توضيحية على أي حال

- معاملات الدالة (لا يمكن الاستدلال عنها).
- عندما يكون الاستدلال واسعاً جداً أو ضيقاً جداً (على سبيل المثال تريد `string` وليس الحرفي).
- الحاويات الفارغة: `const xs = []` يستدل `any[]` — أضف تعليقاً توضيحياً كـ `number[]`.

## لماذا يهم

الاستدلال يحافظ على كود TypeScript متطابقاً تقريباً مع JavaScript مع البقاء مكتوباً بالكامل.

فهم *متى* يبدأ (ومتى يتوسع) يسمح لك بإضافة تعليقات توضيحية فقط حيث يساعد بالفعل.

الاستدلال في الدوال والـ Callbacks

let مقابل const وتوسيع النوع

متى تضيف تعليقات توضيحية على أي حال

لماذا يهم

أسئلة ذات صلة