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

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

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

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

Όταν χρησιμοποιούνται διεπαφές για τον ορισμό κοινών διεπαφών, μπορούν να χρησιμοποιηθούν αφηρημένοι τύποι για τον εντοπισμό και την εκτέλεση ενός πρωτοκόλλου (αυτό είναι ένα σύνολο λειτουργιών που πρέπει να υποστηρίζονται από όλα τα αντικείμενα που υλοποιούν οποιοδήποτε πρωτόκολλο). Οι αφηρημένοι τύποι δεν εμφανίζονται στις γλώσσες υποτίτλων. Αυτοί οι υποτύποι πρέπει να εκτελούν όλες τις απαιτούμενες λειτουργίες και να διασφαλίζουν την ορθή εκτέλεση του προγράμματος. Υπάρχουν διάφοροι τρόποι δημιουργίας αφηρημένων τύπων: πλήρως αφηρημένες κλάσεις βάσης - κλάσεις που δηλώνουν ρητά αφηρημένες ή αφηρημένες (αποτυχημένες) μεθόδους. Τα Common Lisp Object Systems περιλαμβάνουν γεύσεις που βασίζονται σε γεύσεις. Java, φυσικά? και Χαρακτηριστικά, το οποίο χρησιμεύει ως επέκταση στο Smalltalk.

Συμπέρασμα: 1. Αφηρημένα μαθήματα (ή τύποι) δημοσιεύουν προγράμματα. οι διεπαφές είναι αφηρημένοι τύποι που πρέπει να εκτελέσουν όλες οι κλάσεις για να δείξουν τις διεπαφές τους. 2. Οι αφηρημένοι τύποι μπορούν να αναγνωριστούν χρησιμοποιώντας μια συγκεκριμένη λέξη-κλειδί. οι διεπαφές είναι αφηρημένες, οπότε δεν χρειάζεται να υπογράφετε τη λέξη-κλειδί καθόλου (εκτός εάν μια συγκεκριμένη κλάση δεν εγκαταστήσει τη διεπαφή αλλά όχι όλες τις μεθόδους της).

Αναφορές