C++中多态性、虚函数以及动态联编这3个动态特性彼此之间是相互关联的。
这段代码中在类A中提供的一个print()方法用于输出一句话,类B继承类A并在printf()方法中输出不同的内容。当该程序被执行时,得到的输出结果分别是“This is Animal”和“This is Dog”。但这并没有真正的做到多态性,因为多态的关键只出就是使用基类的指针或引用来操作对象。
修改后的代码完全使用指针和引用来操作对象,但是改程序再洗运行时得到的结果却是两个“This is Animal”.a2指向的是类B的对象,但执行时却调用了类A的print()函数。为了避免这样的错误发生,就要用到虚函数,再次对代码进行修改:
通过加入Virtual关键字,类A中成员函数print()就成为了一个虚函数。由于类Dog继承了类Animal,因此类Dog中的print()函数也变成了一个虚函数。这里需要注意的是,如果基类中的函数已经被声明为虚函数,那么派生类中相应的函数无论是否加入virtual关键字,都将成为一个虚函数。此时再运行整个程序的时候,将分别输出预期的结果“This is Animal”和“This is Dog。从这个例子可以看出,指向基类的指针在操作其多态类对象时,会根据对象调用相应的函数,而这个函数就是虚函数。
2.多态性
多态是通过虚函数实现的。每个类都有一个虚函数,而每个虚函数都对应了一个虚函数表,所有对象都共享该虚函数表。多态性账户包括4中实现方式,即强制多态(类型强制转换)、重载多态(函数及运算符重载)、类型参数化多态(模板)及包含多态(类继承及虚函数)。
3.动态联编
联编指的是一个计算机程序自身彼此关联的过程。按照联编进行的阶段不同,可分为静态联编和动态联编两种不同的联编方式。
静态联编是指联编工作出现在编译链接阶段,因为这种联编过程是在程序开始运行之前完成的,所以这种联编又称早期联编。静态联编在编译阶段并不知道将要调用哪个函数,而只有在程序执行时才确定,即联编工作要在程序运行时 进行。这种在程序运行时进行的联编工作被称为动态联编,或称动态束定,又叫晚期联编。动态联编实际上是进行动态识别的,而且是在虚函数的支持下实现的。
1、虚函数
简单地说,被virtual关键字修饰的成员函数就是虚函数,虚函数主要用于更灵活地实现多态性。
#include <iostream>
using namespace std;
class Animal
{
public:
void print(){cout<<"This is Animal"<<endl;}
};
class Dog:public Animal
{
public:
void print(){cout<<"This is Dog"<<endl;}
};
int main()
{
Animal animal;
Dog dog;
animal.print();
dog.print();
}
这段代码中在类A中提供的一个print()方法用于输出一句话,类B继承类A并在printf()方法中输出不同的内容。当该程序被执行时,得到的输出结果分别是“This is Animal”和“This is Dog”。但这并没有真正的做到多态性,因为多态的关键只出就是使用基类的指针或引用来操作对象。
将main()函数中的代码做一修改:
int main()
{
Animal animal;
Dog dog;
Animal* a1=&animal;
Animal* a2=&dog;
a1->print();
a2->print();
}
修改后的代码完全使用指针和引用来操作对象,但是改程序再洗运行时得到的结果却是两个“This is Animal”.a2指向的是类B的对象,但执行时却调用了类A的print()函数。为了避免这样的错误发生,就要用到虚函数,再次对代码进行修改:
class Animal
{
public:
virtual void print(){cout<<"This is Animal"<<endl;}
};
class Dog:public Animal
{
public:
void print(){cout<<"This is Dog"<<endl;}
};
通过加入Virtual关键字,类A中成员函数print()就成为了一个虚函数。由于类Dog继承了类Animal,因此类Dog中的print()函数也变成了一个虚函数。这里需要注意的是,如果基类中的函数已经被声明为虚函数,那么派生类中相应的函数无论是否加入virtual关键字,都将成为一个虚函数。此时再运行整个程序的时候,将分别输出预期的结果“This is Animal”和“This is Dog。从这个例子可以看出,指向基类的指针在操作其多态类对象时,会根据对象调用相应的函数,而这个函数就是虚函数。
2.多态性
多态是通过虚函数实现的。每个类都有一个虚函数,而每个虚函数都对应了一个虚函数表,所有对象都共享该虚函数表。多态性账户包括4中实现方式,即强制多态(类型强制转换)、重载多态(函数及运算符重载)、类型参数化多态(模板)及包含多态(类继承及虚函数)。
3.动态联编
联编指的是一个计算机程序自身彼此关联的过程。按照联编进行的阶段不同,可分为静态联编和动态联编两种不同的联编方式。
静态联编是指联编工作出现在编译链接阶段,因为这种联编过程是在程序开始运行之前完成的,所以这种联编又称早期联编。静态联编在编译阶段并不知道将要调用哪个函数,而只有在程序执行时才确定,即联编工作要在程序运行时 进行。这种在程序运行时进行的联编工作被称为动态联编,或称动态束定,又叫晚期联编。动态联编实际上是进行动态识别的,而且是在虚函数的支持下实现的。