静态绑定与动态绑定

C++多态与绑定

最新推荐文章于 2025-09-17 20:31:50 发布

转载最新推荐文章于 2025-09-17 20:31:50 发布 · 339 阅读

文章标签：

#动态绑定静态绑定

C\C++ 同时被 2 个专栏收录

70 篇文章

订阅专栏

面试题

27 篇文章

订阅专栏

本文探讨了C++中的多态性概念，包括静态多态性和动态多态性，并通过实例详细解释了静态绑定和动态绑定的区别。文章还提供了代码示例来展示虚函数和非虚函数在不同调用方式下的行为。

静态绑定：编译时绑定，通过对象调用

动态绑定：运行时绑定，通过地址实现

C++的多态性

静态多态性：函数多态性——函数重载

模板多态性——C++模板（类模板、函数模板）

动态多态性：虚函数（只有用地址才能实现动态多态性）

只有采用“指针->函数()”或“引用变量.函数()”的方式调用C++类中的虚函数才会执行动态绑定。对于C++中的非虚函数，因为其不具备动态绑定的特征，所以不管采用什么样的方式调用，都不会执行动态绑定。

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

注：被引用对象所属类是指针或引用指向的对象的实际类型；

引用变量所属类、指针变量所属类是定义引用变量、指针变量的类型；

以上两种类型可能相同，也可能不同。

从上表可以看出，执行动态绑定的只有通过地址，即只有通过指针或引用变量才能实现，而且还必须是虚函数。从概念上来说，虚函数机制只有在应用于地址时才有效，因为地址在编译阶段提供的类型信息不完全。

例：编写程序观察虚函数和非虚函数的绑定行为：

代码如下：

/************************************************************************
* 动态绑定与静态绑定
************************************************************************/
#include <iostream.h>
class CBase
{
public:
    virtual int func() const    //虚函数
    {
        cout<<"CBase function! ";
        return 100;
    }
};
class CDerive : public CBase
{
public:
    int func() const        //在派生类中重新定义虚函数
    {
        cout<<"CDerive function! ";
        return 200;
    }
};

void main()
{
    CDerive obj1;
    CBase* p1=&obj1;
    CBase& p2=obj1;
    CBase obj2;

    obj1.func();    //静态绑定：调用对象本身（派生类CDerive对象）的 func 函数
    p1->func();    //动态绑定：调用被引用对象所属类（派生类CDerive）的 func 函数
    p2.func();    //动态绑定：调用被引用对象所属类（派生类CDerive）的 func 函数
    obj2.func();    //静态绑定：调用对象本身（基类CBase对象）的函数
}