Mikä on rakenteellinen typitys (structural typing) TypeScriptissa?

Question

Accepted Answer

TypeScript käyttää **rakenteellista typitystä** ("duck typing"): kaksi tyyppiä ovat yhteensopivia, jos niillä on sama **muoto**, niiden nimestä tai deklarointikohdasta riippumatta. Tämä on ristiriidassa *nimellisen* typityksen (Java, C#) kanssa, jossa yhteensopivuus riippuu julistetusta tyypinimestä.

```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` ei koskaan julistettu `Point`-tyypiksi, mutta se hyväksytään, koska se *rakenteellisesti* täyttää muodon. Ylimääräiset ominaisuudet ovat sallittuja olemassa olevan muuttujan välityksessä.

## Ylimääräisen ominaisuuden tarkistuksen poikkeus

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

Suoraan välitettävät objekti **kirjallisuudet** saavat tiukemman "ylimääräisen ominaisuuden tarkistuksen" kirjoitusvirheiden havaitsemiseksi — mutta liitä se muuttujaan ensin niin se pääsee läpi. Tämä on tietoinen tasapaino joustavuuden ja virheiden välillä.

## Miksi sillä on merkitystä

Rakenteellinen typitys tekee TypeScriptistä joustavan ja ergonomisen — voit toteuttaa rajapinnan ilman sen selkeää toteuttamista, mikä sopii JavaScriptin objekti-kielelliseen tyyliin.

Kompromissi: tyypit, joilla sattuu olemaan sama muoto, ovat vaihdettavissa vaikka ne olisivat käsitteellisesti toisiinsa liittymättömiä (syy siihen, miksi ihmiset käyttävät *branded types* -tyyppejä, kun he tarvitsevat nimellisen kaltaista erottuvuutta).