Πότε και υπό ποιες συνθήκες αρχίζει να λειτουργεί η…

Η αποστολή μεθόδων (method dispatch) στο Swift καθορίζει ποιος κώδικας θα εκτελεστεί κατά την κλήση μιας μεθόδου ενός αντικειμένου. Ο τύπος της αποστολής επιλέγεται σε τη στιγμή της μεταγλώττισης του κώδικα Swift.

Υπάρχουν τρεις βασικοί τύποι αποστολής στο Swift:

Άμεση αποστολή (Direct Dispatch):
- Ο πιο γρήγορος.
- Η διεύθυνση της συνάρτησης είναι γνωστή κατά τη μεταγλώττιση.
- Εφαρμόζεται από προεπιλογή σε:
  - struct και enum (καθώς δεν υποστηρίζουν κληρονομικότητα κλάσεων).
  - Μεθόδους final κλάσεων.
  - Μεθόδους private κλάσεων (internal και public δεν υποστηρίζουν άμεση αποστολή).
  - Παγκόσμιες συναρτήσεις.
  - Στατικές μεθόδους.
  - Επεκτάσεις.
Αποστολή μέσω πίνακα (Table Dispatch):
- Χρησιμοποιείται για class, όταν απαιτείται πολυμορφισμός και κληρονομικότητα.
- Η διεύθυνση της συγκεκριμένης υλοποίησης της μεθόδου καθορίζεται κατά την εκτέλεση (runtime) χρησιμοποιώντας τον πίνακα εικονικών μεθόδων (vtable - Virtual Table).
- Κάθε κλάση έχει το δικό της vtable, που περιέχει δείκτες στις υλοποιήσεις των μεθόδων.
- Υποστηρίζει κληρονομικότητα και υπερκαθορισμό μεθόδων.
```
class Animal { // Θα εφαρμοστεί Table Dispatch
    func speak() {
        print("Άγνωστος ήχος")
    }
}

class Dog: Animal { // Υπερκαθορισμός, χρησιμοποιεί vtable
    override func speak() {
        print("Γαβ")
    }
}
```
Αποστολή μέσω πίνακα μαρτύρων (Witness Table Dispatch):
- Χρησιμοποιείται για πρωτόκολλα (protocol).
- Παρόμοια με το table dispatch, αλλά χρησιμοποιεί έναν πίνακα μαρτύρων (witness table) για την εύρεση της υλοποίησης της μεθόδου του πρωτοκόλλου για έναν συγκεκριμένο τύπο.
- Επιτρέπει την πολυμορφία με πρωτόκολλα.
```
protocol Speakable { // Θα εφαρμοστεί Witness Table Dispatch
    func speak()
}

struct Cat: Speakable { // Υλοποίηση πρωτοκόλλου
    func speak() {
        print("Μιαού")
    }
}
```

Όροι που επηρεάζουν την επιλογή:

Τύπος δεδομένων: struct, enum, class, protocol.
Τροποποιητές πρόσβασης: final, private, internal, public.
Κληρονομικότητα: Δυνατότητα υπερκαθορισμού μεθόδων.
Συμμόρφωση σε πρωτόκολλα: Υλοποίηση μεθόδων πρωτοκόλλου.
Πλαίσιο κλήσης: Κλήση μέσω συγκεκριμένου τύπου ή μέσω πρωτοκόλλου/βασικής κλάσης.

Ο μεταγλωττιστής Swift προσπαθεί να χρησιμοποιεί άμεση αποστολή όπου είναι δυνατόν για βελτιστοποίηση της απόδοσης, αλλά αν χρειάζεται, μεταβαίνει σε πίνακα ή πίνακα μαρτύρων για να υποστηρίξει πολυμορφισμό και κληρονομικότητα. Η ρητή επισήμανση των μεθόδων ως final ή private επιτρέπει την αναγκαστική χρήση άμεσης αποστολής.

Πότε και υπό ποιες συνθήκες αρχίζει να λειτουργεί η διαχείριση στο Swift;