Item 44: Say what you mean; understand what you're saying.

Item 44: Say what you mean; understand what you're saying.
In the introduction to this section on inheritance and object-oriented design, I emphasized the importance of
understanding what different object-oriented constructs in C++ mean. This is quite different from just knowing
the rules of the language. For example, the rules of C++ say that if class D publicly inherits from class B, there
is a standard conversion from a D pointer to a B pointer; that the public member functions of B are inherited as
public member functions of D, etc. That's all true, but it's close to useless if you're trying to translate your design
into C++. Instead, you need to understand that public inheritance means isa, that if D publicly inherits from B,
every object of type D isa object of type B, too. Thus, if you mean isa in your design, you know you have to use
public inheritance.
Saying what you mean is only half the battle. The flip side of the coin is understanding what you're saying, and
it's just as important. For example, it's irresponsible, if not downright immoral, to run around declaring member
functions nonvirtual without recognizing that in so doing you are imposing constraints on subclasses. In declaring
a nonvirtual member function, what you're really saying is that the function represents an invariant over
specialization, and it would be disastrous if you didn't know that.
The equivalence of public inheritance and isa, and of nonvirtual member functions and invariance over
specialization, are examples of how certain C++ constructs correspond to design-level ideas. The list below
summarizes the most important of these mappings.
 A common base class means common traits. If class D1 and class D2 both declare class B as a base, D1
and D2 inherit common data members and/or common member functions from B. See Item 43.
 Public inheritance means isa. If class D publicly inherits from class B, every object of type D is also an
object of type B, but not vice versa. See Item 35.
 Private inheritance means is-implemented-in-terms-of. If class D privately inherits from class B,
objects of type D are simply implemented in terms of objects of type B; no conceptual relationship exists
between objects of types B and D. See Item 42.
 Layering means has-a or is-implemented-in-terms-of. If class A contains a data member of type B,
objects of type A either have a component of type B or are implemented in terms of objects of type B. See
Item 40.
The following mappings apply only when public inheritance is involved:
 A pure virtual function means that only the function's interface is inherited. If a class C declares a
pure virtual member function mf, subclasses of C must inherit the interface for mf, and concrete subclasses
of C must supply their own implementations for it. See Item 36.
 A simple virtual function means that the function's interface plus a default implementation is
inherited. If a class C declares a simple (not pure) virtual function mf, subclasses of C must inherit the
interface for mf, and they may also inherit a default implementation, if they choose. See Item 36.
 A nonvirtual function means that the function's interface plus a mandatory implementation is
inherited. If a class C declares a nonvirtual member function mf, subclasses of C must inherit both the
interface for mf and its implementation. In effect, mf defines an invariant over specialization of C. See
Item 36.