多态,也叫动态绑定。
Java:
class A
{
public void f1()
{
System.out.println("A:f1");
}
public void f2()
{
System.out.println("A:f2");
}
};
class B extends A
{
public void f1()
{
System.out.println("B:f1");
}
public void f3()
{
System.out.println("B:f3");
}
};
public class Helloworld {
public static void main(String args[]) {
B b = new B();
A a = b;
b.f1(); //B:f1
a.f1(); //B:f1
}
}
此处所示的是Java中的向上转型,如果所调用的方法被子类覆写过,则调用的是子类中被覆写之后的方法。
Java形成多态(特指运行时多态)的条件:1. 子类中覆写了父类中的某个/某些方法 2. 父类引用指向子类对象(向上转型)
两个条件同时具备时,才会发生多态,缺一不可。
多态实际上是一种机制,在编译时刻,会生成一张虚拟表,来记录所有覆盖的方法,没有被覆盖的方法是不会记录到这张表的。
若一个父类引用调用了没有覆盖的子类方法,那么是不符合该表的,那么编译时刻就会报错。 在执行程序的时候,虚拟机会去这张虚
拟表中找覆盖的方法,比如当父类引用中存的是一个子类对象时,就会去找子类中的相应的覆盖的方法来执行。
C++:
#include <iostream>
using namespace std; class A
{
public:
void f1()
{
cout << "A:f1" << endl;
}
void f2()
{
cout << "A:f2" << endl;
}
};
class B : public A
{
public:
void f1()
{
cout << "B:f1" << endl;
}
void f3()
{
cout << "B:f3" << endl;
}
};
int main() {
B b;
A a = b;
b.f1(); //B:f1
a.f1(); //A:f1
return ;
}
此处所示的是C++中的向上转型,此处即使所调用的方法被子类覆写,但并没有形成多态,则调用的仍是父类中的方法。
C++形成多态的条件: 1. C++父类中必须要有虚函数且子类重写该虚函数 2. 必须存在父类的指针或引用指向子类对象。
两个条件同时具备时,才会发生多态,缺一不可。
对于这段代码,如果想实现多态,可以采用以下的代码:
#include <iostream>
using namespace std; class A
{
public:
virtual void f1() //the keyword 'virtual' is essential here.
{
cout << "A:f1" << endl;
}
void f2()
{
cout << "A:f2" << endl;
}
};
class B : public A
{
public:
void f1() //the keyword 'virtual' is not essential here.
{
cout << "B:f1" << endl;
}
void f3()
{
cout << "B:f3" << endl;
}
};
int main() {
B b;
//1: A a = b;
//2: A * a = &b;
A &a = b; b.f1(); //B:f1 //1: a.f1(); //A:f1
//2: (*a).f1(); //B:f1
a.f1(); //B:f1
return ;
}
通过上面的对比,我们能够看出,C++和Java中的多态本质上是一样的,只不过在实现多态时,存在一些语言特性上的细微差别。
参考文章: