funkcja wirtualna const a funkcja wirtualna niestanowiąca warunku

Question

class Base 
{ 
    public: 
    virtual void func() const 
    { 
    cout<<"This is constant base "<<endl; 
    } 
}; 

class Derived : public Base 
{ 
    public: 
    virtual void func() 
    { 
    cout<<"This is non constant derived "<<endl; 
    } 
}; 


int main() 
{ 
    Base *d = new Derived(); 
    d->func(); 
    delete d; 

    return 0; 
} 

Dlaczego wydruki wyświetlają "To jest stała baza". Jednak jeśli usunę const w podstawowej wersji func(), to wypisze "To jest nie ustalone". ?

Answer 1

virtual void func() const //in Base 
virtual void func()  //in Derived 

const część jest rzeczywistości część podpisu funkcji, co oznacza, że ​​klasa pochodna określa nowy funkcję niż unieważniając wyboru funkcji klasy bazowej. To dlatego, że ich podpisy nie pasują do siebie.

Po usunięciu const udział, wówczas ich podpis pasuje, a następnie kompilator widzi pochodzący definicję klasy func jako zastąpiona wersja funkcji klasy bazowej func, stąd pochodzi funkcja klasa nazywa jeśli typ runtime obiektem jest typ Derived. Takie zachowanie nazywa się polimorfizmem czasu wykonywania.

Answer 2

Nie, ponieważ virtual void func() nie zastępuje dla virtual void func() const.

Answer 3

virtual void func() ma inny podpis niż virtual void func() const. W ten sposób nie zastąpiłeś oryginalnej funkcji bazowej tylko do odczytu. W efekcie utworzyłeś nową funkcję wirtualną zamiast w programie pochodnym.

Możesz również dowiedzieć się więcej na ten temat, jeśli kiedykolwiek spróbujesz utworzyć wskaźniki do funkcji członków (PTMF), ale jest to rzadka konieczność (może to jednak być dobre dla nauki lub praktyki).

Słowo kluczowe "override" w C++ 11 jest szczególnie przydatne, aby uniknąć takich błędów. Kompilator powie, że twoja definicja "func" w wyprowadzeniu niczego nie zastąpi.