Çfarë është projektimi sipas kontratës?

Question

Accepted Answer

**Design by Contract (DbC)** i trajton marrëdhëniet midis një metode dhe thirrësit të saj si një marrëveshje formale, e përcaktuar nga tre gjëra: **përparësimet** (çfarë duhet të garantojë thirrësi), **postpërparësimet** (çfarë garanton metoda në këmbim) dhe **invariantet** (çfarë mbetet e vërtetë për objektin gjatë gjithë kohës).

## Tre obligimet

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

## Në kod

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

Nëse një *përparësi* dështon, **thirrësi** ka gabimin. Nëse një *postpërparësi* ose *invariant* dështon, **metoda** ka gabimin — kontratrat përcaktojnë përgjegjësinë me saktësi.

## Marrëdhenia me LSP

DbC e bën Liskov të saktë: një nëntip mund të **zbusë përparësimet** dhe **të forcojë postpërparësimet**, por kurrë në të kundërtën. Kjo është pikërisht rregulli i zëvendësueshmërisë, i shprehur si kontrata.

## Kompromise

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

## Pse është e rëndësishme

Kontratrat shndërrojnë supozime të paqarta ("shuma duhet të jetë pozitive, mendoj") në rregulla eksplicite, të kontrollabël — dhe ata caktojnë përgjegjësinë me saktësi kur diçka prishet.

Ata mbështesin zëvendësueshmërinë Liskov dhe dizajnin e API të fortë: kontrata e një metode është ndërfaqja e saj e vërtetë, më e sinqertë sesa nënshkrimi i vetëm i tipit të saj.