Qual é a diferença entre relações is-a e has-a?

Question

Accepted Answer

**Is-a** é uma relação de *tipo* — modelada com **inheritance** (um `Car` *is a* `Vehicle`). **Has-a** é uma relação de *composição* — modelada com **composition** (um `Car` *has an* `Engine`). Escolher a correta é uma decisão de modelagem essencial.

## Os dois relacionamentos

```java
// IS-A → inheritance
class Vehicle { void move() {} }
class Car extends Vehicle { }        // a Car IS A Vehicle

// HAS-A → composition
class Engine { void start() {} }
class Car2 {
    private Engine engine = new Engine();   // a Car HAS AN Engine
    void start() { engine.start(); }        // delegate to the part
}
```

## O teste clássico

Pergunte a si mesmo: "X *é um tipo de* Y, ou X *possui um* Y?"

```text
A Dog        IS-A Animal        → inheritance ✅
A Car        HAS-A Engine       → composition ✅
A Square     IS-A Shape         → inheritance ✅
A Manager    HAS Employees      → composition (a list) ✅
A Stack      HAS-A list (not IS-A) → composition (see earlier pitfall) ✅
```

## Armadilha

As pessoas recorrem à inheritance para *reutilizar código*, mesmo quando o relacionamento é realmente has-a. Se você nunca substituiria a subclasse pela base em todos os lugares, provavelmente não é is-a — use composition.

## Por que isso importa

Esta distinção é a regra prática de decisão por trás de "prefira composition em vez de inheritance": escolha o relacionamento que é verdadeiro, não aquele que poupa algumas linhas.

Fazer isso corretamente mantém as hierarquias rasas e honestas, e previne violações de Liskov onde um "subtipo" não pode realmente se substituir ao seu pai.