Τι σημαίνουν οι σχέσεις "είμαι" και "έχω" στον αντικειμενοστραφή προγραμματισμό;

Η σχέση "είμαι-ένα" (is-a) είναι κληρονομικότητα. Η υποκλάση "είναι" μια γονική κλάση και κληρονομεί τις ιδιότητες και τη συμπεριφορά της.

// Γονική κλάση
class Animal {
    void eat() {
        System.out.println("Το ζώο τρώει");
    }
}

// Υποκλάση
class Dog extends Animal {
    void bark() {
        System.out.println("Ο σκύλος γαβγίζει");
    }
}

Σε αυτό το παράδειγμα, Dog "είναι" Animal.

Η σχέση "έχω" (has-a) είναι σύνθεση ή συσσώρευση. Ένα αντικείμενο "έχει" μια αναφορά σε ένα άλλο αντικείμενο ως μέρος της κατάστασής του.

class Engine {
    void start() {
        System.out.println("Ο κινητήρας ξεκινάει");
    }
}

class Car {
    private Engine engine; // Το αυτοκίνητο "έχει" κινητήρα

    public Car() {
        this.engine = new Engine();
    }

    void drive() {
        engine.start();
        System.out.println("Το αυτοκίνητο κινείται");
    }
}

Εδώ, το Car "έχει" Engine. Η σύνθεση υποδηλώνει μια ισχυρή σχέση (ο κύκλος ζωής του περιεχομένου εξαρτάται από αυτό που το περιέχει), η συσσώρευση είναι πιο αδύναμη (τα αντικείμενα μπορούν να υπάρχουν ανεξάρτητα). Το παράδειγμα δείχνει σύνθεση.

Βασικές διαφορές:

• "Είναι-ένα" (is-a) — κληρονομικότητα, ορίζει μια ιεραρχία τύπων.
• "Έχω" (has-a) — σύνθεση/συσσώρευση, ορίζει τη δομή του αντικειμένου μέσω της συμπερίληψης άλλων αντικειμένων.