C++联编

联编概念

将一个标识符名与一个存储地址关联起来的过程，也就是把函数调用点与函数入口地址关联起来的过程。

静态联编（早绑定）

在编译和链接时，将函数的调用与函数的实现关联起来的过程。

在C语言中，所有的联编都是静态联编。

在C++中，函数重载与函数模板是静态联编

使用对象名加" . "成员选择符去调用成员函数(不论是不是虚函数)的过程也是静态联编

( 例如a.fun() )

使用类名加作用域解析符" :: "后跟函数名称(不论是不是虚函数)也是静态联编

( 例如 a.Person::talk() 或 b->Person::tok)

例如：

①使用对象名加" . "成员选择符去调用成员函数

反汇编：

②使用类名加作用域解析符" :: "后跟函数名称

反汇编：

动态联编（晚绑定）

在程序运行时，将函数的调用与函数的实现关联起来的过程。

在C++中。使用类类型的指针或引用调用虚函数(成员选择符" -> ")，则程序在运行时选择虚函数的过程，称作动态联编。

例如：

在进入printf方法调用add时

反汇编：

构造函数与析构函数调用虚函数采用的是静态联编还是动态联编？

例如：

我们来看一下反汇编：

我们可以发现，不论是基类还是继承类的构造和析构去调用虚方法，都是采取静态联编的方式。

原因：我们一个类在进入构造函数时（已经存在一个虚成员函数），我们去调用虚函数，

采用动态联编去查虚表的话可以找到虚函数的地址

采取静态联编直接绑定虚函数的地址

此时动态联编和静态联编都可以找到同一个虚函数的地址，但动态联编需要查表去找函数地址，而静态联编直接绑定，静态联编耗时少

因此编译器遇到在构造和析构函数中调用虚函数时，会采取静态联编

基类与继承类虚函数形参默认缺省值问题

例如：

在主函数中，通过基类Object指针指向继承类Base去调用虚函数add,且不传实参。

我们先看结果：

为什么不是Base add 20呢？我们来看原因：

首先我们需要了解对设计的类类型进行编译的步骤（在编译时）：

第一步：识别类中的属性

属性名称

属性类型（int,char,...）

属性的访问限制（public,private,public）

第二步：识别类中的成员函数的声明（不进入函数体）

函数名称

函数的返回值类型（int,char,...）

函数的参数类型（int,char,...）

函数的访问限制（public,private,public）

是否为虚函数

确定函数参数的默认缺省值

第三步：改写函数体

添加this指针等

我们再去反汇编看一下：

我们可以看到虚函数add的默认缺省值依然是基类Object中设置的10，而不是继承类Base中设置的20

结论：

在继承类中重写基类的虚函数时，继承类虚函数的形参默认缺省值就是基类的形参默认缺省值，不会因为重写继承类的形参默认缺省值而改变。