C++静态绑定与动态绑定

  最近在看《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))

代码形式	对于虚函数		对于非虚函数
	作用	绑定方式	作用	绑定方式
类名::函数()	调用指定类的指定函数	静态绑定	调用指定类的指定函数	静态绑定
对象名.函数()	调用指定对象的指定函数	静态绑定	调用指定对象的指定函数	静态绑定
引用变量.函数()	调用被引用对象所属类的指定函数	动态绑定	调用引用变量所属类的指定函数	静态绑定
指针->函数()	调用被引用对象所属类的指定函数	动态绑定	调用指针变量所属类的指定函数	静态绑定

参考

1. C++动态绑定与静态绑定;
2. C++学习笔记（15）——静态绑定与动态绑定;
3. 《Effective C++》(第三版)；