Αφηρημένες κλάσεις

Αν μια ιδεατή (virtual) συνάρτηση - μέθοδος μιας κλάσης - οριστεί με τη σύνταξη
```
= 0 
```
τότε η συνάρτηση αυτή είναι θεωρητική (pure) δηλαδή δεν έχει υλοποίηση στη συγκεκριμένη κλάση. Παράδειγμα:
class document {
public:
virtual char *Identify() = 0;
};
Αν μια κλάση περιέχει (ή έχει κληρονομήσει) τουλάχιστον μια θεωρητική μέθοδο τότε ονομάζεται αφηρημένη (abstract).
Οι αφηρημένες κλάσεις χρησιμοποιούνται μόνο για να ορίσουν γενικές έννοιες από τις οποίες εκπορεύονται συγκεκριμένες κλάσεις.
Έτσι οι αφηρημένες κλάσεις δε μπορούν να χρησιμοποιηθούν για να οριστούν:
- μεταβλητές
- μέλη άλλων κλάσεων
- παράμετροι συναρτήσεων
- τύποι επιστροφής συναρτήσεων
- τύποι μετατροπής
Αντίθετα, μπορούν να οριστούν δείκτες και αναφορές σε αφηρημένες κλάσεις.

Για παράδειγμα, ένας σχεδιασμός του πληροφοριακού συστήματος του Πανεπιστημίου μπορεί να ορίσει την αφηρημένη κλάση person ως βασική κλάση για τις υποκλάσεις student, employee και visitor. Αν και δε θα μπορεί να οριστεί μια μεταβλητή για την αφηρημένη κλάση person, αυτή μπορεί να περιέχει ορισμένα βασικά χαρακτηριστικά όπως birth_date και να επιβάλει την υλοποίηση συγκεκριμένων μεθόδων όπως home_page_URL() ορίζοντάς τις ως θεωρητικές.