X'inhu design by contract?

Question

Accepted Answer

**Design by Contract (DbC)** tittratta r-relazzjoni bejn metodu u l-imsejjaħ tiegħu bħala ftehim formali, definit minn tliet affarijiet: **prekondizzjonijiet** (dak li għandu jiġi garantit minn l-imsejjaħ), **postkondizzjonijiet** (dak li l-metodu jigarantixxi billi jirritorna), u **invarianti** (dak li jibqa' veru għall-objett kontinwament).

## It-tliet obbligazzjonijiet

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

## Fil-kodiċi

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

Ikk *prekondizzjoni* tikser, l-**imsejjaħ** għandu l-bug. Ikk *postkondizzjoni* jew *invariant* tikser, il-**metodu** għandu l-bug — il-kuntratti jidentifikaw il-ħatt b'preċizzjoni.

## Relazzjoni mal-LSP

DbC tagħmel Liskov preċiż: subtip jista' **inaqqas il-prekondizzjonijiet** u **ijissaħħaħ il-postkondizzjonijiet**, iżda le l-kuntrarju. Din hija eżattament ir-regola ta' sustituibilità, iddikjarata bħala kuntratti.

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

## Għaliex hija importanti

Il-kuntratti jittrasfurmaw assunzjonijiet vaghi ("l-ammont għandu jkun pożittiv, nifkru") f'regoli espliċiti u checkable — u huma nassenjaw il-ħatt b'preċizzjoni meta xi ħaġa tinqasam.

Huma ssaportaw is-sostituzzjoni ta' Liskov u l-disinn API robust: il-kuntratt ta' metodu huwa l-interface veru tiegħu, aktar onest milli s-sinjatura ta' tip biss.