38. 多态中的静态联编和动态联编

        首先看个例子：

        在类外进行创建的函数speak函数，引用的明明是Animal类，可是为什么speak中的参数为Dog类时依然没有报错？
        这是因为如果发生了继承的关系，编译器允许进行类型转换！！！

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

class Animal
{
public:
	void speak()
	{
		cout << "动物叫" << endl;
	}
};

class Dog :public Animal
{
public:
	void speak()
	{
		cout << "汪汪汪" << endl;
	}
};

//调用speak，speak函数的地地址早就绑定好了，即Animal类中的speak函数的地址
void speak(Animal& animal)  //类外创建的speak函数，参数为Animal类的引用
{
	animal.speak();
}


//在这里注意：我们明明创建的是Animal类的引用，可是为什么speak中的参数为Dog类时依然没有报错？
//这是因为如果发生了继承的关系，编译器允许进行类型转换！！！
void test()
{
	Dog dog;
	speak(dog);
}

int main()
{
	test();
	return 0;
}

在运行以后会输出什么结果呢？

为什么是动物叫而不是汪汪汪呢？ 

        这是因为早在编译阶段就已经将要调用的函数的地址确定了，调用speak，speak函数的地址早就绑定Animal类中的speak函数的地址，即静态联编

那么怎么才能让调用speak函数以后让狗叫呢？

        这时需要在运行的时候去确定函数地址，即动态联编，将Animal类中的speak函数改为虚函数，语法：在前面加virtual关键词就行

代码如下：

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

class Animal
{
public:
	virtual void speak()
	{
		cout << "动物叫" << endl;
	}
};

class Dog :public Animal
{
public:
	void speak()
	{
		cout << "汪汪汪" << endl;
	}
};

void speak(Animal& animal)  //类外创建的speak函数，参数为Animal类的引用
{
	animal.speak();
}

// 在这里注意：我们明明创建的是Animal类的引用，可是为什么speak中的参数为Dog类时依然没有报错？
//这是因为如果发生了继承的关系，编译器允许进行类型转换！！！
void test()
{
	Dog dog;
	speak(dog);
}

int main()
{
	test();
	return 0;
}

运行结果：

 在父类上声明虚函数，就发生了多态！即父类的指针或引用指向子类对象

多态的分类：

        1.静态多态： 函数重载

        2.动态多态： 虚函数 

        3.静态联编： 地址早绑定，编译阶段就绑定好地址

        4.动态联编： 地址晚绑定，运行时绑定好地址

        5.多态：父类的指针或引用指向子类对象