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() 是早绑定,因为编译器在编译时已经知道 ptr 是 Base 类型的指针,并且调用 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

相关推荐
hetao17338372 小时前
2026-10-03~04 hetao1733837 的刷题记录
c++·算法
longlongzihan3 小时前
从LeetCode 70. 爬楼梯看动态规划:如何精准推导状态转移方程?
c++·算法·leetcode·动态规划
潼心1412o6 小时前
C++初阶(长期更新)第6讲:类和对象(下)
开发语言·c++·算法
-森屿安年-6 小时前
按身高排序
c++·算法
(Charon)7 小时前
【C++面试】vector底层原理:扩容、拷贝移动与迭代器失效
c++·面试
朔北之忘 Clancy7 小时前
青少年软编等考七级题解目录
开发语言·c++·青少年编程·gesp·csp·信奥赛·noi
汉克老师8 小时前
GESP2026年9月认证C++七级( 第一部分选择题(8~15题)精讲
c++·gesp·小学生·学c++编程
Mr_Macallon8 小时前
C++回顾(基础)(01)
c语言·开发语言·c++·学习
如意猴8 小时前
【C++】007 C/C++ 内存管理机制、malloc与new的区别及模板初阶
java·c++·算法
朝朝辞暮i9 小时前
C++ 第 32 课:main()、rclcpp::init()、spin()、shutdown()
开发语言·c++·算法