डिজाइन बाय कॉन्ट्रॅक्ट म्हणजे काय?

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 डिজाइन समर्थन करतात: पद्धतीचा करार त्याचा खरा इंटरफेस आहे, केवळ त्याच्या प्रकार स्वाक्षरीपेक्षा अधिक प्रामाणिक.