多态场景的一个坑

class A
{
 public:
     virtual void func(int val = 1){ std::cout<<"A->"<< val <<std::endl;}
     virtual void test(){ func();}
 };
 
 class B : public A
 {
 public:
     void func(int val = 0){ std::cout<<"B->"<< val <<std::endl; }
 };
 
 int main(int argc ,char* argv[])
 {
    B*p = new B;
    p->test();
     return 0;
 }

看到这段代码，你觉得程序输出结果是什么呢？大多数人可能会觉得是B->0。但其实不是，分析这段代码，创建了一个B类对象，然后调用了test()函数，由于B继承了A，所以实际上是调用了A类的test方法，这里要注意，test函数的this是A*不是B*，因为继承不是说把A类的内容拷贝到B类中，只是说B可以复用A。所以是A类指针调用func函数，又因为A和B的func函数都是虚函数，所以满足多态的条件：基类指针或引用调用虚函数。因为传的是B类对象指针p，所以这里的test的this逻辑上是A*，实际指向B类对象*p,调用的是派生类的func，但是结果并不是B->0。这是因为在多态条件下：如果调用的是子类的虚函数，那么真正的函数应该是父类的声明加子类的内容，即 

 virtual void func(int val = 1)
{
      std::cout<<"B->"<< val <<std::endl;
}

这也是为什么在子类B的func函数不加virtual也构成虚函数的原因 。

class B : public A
 {
 public:
     void func(int val = 0){ std::cout<<"B->"<< val <<std::endl; }
 };