多态笔试题分析

代码：

#define _CRT_SECURE_NO_WARNINGS 
#include <iostream>
using namespace std;

class A
{
public:
	virtual void func(int val = 1)
	{
		cout << "A->" << val << endl;
	}
	virtual void test()
	{
		func();
	}
};
//A的虚表
//A::func(int val = 1)
//A::test()

class B : public A
{
public:
	void func(int val = 0)
	{
		cout << "B->" << val << endl;
	}
};
//B的虚表
//B::func(int val = 0)
//A::test()

int main()
{
	B*p = new B;
	p->test();
	delete p;
	return 0;
}

输出结果：

分析：
1 基类和子类的虚表

2 虚表指针的指向
因为在主函数中创建了一个子类的对象，所以子类对象中的虚表指针指向B的虚表。

3 主函数中p->test()
首先说明两点：

• 函数默认值的确定是在编译阶段；
• 虚函数的调用在程序运行时确定具体调用那个虚函数。

首先p->test()函数，调用的是A类中的test()函数；
然后在test()函数中调用func()函数；
因为在B类中重写了func()函数，所以调用的是B类中的func()函数；
但由于func()函数是虚函数，编译器调用func()时实际上调用的是基类中的func()函数，由于基类中func()函数有默认值，在编译阶段，就会给func()中传递int val = 1;在程序调用阶段，调用B类中func()函数时就带有参数了，因此打印的结果是B->1；

如果在子类B中将基类A中test()函数重写，调用的就是B类中的test()函数。代码如下：

#define _CRT_SECURE_NO_WARNINGS 
#include <iostream>
using namespace std;

class A
{
public:
	virtual void func(int val = 1)
	{
		cout << "A->" << val << endl;
	}
	virtual void test()
	{
		func();
	}
};

class B : public A
{
public:
	void func(int val = 0)
	{
		cout << "B->" << val << endl;
	}
	virtual void test()
	{
		func();
	}
};

int main()
{
	B*p = new B;
	p->test();
	delete p;
	return 0;
}

结果：