Što je Design by Contract?

Question

Accepted Answer

**Design by Contract (DbC)** tretira odnos između metode i njezinog pozivatelja kao formalni ugovor, definiran s tri stvari: **preduslovi** (što pozivatelj mora jamčiti), **postuvjeti** (što metoda zauzvrat jamči), i **invarijante** (što ostaje istinito za objekt u svakom trenutku).

## Tri obveze

```text
PRECONDITION  → caller's duty: inputs/state the method requires to run correctly
POSTCONDITION → method's duty: what it promises on return (if precondition held)
INVARIANT     → always-true property of the object, before and after every method
```

## In code

```python
class Account:
    def __init__(self, balance):
        self._balance = balance
        self._check_invariant()

def withdraw(self, amount):
        assert amount > 0, "PRE: amount must be positive"        # precondition
        assert amount <= self._balance, "PRE: sufficient funds"  # precondition
        old = self._balance
        self._balance -= amount
        assert self._balance == old - amount, "POST: balance reduced"  # postcond
        self._check_invariant()

def _check_invariant(self):
        assert self._balance >= 0, "INVARIANT: balance never negative"
```

Ako se *preduslov* ne ispuni, **pozivatelj** ima grešku. Ako se *postuvjet* ili *invarijanta* ne ispune, **metoda** ima grešku — ugovori točno određuju odgovornost.

## Relationship to LSP

DbC čini Liskov preciznim: podtip može **ослабити preduvjete** i **pojačati postuvjete**, ali nikad obrnuto. To je upravo pravilo zamjenjivosti, izrečeno kao ugovori.

## Trade-offs

```text
✓ Bugs surface at the boundary, with clear blame   ✓ Contracts double as documentation
⚠️ Runtime checks cost performance (often disabled in prod via assertions)
⚠️ Not all languages enforce it natively (Eiffel does; most use asserts/validation)
```

## Zašto je važno

Ugovori vage pretpostavke ("iznos bi trebao biti pozitivan, mislim") pretvaraju u eksplicitna, provjeriva pravila — i točno određuju krivnju kada se nešto slomi.

Oni su temelj Liskovove supstitucije i robusne design API-ja: ugovor metode je njezino pravo sučelje, iskrenije od samo njezine type signature.