Design by Contract nedir?

Question

Accepted Answer

**Design by Contract (DbC)**, bir metot ve çağıranı arasındaki ilişkiyi üç şeyle tanımlanan resmi bir anlaşma olarak ele alır: **ön koşullar** (çağıranın garantilemesi gereken şeyler), **son koşullar** (metotun karşılık olarak garantilediği şeyler) ve **değişmezler** (nesne için her zaman doğru kalan şeyler).

## Üç yükümlülük

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

## Kodda

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

Bir *ön koşul* başarısız olursa, **çağıranın** hatası vardır. Bir *son koşul* veya *değişmez* başarısız olursa, **metodun** hatası vardır — sözleşmeler hataları tam olarak belirler.

## LSP ile İlişki

DbC Liskov'u kesin hale getirir: bir alt tür **ön koşulları zayıflatabilir** ve **son koşulları güçlendirebilir**, ancak asla tersi değil. Bu tam olarak yerine geçebilirlik kuralı, sözleşmeler olarak ifade edilir.

## Denge

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

## Neden önemli

Sözleşmeler belirsiz varsayımları ("miktar pozitif olmalı, sanırım") açık, kontrol edilebilir kurallara dönüştürür — ve bir şey kırıldığında hataları tam olarak atarlar.

Liskov ikamesi ve sağlam API tasarımının temelini oluştururlar: bir metodun sözleşmesi, onun gerçek arayüzüdür ve yalnızca tür imzasından daha dürüsttür.