ਡਿਜ਼ਾਈਨ ਬਾਈ ਕਨਟ੍ਰੈਕਟ ਕੀ ਹੈ?

Question

Accepted Answer

**ਡਿਜ਼ਾਈਨ ਬਾਈ ਕਨਟ੍ਰੈਕਟ (DbC)** ਇੱਕ ਮੇਥਡ ਅਤੇ ਇਸਦੇ ਕੋਲਰ ਵਿਚਕਾਰ ਸਬੰਧ ਨੂੰ ਇੱਕ ਰਸਮੀ ਸਮਝੌਤੇ ਵਜੋਂ ਮੰਨਦਾ ਹੈ, ਜਿਸ ਨੂੰ ਤਿੰਨ ਚੀਜ਼ਾਂ ਦੁਆਰਾ ਪਰਿਭਾਸ਼ਿਤ ਕੀਤਾ ਗਿਆ ਹੈ: **preconditions** (ਕੋਲਰ ਨੂੰ ਕੀ ਗ੍ਰੈਂਟੀ ਦੇਨੀ ਚਾਹੀਦੀ ਹੈ), **postconditions** (ਮੇਥਡ ਬਦਲੇ ਵਿੱਚ ਕੀ ਗ੍ਰੈਂਟੀ ਦਿੰਦਾ ਹੈ), ਅਤੇ **invariants** (ਆਬਜੈਕਟ ਲਈ ਹਮੇਸ਼ਾ ਕੀ ਸੱਚ ਰਹਿੰਦਾ ਹੈ)।

## ਤਿੰਨ ਜ਼ਿੰਮੇਵਾਰੀਆਂ

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

ਜੇਕਰ *precondition* ਵਿਫਲ ਹੁੰਦਾ ਹੈ, **ਕੋਲਰ** ਕੋਲ ਬੱਗ ਹੈ। ਜੇਕਰ *postcondition* ਜਾਂ *invariant* ਵਿਫਲ ਹੁੰਦਾ ਹੈ, **ਮੇਥਡ** ਕੋਲ ਬੱਗ ਹੈ — ਕੋਨਟ੍ਰੈਕਟ ਦੋਸ਼ ਨੂੰ ਬਿਲਕੁਲ ਸਪਸ਼ਟ ਕਰਦੇ ਹਨ।

## LSP ਨਾਲ ਸਬੰਧ

DbC Liskov ਨੂੰ ਸਪਸ਼ਟ ਕਰਦਾ ਹੈ: ਇੱਕ subtype **preconditions ਨੂੰ ਕਮਜ਼ੋਰ ਕਰ ਸਕਦਾ ਹੈ** ਅਤੇ **postconditions ਨੂੰ ਮਜ਼ਬੂਤ ਕਰ ਸਕਦਾ ਹੈ**, ਪਰ ਉਲਟ ਕਦੀ ਨਹੀਂ। ਇਹ ਬਿਲਕੁਲ ਵਿਸਥਾਪਨਸ਼ੀਲਤਾ ਨਿਯਮ ਹੈ, ਕੋਨਟ੍ਰੈਕਟ ਦੇ ਰੂਪ ਵਿੱਚ ਦੱਸਿਆ ਗਿਆ।

## ਵਿਅਰਥ-ਆਫ

```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 ਡਿਜ਼ਾਈਨ ਨੂੰ ਅੰਡਰਪਿਨ ਕਰਦੇ ਹਨ: ਮੇਥਡ ਦਾ ਕੋਨਟ੍ਰੈਕਟ ਇਸਦਾ ਸੱਚਾ ਇੰਟਰਫੇਸ ਹੈ, ਆਪਣੇ ਆਪ ਵਿੱਚ ਸਿਰਫ type signature ਤੋਂ ਵੱਧ ਸਤਿਕਾਰ ਹੈ।