第十三周阅读程序 交通类纯虚函数

/* 
 *Copyright(c) 2016,烟台大学计算机学院 
 *作    者：刘金石 
 *完成日期：2016年5月22日 
 *问题描述：当基类的指针指向派生类时，用指针调用同名成员函数，
  执行的是基类的成员函数，还是派生类的成员函数？为什么会这样？ 
 */  
#include <iostream>
using namespace std;
class Vehicle  //交通工具
{
public:
     void run() const
    { cout << "run a vehicle. "<<endl;  }
};
class Car: public Vehicle  //汽车
{
public:
    void run() const
    { cout << "run a car. "<<endl; }
};
class Airplane: public Vehicle  //飞机
{
public:
    void run() const
    { cout << "run a airplane. "<<endl; }
};
int main()
{
    cout<<"(a) 直接用对象访问成员函数: "<<endl;
    Vehicle v;
    v.run();
    Car car;
    Airplane airplane;
    car.run();
    airplane.run();
    cout<<"(b)用指向基类的指针访问成员函数: "<<endl;
    Vehicle *vp;
    vp=&car;
    vp->run();
    vp=&airplane;
    vp->run();
    return 0;
}

运行结果：

<img src="https://img-blog.csdn.net/20160522170922607?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQv/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/SouthEast" alt="" />
回答：
当基类的指针指向派生类时，用指针调用同名成员函数，执行的是派生类的成员函数，因为满足类型兼容规则

<pre name="code" class="cpp">（2）如果将Vehicle类的定义修改为虚函数，其余不变，请写出程序的执行结果
[cpp] view plain copy print?
class Vehicle {  
public:   
    virtual void run() const { cout << "run a vehicle. "<<endl; } //(2) run()为虚函数  
};  
请回答：当基类的指针指向派生类时，用指针调用同名虚成员函数，执行的是基类的成员函数，还是派生类的成员函数？为什么会这样？什么是多态性？请结合本例的运行结果说明。

回答：

<pre name="code" class="cpp">回答：
当基类的指针指向派生类时，用指针调用同名成员函数，执行的是派生类的成员函数，因为
如果需要通过基类Vehicle的指针vp指向派生类的对象，并访问某个与基类同名的成员，那么
就要在基类中将这个同名函数声明为虚函数。这样通过基类的指针vp就可以使属于不同派生类
产生不同的行为，从而实现运行中的多态性。

（3）如果将Vehicle类的定义修改为纯虚函数，找出main()函数中将使编译出错的行删除（或改为注释），请写出程序的执行结果，并在上机时对照理解
[cpp] view plain copy print?
class Vehicle{  
public:   
    virtual void run() const = 0; //(3) run()为纯虚函数，const意指其为常成员函数，并非纯虚函数之必要  
};   
请回答：当基类同名成员函数定义为纯虚函数后，发生了什么现象？为什么会这样？

答：程序运行错误，
C:\Documents and Settings\Administrator\My Documents\test.cpp|13|error: stray '\243' in program|
C:\Documents and Settings\Administrator\My Documents\test.cpp|13|error: stray '\273' in program|
C:\Documents and Settings\Administrator\My Documents\test.cpp|13|error: pure-specifier on function-definition|
||=== Build 失败了: 3 error(s), 0 warning(s) (0 minute(s), 0 second(s)) ===|
因为Base为一个抽象类不能定义一个对象，Vehicle v;错误。