Abstract classes cannot be used for:
Variables or member data
Argument types
Function return types
Types of explicit conversions
Another restriction is that if the constructor for an abstract class calls a pure virtual function, either directly or indirectly, the result is undefined. However, constructors for abstract classes can call other member functions.
Pure virtual functions can be defined for abstract classes, but they can be called directly only by using the syntax:
abstract-class-name::function-name( )
An implementation can be provided for pure virtual functions. This helps when designing class hierarchies whose base class(es) include pure virtual destructors, because base class destructors are always called in the process of destroying an object. Consider the following example:
#include <iostream.h>
// Declare an abstract base class with a pure virtual destructor.
class base
{
public:
base() {}
virtual ~base()=0;
};
// Provide a definition for destructor.
base::~base()
{
}
class derived:public base
{
public:
derived() {}
~derived(){}
};
void main()
{
derived *pDerived = new derived;
delete pDerived;
}
When the object pointed to by pDerived is deleted, the destructor for class derived is called, then the destructor for class base is called. The empty implementation for the pure virtual function ensures that at least some implementation exists for the function.
Note:
In the example above, the pure virtual function base::~base is called implicitly from derived::~derived. It is also possible to call pure virtual functions explicitly using a fully qualified member-function name.