In “single inheritance” a common form of inheritance, classes have only one base class. Consider the relationship illustrated in Figure 9.1.
Note the progression from general to specific in Figure 9.1. Another common attribute found in the design of most class hierarchies is that the derived class has a “kind of” relationship with the base class. In Figure 9.1, a Book is a kind of a Document, and a PaperbackBook is a kind of a book.
One other item of note in Figure 9.1: Book is both a derived class (from Document) and a base class (PaperbackBook is derived from Book). A skeletal declaration of such a class hierarchy is shown in the following example:
class Document
{
// Member list.
};
// Book is derived from Document.
class Book : public Document
{
// Member list.
};
// PaperbackBook is derived from Book.
class PaperbackBook : public Book
{
// Member list.
};
Document is considered a “direct base” class to Book; it is an “indirect base” class to PaperbackBook. The difference is that a direct base class appears in the base list of a class declaration; an indirect base does not.
Note that the base class from which each class is derived is completely declared before the declaration of the derived class. It is not sufficient to provide a forward-referencing declaration for a base class; it must be a complete declaration.
In the preceding example, the access specifier public is used. The meaning of public, protected, and private inheritance is described in Chapter 10, “Member-Access Control.”
A class can serve as the base class for many more specific classes, as illustrated in Figure 9.2.
In the diagram in Figure 9.2, called a “directed acyclic graph” (or “DAG”), some of the classes are base classes for more than one derived class. However, the reverse is not true: There is only one direct base class for any given derived class. The graph in Figure 9.2 depicts a “single inheritance” structure.
Note:
Directed acyclic graphs are not unique to single inheritance. They are also used to depict multiple inheritance graphs. This topic is covered in “Multiple Inheritance”.
In inheritance, the derived class contains the members of the base class plus any new members you add. As a result, a derived class can refer to members of the base class (unless those members are redefined in the derived class). The scope-resolution operator (::) can be used to refer to members of direct or indirect base classes when those members have been redefined in the derived class. Consider this example:
class Document
{
public:
char *Name; // Document name.
void PrintNameOf(); // Print name.
};
// Implementation of PrintNameOf function from class Document.
void Document::PrintNameOf()
{
cout << Name << endl;
}
class Book : public Document
{
public:
Book( char *name, long pagecount );
private:
long PageCount;
};
// Constructor from class Book.
Book::Book( char *name, long pagecount )
{
Name = new char[ strlen( name ) + 1 ];
strcpy( Name, name );
PageCount = pagecount;
};
Note that the constructor for Book (Book::Book), has access to the data member, Name. In a program, an object of type Book can be created and used as follows:
// Create a new object of type Book. This invokes the
// constructor Book::Book.
Book LibraryBook( "Programming Windows, 2nd Ed", 944 );
...
// Use PrintNameOf function inherited from class Document.
LibraryBook.PrintNameOf();
As the preceding example demonstrates, class-member and inherited data and functions are used identically. If the implementation for class Book calls for a reimplementation of the PrintNameOf function, the function that belongs to the Document class can be called only by using the scope-resolution (::) operator:
class Book : public Document
{
Book( char *name, long pagecount );
void PrintNameOf();
long PageCount;
};
void Book::PrintNameOf()
{
cout << "Name of book: ";
Document::PrintNameOf();
}
Pointers and references to derived classes can be implicitly converted to pointers and references to their base classes if there is an accessible, unambiguous base class. The following code demonstrates this concept using pointers (the same principle applies to references):
#include <iostream.h>
main()
{
Document *DocLib[10]; // Library of ten documents.
for( int i = 0; i < 10; ++i )
{
cout << "Type of document: "
<< "P)aperback, M)agazine, H)elp File, C)BT"
<< endl;
char cDocType;
cin >> cDocType;
switch( tolower( cDocType ) )
{
case 'p':
DocLib[i] = new PaperbackBook;
break;
case 'm':
DocLib[i] = new Magazine;
break;
case 'h':
DocLib[i] = new HelpFile;
break;
case 'c':
DocLib[i] = new ComputerBasedTraining;
break;
default:
--i;
break;
}
}
for( i = 0; i < 10; ++i )
DocLib->PrintNameOf();
return 0;
}
In the switch statement in the preceding example, objects of different types are created, depending on what the user specified for cDocType. However, because these types are all derived from the Document class, there is an implicit conversion to Document *. As a result, DocLib is a “heterogeneous list” (a list in which not all objects are of the same type) containing different kinds of objects.
Because the Document class has a PrintNameOf function, it can print the name of each book in the library, although it may omit some of the information specific to the type of document (page count for Book, number of bytes for HelpFile, and so on).
Note:
Forcing the base class to implement a function such as PrintNameOf is often not the best design. Virtual functions, described in “Virtual Functions”, offer other design alternatives.