რა განსხვავებაა is-a და has-a ურთიერთობებს შორის?

Question

Accepted Answer

**Is-a** არის *ტიპის* ურთიერთობა — მოდელირებული **inheritance**-ით (`Car` *არის* `Vehicle`). **Has-a** არის *შეწავლის* ურთიერთობა — მოდელირებული **composition**-ით (`Car` *აქვს* `Engine`). სწორი არჩევანი არის ძირითადი მოდელირების გადაწყვეტილება.

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

```java
// IS-A → inheritance
class Vehicle { void move() {} }
class Car extends Vehicle { }        // a Car IS A Vehicle

// HAS-A → composition
class Engine { void start() {} }
class Car2 {
    private Engine engine = new Engine();   // a Car HAS AN Engine
    void start() { engine.start(); }        // delegate to the part
}
```

## კლასიკური ტესტი

კითხეთ: "არის X *სახეობა Y-ის*, თუ X *აქვს/იყენებს* Y-ს?"

```text
A Dog        IS-A Animal        → inheritance ✅
A Car        HAS-A Engine       → composition ✅
A Square     IS-A Shape         → inheritance ✅
A Manager    HAS Employees      → composition (a list) ✅
A Stack      HAS-A list (not IS-A) → composition (see earlier pitfall) ✅
```

## შემთხვევა

ადამიანები მიმართავენ inheritance-ს *კოდის გადამატებისთვის*, თუნდაც ურთიერთობა ნამდვილად has-a იყოს. თუ მე არ შემიძლია ქვეკლასი ხელმოუწერელი გამოვიყენო ყველგან ბაზის შორის, ალბათ არ არის is-a — გამოიყენეთ composition.

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

ეს განსხვავება არის "favor composition over inheritance"-ის მიერ სამუშაო გადაწყვეტილების წესი: აირჩიეთ ისეთი ურთიერთობა, რომელიც სწორია, არა ის, რომელიც რამდენიმე სტრიქონს ზოგავს.

ეს სწორად გაკეთება რჩევებს შავ მდე და სტიქოსად, და ხელს უშლის Liskov დარღვევებს, სადაც "ქვეტიპი" ვერ შეუძლია მის მშობლის ადგილი ატაროს.