C++中的多态和派生继承

本文分别节选转自：

http://blog.csdn.net/w3031213101/article/details/5420486

http://www.cnblogs.com/fzhe/archive/2012/12/25/2832250.html

1.C++中的多态是通过虚函数实现的，即在函数的前面加virtual;虚函数的主要作用是通过基类访问派生类的东西。

virtual foo();

虚函数在基类中不用定义实现，虚函数在派生类中实现。

虚函数只能借助于指针或者引用来达到多态的效果。
前提B类继承与A类 且foo()为虚函数
void bar(A *a)
{
  a->foo();//被调用的是A::foo()还是B::foo() ?
}
如果a指向的是A类的实例，则A::foo()被调用，如果a指向的是B类实例，则指向
B::foo();
在设计一个基类的时候，如果发现一个函数需要在派生类里有不同的表现，那么它就应该是虚的。
从设计角度讲，出现在基类中的虚函数是接口，出现在派生类中的虚函数是接口的具体实现。通过
这样的方法，就可以将对象的行为抽象化。

虚函数总是在派生类中被改写，这种改写被称为“override”。
override是指派生类重写基类的虚函数。重写的函数必须有一致的参数表和返回值（允许返回值不同）

纯虚函数不需要定义其实际操作，它的存在只是为了在派生类中被重新定义，只是为了提供一个多态接口。

只有拥有纯虚函数的类，就是一种抽象类，它是不能被实例化的。

virtual void foo()=0;  //标志一个虚函数为纯虚函数 (=0)

补充：如果类B继承了A之后，A是抽象类，如果类B没有改写A中的纯虚函数，那么B本身也就成为一个拥有纯虚函数

的类，也就变成抽象类了。

内联函数，构造函数，静态成员函数为什么不能为virtual函数?
重点虚函数是运行期间确定的
1 >   内联函数 
内联函数是在编译时期展开,而虚函数的特性是运行时才动态联编,所以两者矛盾,不能定义内联函数为虚函数 
2 >   构造函数 
构造函数用来创建一个新的对象,而虚函数的运行是建立在对象的基础上,在构造函数执行时,对象尚未形成,所以不能将构造函数定义为虚函数 
3 >   静态成员函数 
静态成员函数属于一个类而非某一对象,没有this指针,它无法进行对象的判别

2.C++派生类

1、类的继承，是新的类从已有类那里得到已有的特性。或从已有类产生新类的过程就是类的派生。原有的类称为基类或父类，产生的新类称为派生类或子类。

 

2、派生类的声明：

class 派生类名：继承方式 基类名1， 继承方式 基类名2，...，继承方式 基类名n

{

    派生类成员声明；

};

 

3、一个派生类可以同时有多个基类，这种情况称为多重继承，派生类只有一个基类，称为单继承。直接派生，间接派生。

 

4、继承方式规定了如何访问基类继承的成员。继承方式有public, private, protected。如果不显示给出继承方式，默认为private继承。继承方式指定了派生类成员以及类外对象对于从基类继承来的成员的访问权限。

 

5、派生类继承基类中除构造和析构函数以外的所有成员。

 

6、派生类生成：

   吸收基类成员（除构造析构函数以外的所有成员）；

   改造基类成员（根据继承方式调整基类成员的访问，函数在子类中的覆盖，以及虚函数在子类中的覆盖）；

   添加新的成员；

 

7、公有继承

当类的继承方式为公有继承时，基类的公有和保护成员的访问属性在派生类中不变，而基类的私有成员不可访问。即基类的公有成员和保护成员被继承到派生类中仍作为派生类的公有成员和保护成员。派生类的其他成员可以直接访问它们。无论派生类的成员还是派生类的对象都无法访问基类的私有成员。

 

8、私有继承

当类的继承方式为私有继承时，基类中的公有成员和保护成员都以私有成员身份出现在派生类中，而基类的私有成员在派生类中不可访问。基类的公有成员和保护成员被继承后作为派生类的私有成员，派生类的其他成员可以直接访问它们，但是在类外部通过派生类的对象无法访问。无论是派生类的成员还是通过派生类的对象，都无法访问从基类继承的私有成员。通过多次私有继承后，对于基类的成员都会成为不可访问。因此私有继承比较少用。

 

9、保护继承

保护继承中，基类的公有成员和私有成员都以保护成员的身份出现在派生类中，而基类的私有成员不可访问。派生类的其他成员可以直接访问从基类继承来的公有和保护成员，但是类外部通过派生类的对象无法访问它们，无论派生类的成员还是派生类的对象，都无法访问基类的私有成员。

class MDS : public Dispatcher, private  md_config_obs_t {

}

这里MDS是派生类，基类分别是Dispathcher和md_config_obs_t，分别通过pubblic、private方式继承。