c 继承与多态-ag真人游戏

结果执行成功，发生动多态了？让我们来看看对应的汇编代码吧。

    不论是基类部分的show()还是派生类的show()，汇编代码对应的都是“call 函数地址”，这是静态绑定，这在编译期间就已经确定了具体调用的函数。那么，发生动多态的汇编代码又是什么样呢？

    所以我们可以确定，静态绑定对应的汇编代码总是“call 一个确切函数地址”，动态绑定对应的汇编代码“call eax”，eax寄存器中的值是不确定的，只有在运行时才会确定下来。析构函数中调用虚函数同样也不会发生动多态，只是静多态。

    既然我们已经知道构造函数和析构函数中实现的是静多态，那么为什么不能实现动多态呢？1. 虚函数实现的前提是——函数依赖于对象，构造函数就是来构造一个新对象的，如何实现动多态？ 2. 析构函数的调用依赖于对象，所以析构函数可以实现为虚函数。可是在执行析构函数时，这个对象就在逻辑意义上消失了，生存周期结束，在这之中调用虚函数也是无法依赖对象调用的。

10.2 将子类中的虚方法放入private底下，通过基类指针调用该方法，编译能成功吗？

class base
{
public:
	base(int a):ma(a){}
	virtual ~base(){}	
	virtual void show()
	{
		cout<<"base::"<show();
	delete p;
	return 0;
}

结果如下：


    编译、运行都通过了，为什么呢？

    编译阶段，访问限定符public、protected和private发挥着作用，控制着外界对类成员的访问。p是一个base*类型，因此p只能看到base类中的成员，即base::show()，而它的访问限定符为public——外界可访问，因此编译阶段可以通过。到了运行阶段后，因为基类中的show()是一个虚函数，所以发生动多态，最后执行的show()方法就是派生类的show方法。

    注意：

    1. 在派生类中，只要实现了和基类虚方法同函数头的函数，不论它之前的限定符是何种，它和基类同名虚函数的关系都叫做“覆盖”。

    2. 运行期期间，限定符不发挥作用，因为找到虚函数表中对应的虚函数地址后，直接“call 函数地址”。

10.3 将基类虚函数放入protected或private中，利用基类指针调用该方法，编译能通过吗？

class base
{
public:
	base(int a):ma(a){}
	virtual ~base(){}	
protected:
	virtual void show()
	{
		cout<<"base::"<show();
	delete p;
	return 0;
}

    编译不能通过。就如10.3中所说，编译阶段访问限定符发挥着作用。base类中的show()的限定符为protected，这意味着对外界不可见，只有本身和子类可以访问，base::show()对base* p不可见，因此编译错误。

10.4 当基类虚函数带有默认值，派生类同名虚函数也带有不同默认值时，通过基类指针调用派生类该方法时，默认值究竟是哪个？

class base
{
public:
	base(int a):ma(a){}
	virtual ~base(){}	
	virtual void show(int a=30)
	{
		cout<<"base::"<show();
	delete p;
	return 0;
}

结果如下：

最后得知，derive::show()中的默认值变为了基类同名方法的默认值，为什么呢？

    因为，在编译阶段，调用函数之前需要压参数，参数有默认值的话，压入的就是确切的值。,main函数中 base*-->derive::show()，此时在产生的汇编代码中，压入的参数就是base::show()中的默认值30，在运行阶段发生多态调用derive中的方法，执行的还是这段汇编代码，即得到的默认值还是30。

     总的来说， 在编译期间，函数默认值、是否可调用该函数、虚函数指针和虚表的内容都可以确定下来。