რა არის სტრუქტურული typing TypeScript-ში?

Question

Accepted Answer

TypeScript იყენებს **სტრუქტურულ typing-ს** ("duck typing"): ორი ტიპი თავსებადია, თუ მათ აქვთ **ერთი და იგივე ფორმა**, მათი სახელის ან დეკლარაციის ადგილის მიუხედავად. ეს განსხვავდება *nominal* 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'
```

Object **literals**, რომლებიც პირდაპირ გადაეცემა, მიიღებს უფრო მკაცრ "excess property check"-ს შეცდომების დასაჭერად — მაგრამ თუ ამას ჯერ ცვლადს მივანიჭებთ, ეს გამოდის. ეს არის ღრმად განზრახული ბალანსი მოქნილობისა და შეცდომების დაჭერის მიმართ.

## რატომ არის ეს მნიშვნელოვანი

სტრუქტურული typing TypeScript-ს მოქნილი და ერგონომიული ხდის — თქვენ შეგიძლიათ აკმაყოფილოთ ინტერფეისი მისი გამოშვების გარეშე, რაც JavaScript-ის object-literal სტილის შესაფერი.

ტრეიდ-ოფი: ტიპები, რომლებიც დაკავშირებით იგივე ფორმა აქვთ, ურთიერთშემცვლელი არიან თუნდაც კონცეპტუალურად დაკავშირებული არ იყოს (ამის გამო ადამიანი იყენებენ *branded types*-ს, როცა სჭირდებათ nominal-ისთან მსგავსი განსხვავება).