Τι είναι το δομικό πληκτρολόγηση (structural typing) στο TypeScript;

Question

Accepted Answer

Το TypeScript χρησιμοποιεί **δομικό πληκτρολόγηση** ("duck typing"): δύο τύποι είναι συμβατοί εάν έχουν το ίδιο **σχήμα**, ανεξάρτητα από το όνομά τους ή τον χώρο όπου δηλώθηκαν. Αυτό έρχεται σε αντίθεση με το *ονοματιστικό* πληκτρολόγηση (Java, C#) όπου η συμβατότητα εξαρτάται από το δηλωθέν όνομα τύπου.

```ts
interface Point { x: number; y: number; }

function print(p: Point) { console.log(p.x, p.y); }

// No `: Point` annotation anywhere, but the shape matches:
const obj = { x: 1, y: 2, z: 3 };
print(obj); // ✅ works — obj has x and y (extra z is fine)
```

Το `obj` δεν δηλώθηκε ποτέ ως `Point`, αλλά γίνεται αποδεκτό γιατί *δομικά* ικανοποιεί το σχήμα. Οι πρόσθετες ιδιότητες επιτρέπονται κατά τη μεταβίβαση μιας υπάρχουσας μεταβλητής.

## Η εξαίρεση του ελέγχου περίσσειας ιδιοτήτων

```ts
print({ x: 1, y: 2, z: 3 }); // ❌ Error: 'z' does not exist in type 'Point'
```

Τα αντικείμενα **κυριολεκτικά** που περνούν απευθείας λαμβάνουν ένα αυστηρότερο "έλεγχο περίσσειας ιδιοτήτων" για να συλλάβουν τυπογραφικά λάθη — αλλά ανατέστε το σε μια μεταβλητή πρώτα και θα περάσει. Αυτό είναι μια σκόπιμη ισορροπία μεταξύ ευελιξίας και πιάσιμο λαθών.

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

Το δομικό πληκτρολόγηση κάνει το TypeScript ευέλικτο και εργονομικό — μπορείτε να ικανοποιήσετε μια διεπαφή χωρίς να την εφαρμόσετε ρητά, κάτι που ταιριάζει με το στυλ αντικειμένων-κυριολεκτικών του JavaScript.

Η αντιστάθμιση: τύποι που τυχαίνει να μοιράζονται ένα σχήμα είναι εναλλάξιμοι ακόμη και αν δεν σχετίζονται εννοιολογικά (ένας λόγος για τον οποίο οι άνθρωποι χρησιμοποιούν *branded types* όταν χρειάζονται ονοματιστική διάκριση).