Kaj je oblikovanje s pogodbo?

Question

Accepted Answer

**Design by Contract (DbC)** obravnava razmerje med metodo in njenim kličočem kot formalno dogovor, definiran s tremi stvarmi: **pogoji pred izvajanjem** (kaj mora zagotoviti klicatelj), **pogoji po izvajanju** (kaj metoda zagotavlja v zameno) in **invariante** (kaj ostane resnično za objekt ves čas).

## Tri obveznosti

```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
```

## V kodi

```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"
```

Če se *pogoj pred izvajanjem* ne izpolni, ima **klicatelj** napako. Če se *pogoj po izvajanju* ali *invarianta* ne izpolni, ima **metoda** napako — pogodbe natančno določijo krivdo.

## Odnos do LSP

DbC naredi Liskov natančno: podtip lahko **oslabi pogoje pred izvajanjem** in **okrepi pogoje po izvajanju**, vendar nikoli obratno. To je natanko pravilo substitucije, izraženo kot pogodbe.

## Kompromisi

```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)
```

## Zakaj je to pomembno

Pogodbe vagne predpostavke ("znesek bi moral biti pozitiven, mislim") spremenijo v eksplicitna, preverljiva pravila — in natančno določijo krivdo, ko se kaj zlomi.

So temelj Liskovove substitucije in robustne zasnove API-ja: pogodba metode je njen pravi vmesnik, bolj pošten kot sama njegova vrsta podpisa.