Klasa abstrakcyjna to klasa, która może zawierać zarówno metody zdefiniowane, jak i niezdefiniowane (czysto wirtualne). Jest to kluczowy element programowania obiektowego, który pozwala na tworzenie hierarchii klas i wymuszanie implementacji określonych metod w klasach pochodnych. Klasy abstrakcyjne nie mogą być instancjonowane – służą jedynie jako szablony dla innych klas. Przykładem jest klasa 'Figura', która zawiera metodę 'ObliczPole()', ale konkretna implementacja tej metody jest dostarczana przez klasy pochodne, takie jak 'Kwadrat' czy 'Koło'.
Klasa, która nie może mieć żadnych metod, jest niepraktyczna i nie spełnia żadnych funkcji w programowaniu obiektowym. Klasa dziedzicząca zawsze dziedziczy po klasie bazowej, a nie po klasie pochodnej – dziedziczenie odbywa się w jednym kierunku. Twierdzenie, że klasa abstrakcyjna zawsze dziedziczy z klasy pochodnej, jest błędne – klasy abstrakcyjne mogą być na szczycie hierarchii dziedziczenia i służą jako punkt wyjścia dla innych klas. Klasa, która nie może być instancjonowana, ale może być dziedziczona, to właśnie klasa abstrakcyjna, co czyni to stwierdzenie poprawnym.