C++ 多态，动态联编，为何在编译期不定确定多态行为

最新推荐文章于 2023-07-31 15:32:23 发布

dayuwancheng

最新推荐文章于 2023-07-31 15:32:23 发布

阅读量730

点赞数 3

CC 4.0 BY-SA版权

分类专栏： C++ 文章标签： C++多态-动态联编

本文链接：https://blog.youkuaiyun.com/dayuwancheng/article/details/59116876

C++中的多态特性使得在编译期间无法确定具体调用哪个对象的方法。由于一个函数在编译时会被编译成固定形式，不能因不同参数而变化，因此对于基类指针调用虚函数，必须在运行时根据实际指向的对象类型动态绑定到正确的方法。这确保了通过基类指针能够正确调用子类的重写方法，而非始终调用基类的方法。

#include "iostream";
using namespace std;
class Base
{
public:
    int a;
    virtual void print() {
        cout << "我是父类1111111111111" << endl;
    }
    void print2() {
        cout << "我是父类4444444444444444" << endl;
    }
};
class Child :public Base
{
public:
    int b;
    virtual void print() {
        cout << "我是孩子222222222" << endl;
    }
    void print2() {
        cout << "我是孩子33333333333" << endl;
    }
};
void setData(Base *p)
{
    p->print();//0x84000
    //假如调用Base的print（假如print函数的地址为0x84000，也就是在此处调用这个地址的函数）
    //那么好，因为setData已经编译完了（把编译好的方法存到方法区），在24行就是调用0x84000，
    //所以无论实参是什么每次执行到24行，都会调用0x84000的函数
    //所以就无法实现多态，为了实现多态，只能在运行到24行的时候去动态判断，而不是提前编译好调用的函数
    //因为一个函数只能编译成一种形式放到方法区
    p->print2();//0x85000
    //如果不是多态，那么执行到34行，永远都是调用0x85000的函数，所以在编译期就可以定好；
}
void main()
{
    Base b;
    Child c;
    setData(&b);
    setData(&c);
}