C++ 虚函数表及调用规范详解

在支付工具想做社交，即时通讯工具想做app市场，英语字典想做新闻社交的今天，创造这些怪象的公司要求程序员懂得更多几乎是理所当然的，毕竟现在大家什么都想做。这不，正值招聘季，实验室的几位学长也是一直在讨论各种问题，发现对于C++语言而言，问的最多的还是虚函数表和STL。

STL的考点至少是实用的，哪怕要求你读过源码，也并不过分，毕竟知根知底才能更好地应用。但要求程序员掌握对象模型着实拎不清，因为这几乎用不到，远没有在设计模式上投入时间实在，或许它们最希望的是拿批发价招语言专家。。。

我已经近2年没用C++了，大三时下定觉心不再碰C++，因此原本这个博客里是不应该出现任何C++相关的内容的，然而读研后，实验室项目就是C++写的，只能拾起继续用，唯一的区别只是我不再会花大把的时间钻研其实现和语法规则了，人生苦短。

经历过n次考前“临阵磨枪”后，我得到了一个结论：对待用不到的知识，最好的方式是遗忘，区别只是让它保留多久。

既然招聘的时候会考虚函数表，我又用不到，那就只能把它记录下来，以便届时快速记忆。现在关于C++ vtab的文章早已烂大街，别太较真，笔记而已。

环境？

这里提及环境的原因有2点：

调用规范(call convention)和环境相关

避嫌

本文的环境为Linux x86_64，编译器为GCC 6.1。

虚函数表

对于面向对象的支持，使得C++的抽象能力相对于C有了长足的进步，而抽象能力的改进为复用(reuse)提供了有力支撑。封装，继承和多态3个特性中，最容易实现的是封装，其次是继承，涉及到了多重继承这个“大坑”，它们都能够在编译时直接确定，但是多态则正好相反，根本无法在编译时确定该调用哪个函数，所以需要找到一种方法使得程序在运行期间能够正确定位函数。

想要实现这个特性，需要先明确“变”与“不变”这两个关键要素：“变”的是实例的类型，“不变”的是实例的地址。类型无法确定，且由于重写(override)的引入，使得编译器无法准确从符号表中定位函数的地址。那么就只能从“不变”的部分入手了，由于地址是不变的，因此我们至少有如下几种方式来实现：

runtime维护一个表，地址作为key，定位类型或者函数列表