O que é tipagem estrutural em TypeScript?

Question

Accepted Answer

TypeScript usa **tipagem estrutural** ("duck typing"): dois tipos são compatíveis se tiverem a **mesma forma**, independentemente do nome ou onde foram declarados. Isso contrasta com tipagem *nominal* (Java, C#), onde a compatibilidade depende do nome do tipo declarado.

```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` nunca foi declarado como um `Point`, mas é aceito porque *estruturalmente* satisfaz a forma. Propriedades extras são permitidas ao passar uma variável existente.

## A exceção da verificação de propriedade em excesso

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

Objetos **literais** passados diretamente obtêm uma verificação "excess property check" mais rigorosa para capturar erros de digitação — mas atribua-o a uma variável primeiro e passa. Este é um equilíbrio deliberado entre flexibilidade e detecção de erros.

## Por que isso importa

A tipagem estrutural torna TypeScript flexível e ergonômico — você pode satisfazer uma interface sem implementá-la explicitamente, o que se adequa ao estilo de objeto literal do JavaScript.

O compromisso: tipos que acidentalmente compartilham uma forma são intercambiáveis mesmo que conceitualmente não relacionados (uma razão pela qual as pessoas usam *branded types* quando precisam de distinção semelhante a nominal).