Cad a bhíonn i gceist ag Dearadh le Conradh?

Question

Accepted Answer

**Design by Contract (DbC)** a fhealann ar an gcaidreamh idir modh agus an duine a thugann glaoch air mar chomhaontú foirmiúil, atá sainithe ag trí rud: **réamhchoinníollacha** (ar chóir don ghlaochadóir a ráthaíonn), **iarchoinneolacha** (ar ghealann an modh ar ais), agus **invariants** (cad atá fíor d'an réad ag gach am).

## Trí oibleagáidí

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

Mura bhfuil *réamhchoinníollacha* a bheith ann, tá bhug ag an **glaochadóir**. Má theipeann *iarchoinneolacha* nó *invariants*, tá bhug ag an **modh** — sonraíonn conraidh an locht go beacht.

## Relationship to LSP

Déanann DbC Liskov beacht: féadfaidh subtype **réamhchoinníollacha a lagú** agus **iarchoinneolacha a dhéanamh níos láidre**, ach ní a mhalairt. Sin go díreach an riail in-ionadaíochta, leagtha síos mar chonraidh.

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

## Cén fáth a bhíonn sé tábhachtach

Transformíonn conraidh tuairimíochtaí soilér ("ba chóir don méid a bheith dearfach, a shamhlaím") ina rialacha soiléire, inúsáidte — agus sonraíonn siad an t-locht go beacht nuair a bhrisítear rud.

Tá siad mar bhunús do ionadaíocht Liskov agus do dhearadh API bhocht: is é conradh modh a bhuninterface, níos fíor ná a síniú cineál amháin.