Πώς λειτουργούν οι κλάσεις, τα αντικείμενα και οι κατασκευαστές;

Question

Accepted Answer

Μια **κλάση** είναι ένα σχέδιο· ένα **αντικείμενο** είναι ένα στιγμιότυπο που δημιουργήθηκε από αυτό. Ένας **κατασκευαστής** είναι μια ειδική μέθοδος που αρχικοποιεί ένα νέο αντικείμενο. Μαζί αποτελούν το θεμέλιο του αντικειμενοστρεφούς μοντέλου της Java.

## Ορισμός μιας κλάσης με έναν κατασκευαστή

```java
public class Person {
    private String name;        // fields (instance variables)
    private int age;

// CONSTRUCTOR — same name as the class, no return type
    public Person(String name, int age) {
        this.name = name;       // `this` distinguishes field from parameter
        this.age = age;
    }

public String greet() {     // method
        return "Hi, I'm " + name;
    }
}
```

Ο κατασκευαστής εκτελείται όταν δημιουργείτε ένα αντικείμενο, ρυθμίζοντας την αρχική του κατάσταση. Το `this` αναφέρεται στο τρέχον αντικείμενο, διακρίνοντας τα πεδία από τις παραμέτρους του ίδιου ονόματος.

## Δημιουργία αντικειμένων

```java
Person p = new Person("Ann", 30);   // `new` allocates the object + calls the constructor
p.greet();                           // "Hi, I'm Ann"
```

Το `new` keyword εκχωρεί μνήμη στη σωρό και καλεί τον κατασκευαστή· το `p` διατηρεί μια αναφορά στο νέο αντικείμενο.

## Υπερφόρτωση κατασκευαστή και σύνδεση

```java
public class Person {
    private String name;
    private int age;

public Person(String name, int age) {   // primary constructor
        this.name = name;
        this.age = age;
    }
    public Person(String name) {             // overloaded — different parameters
        this(name, 0);                        // calls the other constructor (chaining)
    }
}
```

Μπορείτε να έχετε **πολλαπλούς κατασκευαστές** με διαφορετικές λίστες παραμέτρων (υπερφόρτωση), και ένας μπορεί να καλέσει έναν άλλο με `this(...)` για να αποφύγει τη διπλασιασμό της αρχικοποίησης.

## Ο προεπιλεγμένος κατασκευαστής

```java
public class Empty {
    // no constructor defined → Java provides an implicit no-arg constructor
}
Empty e = new Empty();   // works
// BUT: once you define ANY constructor, the implicit one is gone
```

Εάν δεν γράψετε κατασκευαστή, η Java προσφέρει έναν προεπιλεγμένο χωρίς ορίσματα. Μόλις ορίσετε οποιονδήποτε κατασκευαστή, αυτός ο προεπιλεγμένος εξαφανίζεται (πρέπει να τον προσθέσετε ρητά εάν χρειάζεται).

## Γιατί είναι σημαντικό

Οι κλάσεις, τα αντικείμενα και οι κατασκευαστές είναι το απόλυτο θεμέλιο του προγραμματισμού Java — όλα όσα δημιουργείτε αποτελούνται από αντικείμενα που δημιουργούνται από κλάσεις.

Η κατανόηση του τρόπου με τον οποίο οι κατασκευαστές αρχικοποιούν την κατάσταση (`this`, ο ρόλος του `new` keyword, η υπερφόρτωση κατασκευαστή και η σύνδεση για ευέλικτη δημιουργία και ο κανόνας προεπιλεγμένου κατασκευαστή) είναι απαραίτητη για τη σωστή δημιουργία και αρχικοποίηση αντικειμένων.

Αυτές οι έννοιες υποστηρίζουν όλες τις OOP εργασίες στη Java, και η συμπεριφορά του κατασκευαστή (ιδιαίτερα η εξαφάνιση του προεπιλεγμένου και η σύνδεση) είναι μια συνηθισμένη πηγή τόσο των ερωτήσεων συνέντευξης όσο και των πραγματικών σφαλμάτων.