C++多态的实现原理

静态多态(编译期)

函数重载

  • 允许在同一个作用域中声明多个功能类似的同名函数
  • 函数的参数列表不同(参数个数,参数类型,参数顺序)
  • 注意:不能通过函数返回值区分(name mangling不包括返回值)

原理

  • 预编译:头文件的函数声明拷贝到源文件,避免编译过程找不到函数定义
  • 编译:语法分析,同时进行符号汇总(函数名)
  • 汇编:生成函数名到函数地址的映射,方便之后通过函数名找到函数定义的位置
  • 链接:将多个文件的符号表汇总合并

*objdump -t o

  • _ZN + 类长度+ 类名+ 函数名长度 + 函数名 + E + 类型首字母

模版

  • 编译期间进行实例化
  • 性能要高,避免了运行时的开销

动态多态

虚函数重写,运行时确定

  • 在基类的函数前面加上virtual关键字,派生类重写函数
  • 运行时根据对象的类型调用相应的函数
  • 如果对象的类型是基类,则调用基类的函数
  • 如果对象的类型是派生类,调用派生类的函数

原理

  • 早绑定:编译时已经确定函数调用的地址
  • 晚绑定:需要用到虚函数表,运行时才能确定

早绑定(Early Binding)

早绑定,也称为静态绑定(Static Binding),是在编译时确定函数调用的具体实现。这意味着在编译阶段,编译器已经知道函数调用对应的具体函数。早绑定通常与非虚函数、函数重载和模板有关。

早绑定的优点:

  1. 性能高,因为函数调用在编译时已确定,不需要运行时查找。
  2. 类型安全,因为编译器在编译时进行类型检查,可以捕捉到类型不匹配的错误。

示例:

c++ 复制代码
#include <iostream>
using namespace std;

class Base {
public:
    void display() {
        cout << "Base display" << endl;
    }
};

class Derived : public Base {
public:
    void display() {
        cout << "Derived display" << endl;
    }
};

int main() {
    Base b;
    Derived d;
    
    Base *ptr = &d;
    ptr->display(); // 调用 Base::display()
    
    return 0;
}

在上述示例中,ptr->display() 是早绑定,因为编译器在编译时已经知道 ptrBase 类型的指针,并且调用 Base 类的 display 函数。

晚绑定(Late Binding)

晚绑定,也称为动态绑定(Dynamic Binding),是在运行时确定函数调用的具体实现。这通常通过虚函数(virtual functions)和多态性实现。晚绑定依赖于虚函数表(vtable),通过指针在运行时查找函数的具体实现。

晚绑定的优点:

  1. 灵活性高,允许程序在运行时决定调用哪个函数。
  2. 支持多态性,使得可以通过基类指针调用派生类的实现。

示例:

c++ 复制代码
#include <iostream>
using namespace std;

class Base {
public:
    virtual void display() {
        cout << "Base display" << endl;
    }
};

class Derived : public Base {
public:
    void display() override {
        cout << "Derived display" << endl;
    }
};

int main() {
    Base *ptr = new Derived();
    ptr->display(); // 调用 Derived::display()
    
    delete ptr;
    return 0;
}

在上述示例中,ptr->display() 是晚绑定,因为 display 是虚函数,具体调用的函数是在运行时根据对象的实际类型(即 Derived)决定的。

最后给大家推荐一个LinuxC/C++高级架构系统教程的学习资源与课程,可以帮助你有方向、更细致地学习C/C++后端开发,具体内容请见 https://xxetb.xetslk.com/s/1o04uB

相关推荐
FeboReigns1 小时前
C++简明教程(4)(Hello World)
c语言·c++
FeboReigns1 小时前
C++简明教程(10)(初识类)
c语言·开发语言·c++
zh路西法1 小时前
【C++决策和状态管理】从状态模式,有限状态机,行为树到决策树(二):从FSM开始的2D游戏角色操控底层源码编写
c++·游戏·unity·设计模式·状态模式
.Vcoistnt2 小时前
Codeforces Round 994 (Div. 2)(A-D)
数据结构·c++·算法·贪心算法·动态规划
小k_不小2 小时前
C++面试八股文:指针与引用的区别
c++·面试
沐泽Mu2 小时前
嵌入式学习-QT-Day07
c++·qt·学习·命令模式
ALISHENGYA2 小时前
全国青少年信息学奥林匹克竞赛(信奥赛)备考实战之分支结构(实战训练三)
数据结构·c++·算法·图论
GOATLong3 小时前
c++智能指针
开发语言·c++
F-2H3 小时前
C语言:指针3(函数指针与指针函数)
linux·c语言·开发语言·c++