О виртуальной функции и наследование

Question

О следующем коде:

class A { 
    A * next; 
    static A* tmp; 
public: 
    A() : next(tmp) { 
     if (tmp) 
      tmp->next = this; 
     tmp = this; 

    } 
    virtual void print() { 
     if (next) 
      next->print(); 
    } 
}; 
class B : public A { 
    int a = 1; 
public: 
    void print() { 
     cout << "foo"; 
     A::print(); 
    } 
}; 
A* A::tmp; 
int main(){ 
    B c; 
    B b; 
    b.print(); 
} 

Почему next->print(); приводит к B::print() и не вернулись к A::print()? Поскольку next является статическим указателем A, почему он переходит на функцию B?

EDIT: добавлено B c;, что я удалил случайно при публикации.

Answer 1

Поскольку следующий статический указатель A

next не статический указатель. Даже несмотря на то, что у вас может быть инициализирована копия с указателя со статическим хранилищем. Но независимо от того, является ли он статичным, не имеет никакого отношения к тому, как работает вызов функции-члена.

Почему он переходит к функции B?

Потому что print является виртуальной функцией. Если указатель A* next указывает на экземпляр B, то next->print() вызовет B::print(). Это называется виртуальной или динамической отправкой.

Если вы хотите позвонить A::print() вместо этого, то вы могли бы использовать статические отправки:

next->A::print(); 

Конечно, если вы только хотите использовать статические отправки, то это не имеет никакого смысла объявлять функция виртуальная в первую очередь.

Answer 2

В вашем коде next->print(); вообще не будет называться. Если вы можете отладить его, вы найдете next здесь.

LIVE

EDIT

С отредактированный кода, процесс будет infinate. next->print(); приведет к B::print(), даже если статический тип next является A*, но A::print() это виртуальная функция, и next указывает на экземпляр B на самом деле, так динамический полиморфизм работает здесь.