Αντικειμενοστραφής Προγραμματισμός

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== Design Patterns ======

{{:oop:gangs-of-four-design-patterns-book.png?nolink&200|}}   

To 1994 εκδόθηκε το βιβλίο //"Design Patterns: Elements of Reusable Object-Oriented Software//" των //Erich Gamma, Richard Helm, Ralph Johnson// και //John Vlissides//, το οποίο σύντομα έγινε το σημείο αναφοράς της αντικειμενοστραφούς ανάπτυξης λογισμικού. Αναφέρεται σε 23 κλασσικά σχεδιαστικά μοτίβα λογισμικού, τα οποία εξακολουθούν να αποτελούν σημαντικά εργαλεία σχεδιασμού αντικειμενοστραφούς κώδικα. 

Οι συγγραφείς αναφέρονται συχνά στη βιβλιογραφία και ως η συμμορία των τεσσάρων (//Gang of Four// ή εν συντομία //GoF//).

Το βιβλίο εισήγαγε ένα κοινό λεξιλόγιο και μια συστηματική προσέγγιση για την επίλυση επαναλαμβανόμενων σχεδιαστικών προβλημάτων, επηρεάζοντας σημαντικά τον τρόπο με τον οποίο οι προγραμματιστές δομούν, συντηρούν και επεκτείνουν τον κώδικά τους. Αυτά τα μοτίβα συνεχίζουν να αποτελούν ζωτικό εργαλείο για κάθε μηχανικό λογισμικού, προωθώντας εύρωστες, ευέλικτες και επεκτάσιμες αρχιτεκτονικές λογισμικού.

==== Γιατί να χρησιμοποιείτε τα Σχεδιαστικά Μοτίβα; ====

Η πραγματική δύναμη των σχεδιαστικών μοτίβων έγκειται στην ικανότητά τους να παρέχουν κομψές λύσεις σε κοινά προβλήματα σχεδιασμού λογισμικού που επαναλαμβάνονται σε διαφορετικά έργα και γλώσσες προγραμματισμού. Αντί να ξεκινάτε από το μηδέν, αυτά τα μοτίβα προσφέρουν δοκιμασμένα σχέδια (blueprints) και ένα κοινό λεξιλόγιο επικοινωνίας για τους προγραμματιστές.

==== Τα 23 Μοτίβα στη Σχεδίαση Λογισμικού ====

Αν και το βιβλίο εκδόθηκε το 1994, οι λύσεις που προσφέρει παραμένουν επίκαιρες και η κατανόησή τους παρέχει πολύτιμη γνώση για την αρχιτεκτονική πολύπλοκων συστημάτων, ανεξάρτητα από τη γλώσσα προγραμματισμού. Τα μοτίβα αντιπροσωπεύουν βέλτιστες πρακτικές που εντοπίστηκαν από έμπειρους μηχανικούς λογισμικού κατά τη διάρκεια δεκαετιών. Η χρήση τους μειώνει σημαντικά τον κίνδυνο εισαγωγής σχεδιαστικών σφαλμάτων, ενώ παράλληλα προωθεί τη δημιουργία επαναχρησιμοποιήσιμων στοιχείων, οδηγώντας σε ταχύτερους κύκλους ανάπτυξης. Τα συστήματα που κατασκευάζονται με σχεδιαστικά μοτίβα είναι συνήθως πιο κατανοητά, ευκολότερα στον εντοπισμό σφαλμάτων (debugging) και στην τροποποίηση, καθώς παρέχουν σαφή διαχωρισμό αρμοδιοτήτων (separation of concerns).

Οι συγγραφείς του βιβλίου δεν παρέθεσαν απλώς μια λίστα με 23 μοτίβα, αλλά τα στήριξαν πάνω σε δύο θεμελιώδεις αρχές του αντικειμενοστραφούς σχεδιασμού:

  - **Προγραμματίστε με βάση τη Διεπαφή και όχι την Υλοποίηση (Program to an interface, not an implementation):** O κώδικας που χρησιμοποιεί ένα αντικείμενο (ο "client") δεν πρέπει να γνωρίζει τη συγκεκριμένη κλάση του αντικειμένου, αλλά μόνο το τι μπορεί να κάνει, δηλαδή τη διεπαφή του. Όταν προγραμματίζετε βάσει διεπαφής (Interface/Abstract Class), μπορείτε να αντικαταστήσετε μια υλοποίηση με μια άλλη χωρίς να αλλάξετε καθόλου τον κώδικα που τη χρησιμοποιεί. Το σημαντικότερο όμως είναι ότι σκέφτεστε με βάση αφηρημένες λειτουργίες και όχι με βάση συγκεκριμένες υλοποιήσεις.
  - **Προτιμήστε τη Σύνθεση Αντικειμένων έναντι της Κληρονομικότητας (Favor object composition over class inheritance):** Αν και η κληρονομικότητα είναι βασικός πυλώνας του αντικειμενοστραφούς προγραμματισμού, οι συγγραφείς υποστηρίζουν ότι συχνά γίνεται κατάχρηση, οδηγώντας σε δύσκαμπτα συστήματα. Η σύνθεση επιτρέπει την αλλαγή συμπεριφοράς ενός αντικειμένου κατά την εκτέλεση, απλώς αλλάζοντας την κλάση που χρησιμοποιεί (δείτε παρακάτω το Strategy pattern).
    * Στην **κληρονομικότητα** η ιεραρχική σχέση ορίζεται κατά τη μεταγλώττιση (compile-time). 
    * Στη **//σύνθεση//**, η σχέση ορίζεται κατά την εκτέλεση (run-time). 

==== Οφέλη από την Κατάκτηση των Σχεδιαστικών Μοτίβων ====

  * Σας επιτρέπουν να εντοπίζετε επαναλαμβανόμενους τύπους προβλημάτων και να εφαρμόζετε δοκιμασμένες, εύρωστες λύσεις.
  * Δημιουργούν ένα κοινό λεξιλόγιο στην κοινότητα των προγραμματιστών, επιτρέποντας τη γρήγορη και σαφή συζήτηση περίπλοκων σχεδιαστικών επιλογών.
  * Σας βοηθούν να κατανοήσετε ταχύτερα την πρόθεση πίσω από άγνωστους κώδικες ή βιβλιοθήκες τρίτων.
  * Συντηρησιμότητα Κώδικα: Κάνουν τον κώδικα πιο αρθρωτό (modular) και εύκολο στη δοκιμή.
  * Αρχιτεκτονική Ευχέρεια: Σας βοηθούν να σκέφτεστε σε υψηλότερο επίπεδο αφαίρεσης (abstraction).
  * Ταχύτερη Ανάπτυξη: Αντί να εφευρίσκετε ξανά τον τροχό, αξιοποιείτε έτοιμες στρατηγικές.

===== Τύποι Σχεδιαστικών Μοτίβων =====

Τα 23 σχεδιαστικά μοτίβα χωρίζονται σε τρεις βασικές κατηγορίες:
  * **Creational:** Ασχολούνται με τη διαδικασία δημιουργίας αντικειμένων.
  * **Structural:** Ασχολούνται με τη δομή των κλάσεων και των αντικειμένων, όπως η Κληρονομικότητα και η Σύνθεση (Composition).
  * **Behavioral:** Παρέχουν λύσεις για την καλύτερη αλληλεπίδραση μεταξύ των αντικειμένων, προωθώντας την ευελιξία και τη χαλαρή σύζευξη.

==== Creational Design Patterns (Μοτίβα Δημιουργίας Αντικειμένων) ====

Ο πρωταρχικός τους στόχος είναι να μετασχηματίσουν αφαιρετική τη διαδικασία δημιουργίας αντικειμένων, καθιστώντας το σύστημα ανεξάρτητο από το πώς τα αντικείμενα δημιουργούνται.

^  Μοτίβο  ^  Περιγραφή  ^
|  **Singleton **  | Διασφαλίζει ότι μια κλάση έχει μόνο ένα στιγμιότυπο (instance) και παρέχει ένα καθολικό σημείο πρόσβασης σε αυτό. Χρήσιμο για τη διαχείριση κοινόχρηστων πόρων ή ρυθμίσεων.  |
|  **Factory (Method)**  | Ορίζει μια διεπαφή (interface) για τη δημιουργία ενός αντικειμένου, αλλά επιτρέπει στις υποκλάσεις να αποφασίσουν ποια κλάση θα αρχικοποιήσουν. Κεντρικοποιεί τη δημιουργία αντικειμένων. |
|  **Abstract Factory**  | Παρέχει μια διεπαφή για τη δημιουργία οικογενειών σχετικών ή εξαρτώμενων αντικειμένων χωρίς να καθορίζει τις συγκεκριμένες κλάσεις τους. Είναι ένα «εργοστάσιο εργοστασίων».  |
|  **Builder**  | Διαχωρίζει την κατασκευή ενός σύνθετου αντικειμένου από την αναπαράστασή του, επιτρέποντας στην ίδια διαδικασία κατασκευής να δημιουργεί διαφορετικές αναπαραστάσεις. Ιδανικό για αντικείμενα με πολλές προαιρετικές παραμέτρους.  |
|  **Prototype**  | Δημιουργεί νέα αντικείμενα αντιγράφοντας ένα υπάρχον αντικείμενο (το πρωτότυπο) αντί να τα δημιουργεί από το μηδέν. Είναι πιο αποδοτικό για πολύπλοκα αντικείμενα.  |

==== Structural Design Patterns (Δομικά Μοτίβα) ====

^  Μοτίβο  ^  Περιγραφή  ^
|  **[[oop::adapter_pattern|Adapter]]**  | Επιτρέπει σε δύο μη συμβατές διεπαφές (interfaces) να συνεργαστούν, λειτουργώντας ως γέφυρα μεταξύ διαφορετικών συστημάτων. |
|  **[[oop::composite_pattern|Composite]]**  | Συνθέτει αντικείμενα σε δενδρικές δομές για την αναπαράσταση ιεραρχιών «μέρους-όλου». Επιτρέπει στους πελάτες (clients) να χειρίζονται με ενιαίο τρόπο μεμονωμένα αντικείμενα και συνθέσεις αντικειμένων.  |
|  **[[oop::proxy_pattern|Proxy]]**  | Παρέχει ένα υποκατάστατο ή διαμεσολαβητή (placeholder) για ένα άλλο αντικείμενο προκειμένου να ελέγχει την πρόσβαση σε αυτό (π.χ. για ασφάλεια, lazy loading, καταγραφή/logging).  |
|  **Flyweight**  | Ελαχιστοποιεί τη χρήση μνήμης μοιράζοντας όσο το δυνατόν περισσότερα δεδομένα με άλλα παρόμοια αντικείμενα. Χρησιμοποιείται όταν υπάρχει μεγάλος αριθμός αντικειμένων μικρής κλίμακας.  |
|  **[[oop::facade_pattern|Facade]]**  | Παρέχει μια απλοποιημένη, υψηλού επιπέδου διεπαφή για ένα πολύπλοκο υποσύστημα, κρύβοντας την πολυπλοκότητά του από τον χρήστη/πελάτη.  |
|  **[[oop::bridge_pattern|Bridge]]**  | Αποσυνδέει η σχεδιαζόμενη κλάση από την υλοποίησή της, επιτρέποντας στις δύο πλευρές να μεταβάλλονται ανεξάρτητα.  |
|  **Decorator**  | Προσθέτει δυναμικά νέες ευθύνες και συμπεριφορές σε ένα αντικείμενο, τυλίγοντάς το (wrapping), χωρίς να χρειάζεται να γίνει κληρονόμηση (subclassing).  |

==== Behavioral Design Patterns (Μοτίβα συμπεριφορών) ====

Τα μοτίβα αυτά ασχολούνται με την κατανομή αρμοδιοτήτων μεταξύ των αντικειμένων. Περιγράφουν τον τρόπο με τον οποίο τα αντικείμενα επικοινωνούν και αλληλεπιδρούν για την εκτέλεση μιας εργασίας. Παρακάτω παρατίθενται μερικά από τα κυριότερα συμπεριφορικά μοτίβα. 

^  Μοτίβο  ^  Περιγραφή  ^
|  **Template Method**  | Ορίζει τον σκελετό ενός αλγορίθμου σε μια μέθοδο, μεταθέτοντας κάποια βήματα στις υποκλάσεις. Επιτρέπει στις υποκλάσεις να επανακαθορίζουν ορισμένα βήματα του αλγορίθμου χωρίς να αλλάζουν τη δομή του.  |
|  **Mediator**  | Ορίζει ένα αντικείμενο που εγκλωβίζει τον τρόπο με τον οποίο αλληλεπιδρά ένα σύνολο αντικειμένων, μειώνοντας τις άμεσες εξαρτήσεις μεταξύ τους (προωθεί τη χαλαρή σύζευξη).  |
|  **[[oop::observer_pattern|Observer]]**  | Ορίζει μια εξάρτηση ένα-προς-πολλά μεταξύ αντικειμένων, έτσι ώστε όταν ένα αντικείμενο αλλάζει κατάσταση, όλα τα εξαρτώμενα αντικείμενα να ειδοποιούνται και να ενημερώνονται αυτόματα. |
|  **[[oop::strategy_pattern|Strategy]]**  | Ορίζει μια οικογένεια αλγορίθμων, εγκλωβίζει τον καθένα από αυτούς και τους καθιστά εναλλάξιμους. Επιτρέπει στον αλγόριθμο να μεταβάλλεται ανεξάρτητα από τους πελάτες που τον χρησιμοποιούν. |
|  **Command**  | Μετρέπει ένα αίτημα ή μια ενέργεια σε αυτόνομο αντικείμενο, επιτρέποντας την παραμετροποίηση πελατών με διαφορετικά αιτήματα, την τοποθέτηση αιτημάτων σε ουρά (queue) και την υποστήριξη λειτουργιών αναίρεσης (undo). |