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

Question

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 مع البقاء مكتوباً بالكامل.

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