Πώς λειτουργεί η type inference;

Question

IT Interview Practice · Accepted Answer

Το **Type Inference** είναι το TypeScript που καταλαβαίνει αυτόματα τύπους από το περιεχόμενο, ώστε να μην χρειάζεται να σημειώσετε τα πάντα. Συνάγει από αρχικές τιμές, return statements και χρήση.

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

## Inference σε συναρτήσεις και 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 vs const widening

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

Το `const` συνάγει τον *κυριολεκτικό* τύπο επειδή δεν μπορεί ποτέ να αλλάξει· το `let` διευρύνεται στον γενικό τύπο. Αυτό έχει σημασία για τις ενώσεις:

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

## Πότε να σημειώσετε ούτως ή άλλως

- Παράμετροι συναρτήσεων (δεν μπορούν να συναχθούν).
- Όταν η inference είναι πολύ ευρεία/στενή (π.χ. θέλετε `string` όχι το κυριολεκτικό).
- Κενά δοχεία: `const xs = []` συνάγει `any[]` — σημειώστε ως `number[]`.

## Γιατί έχει σημασία

Η inference διατηρεί τον κώδικα TypeScript σχεδόν τόσο συνοπτικό όσο η JavaScript και παραμένει πλήρως εκτυπωμένος.

Η κατανόηση *του πότε* ενεργοποιείται (και πότε διευρύνεται) σας επιτρέπει να σημειώσετε μόνο όπου πραγματικά βοηθάει.

Inference σε συναρτήσεις και callbacks

let vs const widening

Πότε να σημειώσετε ούτως ή άλλως

Γιατί έχει σημασία

Σχετικές ερωτήσεις