多态、重载与虚函数：虚函数的定义要遵循以下重要规则

最新推荐文章于 2022-02-25 19:38:17 发布

duanlove

最新推荐文章于 2022-02-25 19:38:17 发布

阅读量867

点赞数

分类专栏：语言研究文章标签： binding 存储工作 c

语言研究专栏收录该内容

10 篇文章 0 订阅

订阅专栏

原文地址：http://pcedu.pconline.com.cn/empolder/gj/c/0503/574706_3.html

建议从头开始看原文，特别是原文第3页，再看本文（属原文第4页）。

虚函数的定义要遵循以下重要规则：

　　1.如果虚函数在基类与派生类中出现，仅仅是名字相同，而形式参数不同，或者是返回类型不同，那么即使加上了virtual关键字，也是不会进行滞后联编的。

　　2.只有类的成员函数才能说明为虚函数，因为虚函数仅适合用与有继承关系的类对象，所以普通函数不能说明为虚函数。

　　3.静态成员函数不能是虚函数,因为静态成员函数的特点是不受限制于某个对象。

　　4.内联(inline)函数不能是虚函数，因为内联函数不能在运行中动态确定位置。即使虚函数在类的内部定义定义，但是在编译的时候系统仍然将它看做是非内联的。

　　5.构造函数不能是虚函数，因为构造的时候，对象还是一片位定型的空间，只有构造完成后，对象才是具体类的实例。

　　6.析构函数可以是虚函数,而且通常声名为虚函数。

　　说明一下，虽然我们说使用虚函数会降低效率，但是在处理器速度越来越快的今天，将一个类中的所有成员函数都定义成为virtual总是有好处的，它除了会增加一些额外的开销是没有其它坏处的，对于保证类的封装特性是有好处的。

　　对于上面虚函数使用的重要规则6，我们有必要用实例说明一下，为什么具备多态特性的类的析构函数，有必要声明为virtual。

　　代码如下：

#include <iostream>
using namespace std;

class Vehicle
{
public:
    Vehicle(float speed,int total)
    {
        Vehicle::speed=speed;
        Vehicle::total=total;
    }
    virtual void ShowMember()
    {
        cout<<speed<<"|"<<total<<endl;
    }
    virtual ~Vehicle()
    {
        cout<<"载入Vehicle基类析构函数"<<endl;
        cin.get();
    }
protected:
    float speed;
    int total;
};
class Car:public Vehicle
{
public:
    Car(int aird,float speed,int total):Vehicle(speed,total)
    {
        Car::aird=aird;
    }
    virtual void ShowMember()
    {
        cout<<speed<<"|"<<total<<"|"<<aird<<endl;
    }
    virtual ~Car()
    {
        cout<<"载入Car派生类析构函数"<<endl;
        cin.get();
    }
protected:
    int aird;
};

void test(Vehicle &temp)
{
    temp.ShowMember();
}
void DelPN(Vehicle *temp)
{
    delete temp;
}
void main()
{
    Car *a=new Car(100,1,1);
    a->ShowMember();
    DelPN(a);
    cin.get();
}

　　从上例代码的运行结果来看，当调用DelPN(a);后，在析构的时候，系统成功的确定了先调用Car类的析构函数，而如果将析构函数的virtual修饰去掉，再观察结果，会发现析构的时候，始终只调用了基类的析构函数，由此我们发现，多态的特性的virtual修饰，不单单对基类和派生类的普通成员函数有必要，而且对于基类和派生类的析构函数同样重要。

[1] [2] [3] [4] >>继续下一页

第3页内容如下：

为了要解决上述不能正确分辨对象类型的问题，c++提供了一种叫做 多态性（polymorphism）的技术来解决问题，对于例程序１，这种能够在编译时就能够确定哪个重载的成员函数被调用的情况被称做 先期联编（early binding），而在系统能够在运行时，能够根据其类型确定调用哪个重载的成员函数的能力，称为 多态性，或叫 滞后联编(late binding)，下面我们要看的例程３，就是滞后联编，滞后联编正是解决多态问题的方法。

　　代码如下：

//例程３
#include <iostream>
using namespace std;

class Vehicle
{
public:
    Vehicle(float speed,int total)
    {
        Vehicle::speed = speed;
        Vehicle::total = total;
    }
    virtual void ShowMember()//虚函数
    {
        cout<<speed<<"|"<<total<<endl;
    }
protected:
    float speed;
    int total;
};
class Car:public Vehicle
{
public:
    Car(int aird,float speed,int total):Vehicle(speed,total)
    {
        Car::aird = aird;
    }
    virtual void ShowMember()//虚函数,在派生类中，由于继承的关系，这里的virtual也可以不加
    {
        cout<<speed<<"|"<<total<<"|"<<aird<<endl;
    }
public:
    int aird;
};

void test(Vehicle &temp)
{
    temp.ShowMember();
}

int main()
{
    Vehicle a(120,4);
    Car b(180,110,4);
    test(a);
    test(b);
    cin.get();
}