前言

今日的C++不再是个单纯的“带类的C”语言，它已经发展成为一个多种次语言所组成的语言集合，其中泛型编程与基于它的STL是C++发展中最为出彩的那部分。在面向对象C++编程中，多态是OO三大特性之一，这种多态称为运行期多态，也称为动态多态；在泛型编程中，多态基于template(模板)的具现化与函数的重载解析，这种多态在编译期进行，因此称为编译期多态或静态多态。

运行期多态

运行期多态的设计思想要归结到类继承体系的设计上去。对于有相关功能的对象集合，我们总希望能够抽象出它们共有的功能集合，在基类中将这些功能声明为虚接口（虚函数），然后由子类继承基类去重写这些虚接口，以实现子类特有的具体功能。典型地我们会举下面这个例子：

class Animal
{public :virtual void shout() = 0;
};
class Dog :public Animal
{public:virtual void shout(){ cout << "汪汪！"<<endl; }
};
class Cat :public Animal
{public:virtual void shout(){ cout << "喵喵~"<<endl; }
};
class Bird : public Animal
{public:virtual void shout(){ cout << "叽喳!"<<endl; }
};int main()
{Animal * anim1 = new Dog;Animal * anim2 = new Cat;Animal * anim3 = new Bird;//藉由指针（或引用）调用的接口，在运行期确定指针（或引用）所指对象的真正类型，调用该类型对应的接口anim1->shout();anim2->shout();anim3->shout();//delete 对象...return 0;
}

运行期多态的实现依赖于虚函数机制。当某个类声明了虚函数时，编译器将为该类对象安插一个虚函数表指针，并为该类设置一张唯一的虚函数表，虚函数表中存放的是该类虚函数地址。运行期间通过虚函数表指针与虚函数表去确定该类虚函数的真正实现。

运行期多态的优势还在于它使处理异质对象集合称为可能：

//我们有个动物园，里面有一堆动物
int main()
{vector<Animal*>anims;Animal * anim1 = new Dog;Animal * anim2 = new Cat;Animal * anim3 = new Bird;Animal * anim4 = new Dog;Animal * anim5 = new Cat;Animal * anim6 = new Bird;//处理异质类集合anims.push_back(anim1);anims.push_back(anim2);anims.push_back(anim3);anims.push_back(anim4);anims.push_back(anim5);anims.push_back(anim6);for (auto & i : anims){i->shout();}//delete对象//...return 0;
}

总结：运行期多态通过虚函数发生于运行期

编译期多态

对模板参数而言，多态是通过模板具现化和函数重载解析实现的。以不同的模板参数具现化导致调用不同的函数，这就是所谓的编译期多态。
相比较于运行期多态，实现编译期多态的类之间并不需要成为一个继承体系，它们之间可以没有什么关系，但约束是它们都有相同的隐式接口。我们将上面的例子改写为:

class Animal
{public :void shout() { cout << "发出动物的叫声" << endl; };
};
class Dog
{public:void shout(){ cout << "汪汪！"<<endl; }
};
class Cat
{public:void shout(){ cout << "喵喵~"<<endl; }
};
class Bird
{public:void shout(){ cout << "叽喳!"<<endl; }
};
template <typename T>
void  animalShout(T & t)
{t.shout();
}
int main()
{Animal anim;Dog dog;Cat cat;Bird bird;animalShout(anim);animalShout(dog);animalShout(cat);animalShout(bird);getchar();
}

在编译之前，函数模板中t.shout()调用的是哪个接口并不确定。在编译期间，编译器推断出模板参数，因此确定调用的shout是哪个具体类型的接口。不同的推断结果调用不同的函数，这就是编译器多态。这类似于重载函数在编译器进行推导，以确定哪一个函数被调用。

运行期多态与编译期多态优缺点分析

运行期多态优点

OO设计中重要的特性，对客观世界直觉认识。
能够处理同一个继承体系下的异质类集合。

运行期多态缺点

运行期间进行虚函数绑定，提高了程序运行开销。
庞大的类继承层次，对接口的修改易影响类继承层次。
由于虚函数在运行期在确定，所以编译器无法对虚函数进行优化。
虚表指针增大了对象体积，类也多了一张虚函数表，当然，这是理所应当值得付出的资源消耗，列为缺点有点勉强。

