最近在看《Effective C++》的过程中，了解下静态绑定和动态绑定的相关知识，这里简要做一个记录。
C++静态类型和动态类型
要了解c++多态中的静态绑定和动态绑定，首先要认识到C++中的静态类型和动态类型。在C++中可以简单认为大部分情况下，变量的静态类型和其动态类型是一样的，而针对指针和引用而言，其静态类型和动态类型有可能不同。
- 静态类型：变量声明时的类型，如 Base * pb, 其静态类型分别为 Base*；
- 动态类型：实际赋值给类指针的类型，如 Base* pb = new Son()，其动态类型为 Son*;
例如：
class Base {
public:
virtual void show(){
cout << "This is Base." << endl;
}
void clac(){
//省略
}
}
class Son: public Base{
public:
virtual void show(){
cout << "This is son." << endl;
}
void drink(){
//省略
}
}
int main(){
Base b = Base(); //静态和动态类型都为Base.
Son s = Son(); //静态和动态类型都为Son.
Base *pb = &b; //静态和动态类型都为Base*.
Son *ps = &s; //静态和动态类型都为Son*.
pb = &s; //静态类型都为Base*，动态类型为Son*;
}
C++静态绑定和动态绑定
而在C++的类的多态中，根据其静态类型和动态类型而调用相应的函数，即为静态绑定和动态绑定。一般而言，对于类指针和引用中，虚函数时动态绑定，而no-virtual 函数是静态绑定。
- 静态绑定：编译期确定，调用其静态类型所指示的对象函数；
- 动态绑定：运行期确定，调用其动态类型所所指示的对象虚函数；
例如：
int main(){
Base b = Base(); //静态和动态类型都为Base.
Son s = Son(); //静态和动态类型都为Son.
pb = &s; //静态类型都为Base*，动态类型为Son*;
pb->show(); //动态绑定，实际调用Son类的show函数；
pb->clac(); //静态绑定，实际调用Base类的clac函数；
pb->drink(); //报错，编译不通过，Base类没有drink函数；
}
只有采用“指针->函数()”或“引用变量.函数()”的方式调用C++类中的虚函数才会执行动态绑定。对于C++中的非虚函数，因为其不具备动态绑定的特征，所以不管采用什么样的方式调用，都不会执行动态绑定。
- 引自(https://blog.csdn.net/livelylittlefish/article/details/2171521)
C++绑定调用方式一览表 (引自(https://blog.csdn.net/livelylittlefish/article/details/2171521))
| 代码形式 | 对于虚函数 | 对于非虚函数 | ||
|---|---|---|---|---|
| 作用 | 绑定方式 | 作用 | 绑定方式 | |
| 类名::函数() | 调用指定类的指定函数 | 静态绑定 | 调用指定类的指定函数 | 静态绑定 |
| 对象名.函数() | 调用指定对象的指定函数 | 静态绑定 | 调用指定对象的指定函数 | 静态绑定 |
| 引用变量.函数() | 调用被引用对象所属类的指定函数 | 动态绑定 | 调用引用变量所属类的指定函数 | 静态绑定 |
| 指针->函数() | 调用被引用对象所属类的指定函数 | 动态绑定 | 调用指针变量所属类的指定函数 | 静态绑定 |
参考
- C++动态绑定与静态绑定;
- C++学习笔记（15）——静态绑定与动态绑定;
- 《Effective C++》(第三版)；
