Если переопределенная функция C++ вызывает родительскую функцию, которая вызывает другую виртуальную функцию, что называется?

Question

Я учусь о полиморфизме, и я смущен этой ситуацией: Скажем, у меня есть следующие классы C++:

class A{ 
    ... 
    virtual void Foo(){ 
     Boo(); 
    } 
    virtual void Boo(){...} 
} 

class B : public A{ 
    ... 
    void Foo(){ 
     A::Foo(); 
    } 
    void Boo(){...} 
} 

создать экземпляр B и вызвать его функцию Foo(). Когда эта функция вызывает A :: Foo(), будет ли использоваться метод Boo() класса A или B? Благодаря!

Answer 1

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

class A{ 
    virtual void Foo(){ 
     Boo();   // will call the final overrider 
     A::Boo();  // will call A::Boo, regardless of the dynamic type 
    } 
    virtual void Boo(); 
}; 
class B : public A{ 
    void Foo(){ 
     //Foo();   // Would call the final overrider 
         // (in this case B: infinite recursion) 
     A::Foo();  // Will call A::Foo, even if the object is B 
    } 
    void Boo(); 
}; 

неявной this указатель не является важной частью обсуждения здесь, как точно то же самое происходит, когда вызов сделан с явным объектом:

B b; 
b.Foo(); // will call B::Foo -- note 1 
b.A::Foo(); // will call A::Foo 

Примечание 1: в этом примере, компилятор может выйти из динамического механизма отправки, поскольку он знает конкретный тип экземпляра (он видит определение и не является ссылкой/указателем), но вы можете предположить, что то же самое произойдет, если b является ссылкой или, что то же самое, если это было указатель с -> вместо .

Answer 2

С Boo() является виртуальным, вызывается переопределение производного класса.

Boo(); просто стенография для this->Boo();, где вы можете увидеть, что виртуальная функция вызывается через указатель. (имеет тип A* const в пределах Foo().) И виртуальные функции, вызываемые посредством ссылки или указателя, всегда будут вызывать переопределение в самом производном классе (кроме случаев, когда вызывается из конструктора или деструктора).

Answer 3

Внутри А,

virtual void Foo(){ 
     Boo(); 
    } 

транслируется в this->Boo(), а так как Бу объявляется виртуальным в А, методе производного класса Б вызывается. Не пытайтесь объявить Boo виртуальным в A только для экспериментов - вы увидите, что A-> Boo() получает вызов.

Arpan