Действительно ли член базового класса C++ должен быть виртуальным, чтобы быть переопределенным производным классом?

Question

class A { 
    public: 
    virtual int test()=0; 
}; 

class B : public A { 
    public: 
    int test(){return 10;} 
}; 


B *b = new B(); 
b->test(); // would return 10; 

тогда:

class A { 
    public: 
    int test(){return 0;} 
}; 

class B : public A { 
    public: 
    int test(){return 10;} 
}; 


B *b = new B(); 
b->test(); // **would return 0**; 

Почему это вернуть "" здесь? Это имеет для меня смысл, потому что я предполагаю, что (вид перегруженных) членов производного класса (B) на первом месте! Что здесь происходит?

Answer 1

Помимо неправильного синтаксиса (B->test();, где он должен быть b->test();), второй также будет возвращать 10.

Если вместо этого вы бы написали:

A* a = new B(); 
a->test(); 

Он вернулся бы 0 или 10 в зависимости от того, является ли A :: test виртуальным.