This is an old revision of the document!
====== Εισαγωγή στον Αντικειμενοστραφή Προγραμματισμό ====== Κεντρικό στοιχείο του Αντικειμενοστραφούς Προγραμματισμού είναι η χρήση αντικειμένων. Τα αντικείμενα στον αντικειμενοστραφή προγραμματισμό τείνουν να προσομοιάσουν ευρύτερες έννοιες που υφίστανται στον πραγματικό κόσμο. Παραδείγματα αντικειμένων μπορεί να είναι τα ακόλουθα: * το αυτοκίνητο * το ποδήλατο * το τρένο Τα "αντικείμενα" στον πραγματικό κόσμο έχουν δύο βασικά χαρακτηριστικά: - **Κατάσταση (state):** Καθε αντικείμενο διέπεται από συγκεκριμένα χαρακτηριστικά που ορίζουν την κατάσταση του. Για παράδειγμα ένα αυτοκίνητο έχω συγκεκριμένο χρώμα, ανήκει σε συγκεκριμένο μοντέλο και κάθε χρονική στιγμή έχει μία ταχύτητα και μία κατεύθυνση κίνησης. Τα παραπάνω χαρακτηριστικά διέπουν όλα τα αυτοκίνητα, αλλά κάθε αυτοκίνητο έχει τις δικές του τιμές οι οποίες μπορεί να διαφέρουν από τις τιμές άλλων αυτοκινήτων. - **Συμπεριφορά (behaviour)**: Κάθε αντικείμενο διέπεται από συγκεκριμένους κανόνες συμπεριφοράς. Για παράδειγμα σε ένα αυτοκίνητο εάν στρίψουμε το τιμόνι στα αριστέρά το αυτοκίνητο κινείται αριστερά. __Ο παραπάνω γενκός κανόνας ισχύει για όλα τα αυτοκίνητα__. Η σχέση μεταξύ της γωνίας στροφής του τιμονιού του αντοκινήτου και της αλλαγή πορείας που αυτή συνεπάγεται μπορεί να διαφέρει μεταξύ διαφορετικών μοντέλων. Σε αναλογία των παραπάνω, τα αντικείμενα στον αντικειμενοστραφή προγραμματισμό διαθέτουν: * **Δεδομένα //(μεταβλητές)//:** Τα δεδομένα περιγράφουν την κατάσταση του κάθε αντικειμένου και μπορεί η τιμή τους να διαφέρει από αντικείμενο σε αντικείμενο. * **Μεθόδους //(συναρτήσεις)//:** Οι μέθοδοι περιγράφουν την συμπεριφορά του αντικειμένου και είναι κοινές για όλα τα αντικείμενα ενός συγκεκριμένου τύπου. Για παράδειγμα όλα τα αυτοκίνητα ενός συγκεκριμένου μοντέλου διέπονται απο΄την ίδια σχέση μεταξύ της γωνίας στροφής του τιμονιού και της γωνίας στροφής των δύο μπροστινών τροχών. ===== Η Κλάση ===== Τα αντικείμενα που περιγράψαμε παραπάνω αποτελούν (εναλλακτικές) υλοποιήσεις ενός βασικού σχεδίου. Για παράδειγμα, όταν αγοράζει κάποιος ένα αυτοκίνητο, αυτό αποτελεί υλοποίηση του βασικού σχεδίου του αυτοκινήτου, έτσι όπως αυτό υλοποιείται από το εργαστάσιο κατασκευής. Μέρος του **σχεδίου** είναι η ύπαρξη κάποιων παραμέτρων όπως το χρώμα ή το επίπεδο του εξοπλισμού. | Τον ρόλο του **σχεδίου** με την έννοια που αναφέρεται παραπάνω τον παίζει η **κλάση**. Η κλάση αποτελεί το σχέδιο με βάση το οποίο αντικείμενα του συγκεκριμένου τύπου της κλάσης υλοποιούνται σε ένα πρόγραμμα. Τα αντικείμενα μιας κλάσης διέπονται από τις ίδιες //εσωτερικές μεταβλητές// (δεδομένα) και από τις ίδιες //συμπεριφορές// (συναρτήσεις). Τα αντικείμενα της ίδιας κλάσης μπορεί να διαφέρουν ως προς το περιεχόμενο των //εσωτερικών τους μεταβλητών//. | {{ :oop:class-object.png ?200|}} | | Το διπλανό σχήμα απεικονίζει διαφορετικές υλοποιήσεις ενός αυτοκινήτου με βάση το αρχικό σχέδιο του συγκεκριμένου μοντέλου. Αντιστρέφοντας το παράδειγμα του αυτοκινήτου, όλα τα αυτοκίνητα του συγκεκριμένου μοντέλου αποτελούν υλοποιήσεις του ίδιου αρχικού σχεδίου. | {{:oop:car-class-object.jpg?100 }} | ==== Κατασκευαστές της Κλάσης (Class Constructors) ==== Στον πραγματικό κόσμο μπορούμε να έχουμε διαφορετικές υλοποιήσεις ενός σχεδίου, διαφοροποιώντας κάποιες αρχικές παραμέτρους στο σχέδιο αυτό. Για παράδειγμα, μπορούμε να έχουμε διαφορετικές εκδόσεις για τα αυτοκίνητα ενός μοντέλου (π.χ. διαφοροποίηση στο επίπεδο του εξοπλισμού ή στο χρώμα). Ανάλογα, στον αντικειμενοστραφή προγραμματισμό, μία κλάση μπορεί να δώσει διαφοροποιημένα αντικείμενα. Κάθε αντικείμενο υλοποιείται από μία μέθοδο που καλείται κατασκευαστής (//constructor//). Ο κατασκευαστής της κλάσης υλοποιεί το κάθε αντικείμενο με βάση το σχέδιο της κλάσης μπορεί να κληθεί για διαφορετικά αντικείμενα με διαφορετικές παραμέτρους, οδηγώντας τελικά σε διαφοροποιημένα αντικείμενα ως προς τα χαρακτηριστικά τους. Mια κλάση μπορεί να έχει περισσότερους του ενός κατασκευαστές. Οι κατασκευαστές κάνουν τα εξής: * Δεσμεύουν την απαραίτητη μνήμη για το νέο αντικείμενο. * Αρχικοποιούν το αντικείμενο με βάση τις αρχικές τιμές των παραμέτρων με τις οποίες καλείται ο κατασκευαστής. ==== Περιεχόμενα της Κλάσης ==== Κάθε κλάση περιέχει κατά βάση τρία (3) πράγματα: - **Δεδομένα**. Τα δεδομένα διακρίνονται σε: * Βασικούς τύπους δεδομένων (Primitive Types), char, int, long, float, double, arrays κλπ * Σύνθετους τύπους δεδομένων (Reference Types), Strings, Arrays, Objects κλπ - **Kατασκευαστές αντικειμένων**. - **Μεθόδους** (συναρτήσεις στην γλώσσα C) ==== Κληρονομικότητα ==== Στον πραγματικό κόσμο πολλά πράγματα μοιράζονται κοινά χαρακτηριστικά. Για παράδειγμα: * Υπάρχουν επιμέρους τύποι ποδηλάτων, όπως mountain, street, bmx κλπ * Υπάρχουν επιμέρους τύποι αυτοκινήτων, sport, 4x4, sedan, coupe, supercars, luxury cars. Γενικά, μπορούμε να ορίσουμε κλάσεις που περιγράφουν γενικότερες έννοιες και στην συνέχεια να τις εξειδικεύσουμε περιγράφοντας έννοιες πιο ειδικές. Για παράδειγμα, για ένα τζιπ επιβατικό αυτοκίνητο μπορεί να οριστεί η παρακάτω ιεραρχία. //**Αυτοκινούμενο όχημα** --> **Τετράτροχο αυτοκινούμενο όχημα** --> **Επιβατικό τετράτροχο αυτοκινούμενο όχημα** -> **Επιβατικό τετράτροχο αυτοκινούμενο όχημα για χρήση εκτός δρόμου (τζιπ)** --> **Επιβατικό τετράτροχο αυτοκινούμενο όχημα για χρήση εκτός δρόμου (τζιπ) - συγκεκριμένο μοντέλο **//. Με βάση την παραπάνω ιεραρχία, μπορούμε να ορίσουμε την αρχική κλάση του αυτοκινούμενου οχήματος, την οποία στη συνέχεια να εξειδικεύσουμε σε πιο ειδικές κλάσεις. Οι γλώσσες αντικειμενοστραφούς προγραμματισμού δίνουν την δυνατότητα να δημιουργηθούν ιεραρχίες κλάσεων (//σχεδίων//), όπου οι πιο ειδικές κλάσεις (**υποκλάσεις - __Sub Classes__**) κληρονομούν τα χαρακτηριστικά των **γονικών (__Super Classes__)** κλάσεων, τα οποία εξειδικεύουν περαιτέρω. | Στο διπλανή εικόνα παρουσιάζεται το παράδειγμα κληρονομικότητας της κλάσης του ποδηλάτου. Από την γενική κλάση του ποδηλάτου προκύπτουν δύο επιμέρους κλάσεις **α)** το ποδήλατο για δύο επιβάτες **β)** το ποδήλατο με ταχύτητες. | {{:oop:bicycle-hierarchy.png?200 |}} |
