ახსენით Open/Closed Principle მглубине.

Question

Accepted Answer

**Open/Closed Principle (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` ჯაჭვში — მყიფე და ხაკი ბაგებისთვის.

## 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, რომელიც ქვესაზოგადოდ გაკეთდა, ხდება ზეზე-ინჟინერია — აბსტრაქციები, რომელიც აგებული იყო ვარიაციისთვის, რომელიც არასდროს ჩამოვა. გამოიყენეთ იქ, სადაც ცვლილება *სავარაუდოა* ("სამი წესი": აბსტრაქტული ვარიაციის რეალურად გამოჩნების შემდეგ).

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

ომ-შემოწმებული კოდის რედაქტირება ფუნქციის დამატების შემთხვევაში რისკი აღიძვრებს რეგრესიებით ყველაფერში, რასაც ეს კოდი უკვე მხარს უჭერს; OCP ჩაკეტავს ახალ ქცევას ახალ, იზოლირებულ ერთეულებში.

ეს არის პრინციპი გაფართოებული ფრეიმვორკებისა და მოდული სისტემების მიღმა — და ის დამოკიდებულია LSP-ზე, რადგან შემცვლელი ქვეტიპები არის ის, რაც ხდის "დახურულ" ბირთვს დაუსაფრთხო დაუტანგერელ.