Абстрактный класс не означает, что у вас нет экземпляра, это означает, что тип времени выполнения экземпляра на самом деле является некоторым производным классом, который обеспечивает реализации для чисто виртуальных функций в абстрактном базовом классе. Но не все функции-члены абстрактного класса должны быть чисто виртуальными, у вас может быть сочетание конкретных и абстрактных функций.
Когда вы вызываете функции-члены "в абстрактном классе", все виртуальные функции, включая чисто виртуальные, вызываются полиморфно. Таким образом, переопределение, определенное в производном классе, выполняется. Невиртуальные функции вызывают определение в базовом классе, у вас не может быть чисто конкретных функций, поэтому даже абстрактный класс должен обеспечивать реализацию для не виртуальных функций.
Даже для чистой виртуальной функции возможно иметь реализацию, предоставляемую абстрактным базовым классом. Переопределение все еще должно быть обеспечено, но тогда переопределение может вызвать реализацию базового класса.