公有继承也叫“接口继承”,表示的是“是一个”(IsA)的语义。例如“大雁”类派生于“鸟”类,可以描述为“大雁是一种鸟”。
class 大雁 : public 鸟{
};
一般在基类中提供一个纯虚函数作为接口,在派生类中重写该虚函数,就可以实现基于该接口的动态绑定(即多态)。
需要注意,这里的“是”并非“等于”,“是”的含义应该为“属于”,即一种包含关系。因为说“大雁是一种鸟”是成立的,但反过来说“鸟是一种大雁”显然是不成立的。因为正确的逻辑应该是:大雁是属于鸟类的一种。之前有很多纠结于基类和派生类之间如何进行比较的讨论都是没有意义的,因为二者没有可比性,它们并不相等。
私有继承也叫“实现继承”,表示的是“有一个”(HasA)的语义。例如上面的“大雁”和“鸟”之间显然不能用私有继承,因为“大雁有一种鸟”在逻辑上是说不通的。但我们可以说“大雁有一双翅膀”。因此:
class 大雁 : private 翅膀{
};
既然是表示“有一个”的关系,因此通常是有私有继承的地方,都可以改为组合关系:
class 大雁{
private:
翅膀 m_Wings;
};
另外 protected 继承没有什么特定的语义,也不会有地方需要用到。