多态及虚函数
在面向对象方法中,所谓的多态性就是不同对象在收到相同消息时,产生不同的行为。
在C++中,要做到“一个接口,多种方法”。
我们把在运行之前就完成的联编(是指一个计算机程序自身彼此关联的过程)称为静态联编;在运行时才完成的联编称为动态联编。静态联编支持的多态性称为编译时多态性,通过重载实现,而动态联编所支持的多态性称为运行时多态性,是通过虚函数来实现的。
在某基类中声明为virtual 并在一个或多个派生类中被重新定义的成员函数,用法格式为:virtual 函数返回类型 函数名(参数表) {函数体};
我们来看一段代码:
classA
{
public:
virtualvoid show()
{
cout<< "A::a" << endl;
}
protected:
inta;
};
class B : virtual public A
{
public:
voidshow()
{
cout<< "B::b" << endl;
}
protected:
intb;
};
void main()
{
Aaa;
Bbb;
A*p;
p= &aa;
p->show();
p= &bb;
p->show();
}
这就是我们通过虚函数来实现的多态性——基类指针指向子类对象(前提是基类和派生类有一个同名函数)。
构成多态的四个条件(缺一不可):
1.不在同一作用域(分别在父类和子类)
2.函数名相等/参数相等/返回值相同/(协变除外)
3.基类函数必须有virtual关键字
4.访问修饰符可以不同
*在C++中,只要原来的返回类型是指向类的指针或引用,新的返回类型是指向派生类的指针或引用,称为协变。
我们再来区别几个概念:重载,重定义(隐藏),重写。
重载:函数名相同,参数和返回值可以不同。
重定义:在不同的作用域,函数名不同,基类和派生类中国只要不构成重写就是重定义。
重写:就是上面我们说的构成多态的条件。
我们通过一张图来看一下重写的含义:
借一下我学长的代码,我们来看一下虚函数和普通成员函数的区别:
#include<iostream>
#include<Windows.h>
using namespacestd;
class A
{
public:
void foo()
{
printf("1\n");
}
virtual void fun()
{
printf("2\n");
}
};
class B :public A
{
public:
void foo()
{
printf("3\n");
}
void fun()
{
printf("4\n");
}
};
int main(void)
{
A a;
B b;
A *p = &a;
p->foo();
p->fun();
p = &b;
p->foo();
p->fun();
system("pause");
return 0;
}
由结果我们可以看出因为foo函数不是虚函数,所以不能通过父类的指针指向子类的函数,而fun函数是虚函数,可以通过父类的指针指向子类的函数。体现了虚函数对于多态性的重要性。
*继承中把基类和派生类的析构函数定义为虚函数(因为“切片”的关系,父类的指针不能访问子类的函数)。