რა არის დიზაინი ხელშეკრულებით?

Question

Accepted Answer

**დიზაინი ხელშეკრულებით (DbC)** თუშვებს მეთოდსა და მის გამოძახებელს შორის ურთიერთობას, როგორც ფორმალურ შეთანხმებას, რომელიც განისაზღვრება სამი რამით: **წინაპირობები** (რა უნდა გარანტირება გამოძახებელმა), **პოსტპირობები** (რა გარანტია პასუხობს მეთოდი), და **უცვლელობები** (რა რჩება ჭეშმარიტი ობიექტისთვის ყველა დროს).

## სამი ვალდებულება

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

## კოდში

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

თუ *წინაპირობა* მარცხდება, **გამოძახებელს** აქვს ხარვეზი. თუ *პოსტპირობა* ან *უცვლელობა* მარცხდება, **მეთოდს** აქვს ხარვეზი — ხელშეკრულებები ზუსტად აღნიშნავენ ბრალდებას.

## ურთიერთობა LSP-ის সাথে

DbC ხდის Liskov-ს ზუსტი: ქვეტიპმა შეიძლება **შეასუსტოს წინაპირობები** და **გაამჯდაროს პოსტპირობები**, მაგრამ არა პირიქით. ეს ზუსტად ჩანაცვლებას წესია, გამოხატული ხელშეკრულებებით.

## კომპრომისები

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

## რატომ არის მნიშვნელოვანი

ხელშეკრულებები ბუნდოვან ვარაუდებს ("თანხა დადებითი უნდა იყოს, ვფიქრობ") გარდაქმნიან აშკარა, შემოწმებად წესებად — და ისინი ზუსტად არეგულირებენ ბრალდებას, როდესაც რამე წყდება.

ისინი ანტიკოტებენ Liskov-ის ჩანაცვლებას და მძლავრი API დიზაინს: მეთოდის ხელშეკრულება არის მისი ჭეშმარიტი ინტერფეისი, უფრო გულწრფელი ვიდრე მხოლოდ მისი ტიპის ხელმოწერა.