Περιεχόμενο
- Ορισμός - Τι σημαίνει Υποτυπώσεις;
- Εισαγωγή στη Microsoft Azure και το Microsoft Σε αυτό τον οδηγό θα μάθετε τι είναι το cloud computing και πώς η Microsoft Azure μπορεί να σας βοηθήσει να μεταφέρετε και να εκτελέσετε την επιχείρησή σας από το cloud.
- Η Techopedia εξηγεί την υποτύποι
Ορισμός - Τι σημαίνει Υποτυπώσεις;
Η υποκατηγορία είναι μια έννοια στη θεωρία της γλώσσας προγραμματισμού όπου ένας υποτύπος, ο οποίος είναι ένας τύπος δεδομένων, σχετίζεται με ένα supertype που βασίζεται στην έννοια της δυνατότητας υποκατάστασης, όπου τα στοιχεία του προγράμματος, όπως οι λειτουργίες και οι υπορουτίνες που γράφονται για το supertype, υποτύπου αντί. Οι υποτύποι είναι μια βασική ιδέα στον αντικειμενοστραφή προγραμματισμό και μπορούν να υποκατασταθούν σε υπερτύπους και μερικές φορές έχουν ακόμα αυστηρότερες προδιαγραφές από τον υπερτύπο.
Εισαγωγή στη Microsoft Azure και το Microsoft Σε αυτό τον οδηγό θα μάθετε τι είναι το cloud computing και πώς η Microsoft Azure μπορεί να σας βοηθήσει να μεταφέρετε και να εκτελέσετε την επιχείρησή σας από το cloud.
Η Techopedia εξηγεί την υποτύποι
Η υποκατηγορία είναι μια μέθοδος υποκατάστασης και επαναχρησιμοποίησης κώδικα που χρησιμοποιείται σε αντικειμενοστραφείς γλώσσες προγραμματισμού για την αποφυγή περιττής αντιγραφής σε μεγάλο βαθμό παρόμοιου κώδικα και την προώθηση της αναγνωσιμότητας του κώδικα και την πρόληψη σφαλμάτων. Ένας υποτύπος είναι βασικά ένα υποκατάστατο για ένα supertype που μπορεί να ικανοποιήσει όλες τις προδιαγραφές των τελευταίων, και στη συνέχεια μερικές. Επομένως, εάν το Β είναι υποτύπος του Α, τότε το Β μπορεί πάντα να χρησιμοποιηθεί για να αντικαταστήσει ένα Α και κάθε ιδιοκτησία που εγγυάται η Α πρέπει επίσης να είναι εγγυημένη από τον Β.
Ο υποτύπος επιτρέπεται να ενισχύσει και ακόμη να προσθέσει ιδιότητες που δεν ανήκουν στον υπερτύπο, πράγμα που σημαίνει ότι επιτρέπει την επέκταση του υπερτύπου. Έτσι, αντί να δημιουργούμε ένα νέο supertype κάθε φορά που απαιτείται κάτι καινούργιο και στη συνέχεια να αντιγράψουμε ιδιότητες και συνθήκες από άλλο supertype, θα μπορούσε απλά να δημιουργηθεί ένας υποτύπος που επεκτείνει τον supertype με πρόσθετες ιδιότητες ή χαρακτηριστικά χωρίς να αλλάξει το supertype. Στη συνέχεια, σε αυτήν την περίπτωση, όλα που είναι αποδεδειγμένα στον υπερτύπο θα είναι επίσης αποδεκτά στον υποτύπο και σε άλλα. Εάν ένας υποτύπος αντιμετωπίζεται καθαρά με τον ίδιο τρόπο όπως ο υπερτύπος χρησιμοποιώντας και διερωτώντας μόνο μεθόδους και πεδία υπερτύπων, τότε τα αποτελέσματα θα είναι συνεπή με αντικείμενα του τύπου supertype.