Kas yra struktūrinis tipavimas TypeScript?

Question

Accepted Answer

TypeScript naudoja **struktūrinį tipavimą** ("duck typing"): du tipai yra suderinami, jei jie turi **tą pačią formą**, nepaisant jų pavadinimo ar deklaracijos vietos. Tai skiriasi nuo *nominalaus* tipavimo (Java, C#), kuriame suderinamumas priklauso nuo deklaruoto tipo pavadinimo.

```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` niekada nebuvo deklaruotas kaip `Point`, tačiau jis priimamas, nes *struktūriškai* atitinka formą. Papildomos savybės leidžiamos perduodant esamą kintamąjį.

## Perteklinės savybės patikros išimtis

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

Object **literalams**, perduotiems tiesiogiai, taikoma griežtesnė "excess property check" patikra, skirta suklaidoms pagauti — tačiau jei pirmiausia priskirkite jį kintamajam, jis praeis. Tai sąmoningas balansas tarp lankstumu ir klaidų gaudymo.

## Kodėl tai svarbu

Struktūrinis tipavimas daro TypeScript lanksčią ir ergonomišką — galite patenkinti sąsają, neišreikšdami jos, kas puikiai tinka JavaScript objekto literalo stilui.

Kompromisas: tipai, kurie atsitiktinai turi tą pačią formą, yra pakaitūs, net jei konceptualiai nesusiję (dėl to žmonės naudoja *branded types*, kai jiems reikia nominalaus panašaus skirtingumo).