为何Base指针动态绑定Base对象，Derived指针静态绑定Derived对象？

示例代码 #

#include<iostream>

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

class Derived : public Base{
public:
    virtual void print()
    {    std::cout<<"Derived"<<std::endl; }  
};

int main()
{
    Base *p1 = new Base{ } ;
    p1->print();
     
    std::cout<<"------------------"<<std::endl; 
    Derived *p2 = new Derived{ } ;    
    p2->print();
    
    return 0;
}

疑问点 #

• 为何代码中p1->print()采用动态绑定，p2->print()采用静态绑定？
• 根据认知，虚函数触发动态绑定需满足：指针或引用类型与指向对象类型不同，且存在虚函数激活动态绑定。那为何Derived指针静态绑定Derived对象，Base指针动态绑定Base对象？

解答 #

首先纠正一个认知偏差：虚函数触发动态绑定的核心条件是「通过指针或引用调用虚函数」，而非「指针/引用类型与对象类型不同」。后者只是多态场景的典型情况，但不是动态绑定的必要条件。

关于p1->print()的绑定 #

p1是Base*类型，指向的是Base对象。虽然指针类型和对象类型一致，但因为print是虚函数，C++标准允许编译器生成动态绑定的代码（即通过虚表查找函数地址）。不过在实际编译中，很多编译器会做优化——既然能确定p1必然指向Base对象，会直接把它优化成静态绑定。但有些教材或语境下会把这种情况归类为「理论上的动态绑定」，因为虚函数机制的框架依然存在。

关于p2->print()的绑定 #

p2是Derived*类型，指向的是Derived对象。编译器在编译期就能100%确定：调用p2->print()时，必然调用的是Derived::print——因为指针类型和对象类型完全匹配，不存在任何多态的可能性（比如当前编译单元里没有Derived的子类，也没有转型操作）。所以编译器会直接跳过虚表查找，采用静态绑定，这是一种合理的性能优化。

简单总结：

• 只要是通过指针/引用调用虚函数，默认逻辑是动态绑定，但编译器如果能在编译期确定对象的实际类型，就会自动优化为静态绑定。
• 当指针类型和对象类型完全一致时，编译器有足够信息做静态绑定优化；而如果存在类型不匹配（比如Base*指向Derived对象），编译器无法在编译期确定实际调用的函数，只能用动态绑定。

内容的提问来源于stack exchange，提问作者ANDREW