编译期多态优点

它带来了泛型编程的概念，使得C++拥有泛型编程与STL这样的强大武器。
在编译器完成多态，提高运行期效率。
具有很强的适配性与松耦合性，对于特殊类型可由模板偏特化、全特化来处理。

编译期多态缺点

程序可读性降低，代码调试带来困难。
无法实现模板的分离编译，当工程很大时，编译时间不可小觑。
无法处理异质对象集合。

关于显式接口与隐式接口

所谓的显式接口是指类继承层次中定义的接口或是某个具体类提供的接口，总而言之，我们能够在源代码中找到这个接口.显式接口以函数签名为中心，例如

void AnimalShot(Animal & anim)
{anim.shout();
}

我们称shout为一个显式接口。在运行期多态中的接口皆为显式接口。

而对模板参数而言，接口是隐式的，奠基于有效表达式。例如：

template <typename T>
void AnimalShot(T & anim)
{anim.shout();
}

对于anim来说，必须支持哪一种接口，要由模板参数执行于anim身上的操作来决定，在上面这个例子中，T必须支持shout()操作，那么shout就是T的一个隐式接口。

原文链接：https://www.cnblogs.com/QG-whz/p/5132745.html

C++ 编译器多态与运行时多态相关推荐

java编译时多态和运行时多态_运行时多态、编译时多态和重载、重写的关系（不区分Java和C#，保证能看懂！）...
以前在大学学习OOP的时候,知道了重载和重写的区别,但如果要把他们和多态联系起来,我想很多新手朋友和我当初一样是死记的,可是时间长了,自然而然就忘记了,最近在写测试的时候,终于"开窍&quo ...
c++多态之运行时多态与编译时多态
多态的定义: 同一操作作用与不同的对象,可以有不同的解释,产生不同的执行结果. (1)编译时多态/静态联编指联编工作在编译阶段完成,即在编译阶段确定了程序中的操作调用与执行该操作的代码间的关系,基于 ...
编译时多态、运行时多态
根据何时确定执行多态方法中的哪一个,多态分为两种情况:编译时多态和运行时多态.如果在编译时能够确定执行多态方法中的哪一个,称为编译时多态,否则称为运行时多态. 一.编译时多态方法重载 ...
java多态编译_关于java：编译时多态是否是这样的运行时多态？
通过研究,我了解到: 重载,运算符重载和重载是我们所说的多态. 多态性意味着同一实体有时表现不同例如: 参数 add(12, 13); add(12.2, 13.3); 相同实体(add())有时会 ...
C++工作笔记- C++中的动态类型与动态绑定、虚函数、运行时多态的实现
动态类型与静态类型静态类型是指不需要考虑表达式的执行期语义,仅分析程序文本而决定的表达式类型.静态类型仅依赖于包含表达式的程序文本的形式,而在程序运行时不会改变.通俗的讲,就是上下文无关,在编译时 ...
c++ 多态运行时多态和编译时多态_C++学习笔记之多态
多态是面向对象三大特性之一多态分为两类: 静态多态:函数重载和运算符重载属于静态多态,复用函数名动态多态:派生类和虚函数实现运行时多态静态多态和动态多态的区别: 静态多态的函数地址早 ...
java多态编译,java多态运行时多态和编译时多态
java多态运行时多态和编译时多态我们知道java的多态是一个重要的特性,其中体现java的多态有两种形式.运行时的多态和编译时的多态. 编译时的多态会发生在方法重载的时候,方法的重载指方法名相同 ...
编译器设计-RunTime运行时环境
编译器设计-RunTime运行时环境 Compiler Design - Run-Time Environment 作为源代码的程序仅仅是文本(代码.语句等)的集合,要使其活动,它需要在目标计算机上执 ...
c++远征之多态篇——运行时类型识别（RTTI）
以下内容源于慕课网的学习整理,如有侵权,请告知删除. 1.RTTI(Run-Time Type Information),运行时类型识别. 涉及typeid.dynamic_cast这两个知识点. R ...

C++ 编译器多态与运行时多态

前言