Open/Closed Principle کو تفصیل سے سمجھائیں۔

Question

Accepted Answer

**Open/Closed Principle (OCP)** کہتا ہے کہ software entities **توسیع کے لیے کھلے ہوں لیکن ترمیم کے لیے بند ہوں**: آپ کو نیا رویہ نیا کوڈ شامل کرکے شامل کرنا چاہیے، موجودہ، جانچے ہوئے کوڈ میں ترمیم کرکے نہیں۔

## وہ علامت جو OCP کو نشانہ بناتی ہے

```python
# CLOSED to extension: every new shape edits this method (risky, retests everything)
def area(shape):
    if shape.kind == "circle":   return 3.14159 * shape.r ** 2
    elif shape.kind == "square": return shape.s ** 2
    elif shape.kind == "rect":   return shape.w * shape.h
    # add a triangle → modify this function again...
```

ہر نئی قسم بڑھتی ہوئی `if/elif` chain میں تبدیلی کو مجبور کرتی ہے — نازک اور bugs کے لیے ایک مقناطیس۔

## polymorphism کے ذریعے OCP

```python
from abc import ABC, abstractmethod

class Shape(ABC):
    @abstractmethod
    def area(self): ...

class Circle(Shape):
    def __init__(self, r): self.r = r
    def area(self): return 3.14159 * self.r ** 2

class Triangle(Shape):                 # NEW behavior = NEW class
    def __init__(self, b, h): self.b, self.h = b, h
    def area(self): return 0.5 * self.b * self.h

def total_area(shapes):                # never changes again
    return sum(s.area() for s in shapes)
```

`Triangle` شامل کرنے کے لیے `total_area` میں **صفر ترمیم** درکار ہے — ترمیم کے بغیر توسیع۔

## وہ طریقے جو OCP کو ممکن بناتے ہیں

```text
→ polymorphism / inheritance     → strategy pattern (inject behavior)
→ plugins / interfaces           → higher-order functions / callbacks
```

## خرابی

OCP کو قیاس آرائی سے کرنا over-engineering بن جاتا ہے — abstraction اس تبدیلی کے لیے بنائے جاتے ہیں جو کبھی نہیں آتی۔ اسے اس جگہ لاگو کریں جہاں تبدیلی *ممکن* ہے ("تین کا اصول": اس کے بعد abstract کریں جب تبدیلی واقعی ظاہر ہو)۔

## یہ کیوں اہم ہے

جانچے ہوئے کوڈ میں خصوصیت شامل کرنے کے لیے ترمیم سے اس کوڈ کی ہر چیز میں regression کا خطرہ ہوتا ہے؛ OCP نیا رویہ نئی، الگ تھلگ units تک محدود کرتا ہے۔

یہ توسیع پذیر frameworks اور plugin systems کے پیچھے کا اصول ہے — اور یہ LSP پر منحصر ہے، کیونکہ substitutable subtypes وہی ہیں جو "بند" core کو محفوظ رکھتے ہیں۔